Matematica | Università di Parma

48 ore
di attività frontali

6 crediti

sede: PARMA

insegnamento
in - - -

orari del corso non disponibili

appelli d'esame

Obiettivi formativi

Conoscenza dei linguaggi formalizzati e dei metodi della Logica Matematica.

Nessuno specifico; quel tanto di mentalità matematica che può aver acquisito uno studente di Matematica o di Informatica del terzo anno.

Logica del Primo Ordine: morfologia, sintassi, semantica; metateoremi classici, fra cui Validità, Completezza e Compattezza.

- - -

H. Enderton, A Mathematical Introduction to Logic, A. P. 1972.
C. Reggiani e M. Servi, Appunti per le Lezioni di Logica Matematica.

Lezioni frontali e correzione di esercizi con la partecipazione attiva degli studenti.

Oltre a quanto emerso durante la correzione degli esercizi, un tradizionale esame orale.

- - -