Presentazione generale del corso.

Insiemi ed elementi di logica: insieme come concetto primitivo. Notazioni. Rappresentazione di un insieme finito per elencazione e via diagrammi di Venn. Uguaglianza fra insiemi e inclusione. Insiemi diversi e non inclusi l'uno nell'altro. Inclusione propria. Aspetti logici. Prime dimostrazioni di semplici proposizioni. Insiemi numerici e loro legami di inclusione.