M2_1D_02-12-08. Logica: analisi di proposizioni, tabelle di verità , tautologie. Relazioni tra insiemi. Prodotto cartesiano- Funzioni iniettive- Elementi di informatica.