Logica Matematica Corso di Laurea in Informatica ... - Mbox.dmi.unict.it

iv INDICE
che punto questo sia possibile è un problema che ha vari gradi di soluzione,
che possono essere illustrate sui due modelli matematici del ragionamento
proposti nel corso, quello della logica proposizionale e quello della logica
predicativa.
L’argomento degli insiemi è presente ma sussidiario. Il linguaggio insiemistico
è usato come integrato nel linguaggio matematico informale, e l’algebra
degli insiemi è sviluppata quel tanto che basta per vederne le connessioni con
le problematiche logiche e fornire esempi di applicazioni.
Nel testo, il segno di curva pericolosa a margine segnala che si deve
prestare particolare attenzione.
Gli esercizi sono di due tipi; alcuni ripetitivi, per soddisfare le richieste di
studenti che vogliono tanti esempi sui quali applicare le tecniche o verificare
i concetti imparati; gli altri servono per approfondimento e non sono meno
importanti, anzi, tutti sono parte del programma.
I riferimenti in nota del tipo “Horstmann, p. 186” rimandano al testo
del corso di Programmazione: C. S. Horstmann, Concetti di Informatica a
fondamenti di Java 2, Apogeo, Milano, 2000.
Le parti scritte in corpo minore sono proposte come letture con informazioni
integrative.
Il segno ✷ è usato per indicare la fine di una dimostrazione, al posto del
tradizionale QED, Quod erat demonstrandum.