- Oggetto:
- Oggetto:
Logica Matematica (DM 509) - a.a. 2009/10
- Oggetto:
Anno accademico 2009/2010
- Codice dell'attività didattica
- MFN0159
- Docenti
- Prof. Domenico Zambella (Titolare del corso)
Prof. Flavio Previale (Esercitatore) - Corso di studi
- Laurea in Matematica
- Anno
- 3° anno
- Periodo didattico
- Primo semestre
- Tipologia
- D.M. 509
- Crediti/Valenza
- 5
- SSD dell'attività didattica
- MAT/01 - logica matematica
- Oggetto:
Sommario insegnamento
- Oggetto:
Obiettivi formativi
Familiarità con il metodo della deduzione naturale. Capacità di formalizzare semplici proprietà nei linguaggi del prim'ordine.
- Oggetto:
Risultati dell'apprendimento attesi
Familiarietà con formule del prim'ordine e calcoli sintattici.
- Oggetto:
Programma
- I sistemi formali, linguaggi del prim'ordine e la loro semantica.
- Sistemi di calcolo sintattico, la deduzione naturale.
- Relazioni logiche notevoli con metodi sintattici e semantici.
- Formal sistems, first-order languages and their sematics methods.
- Syntactical calculus, natural deduction.
- Study of the main logical relations with sintattical and sematical
Testi consigliati e bibliografia
- Oggetto:
Dispense dei docenti.
- Oggetto:
Note
LOGICA MATEMATICA, MFN0159 (DM509), 5 CFU: 5 CFU, MAT/01, TAF G (CFU di sede), Ambito aggregato per crediti di sede Modalità di verifica/esame: Scritto e orale.
- Oggetto: