| Corso di: Elementi di Logica 2 | ||||||
Laurea magistrale in Matematica |
||||||
| Anno accademico: 2007-2008 Docente: Gabriele Lolli Crediti 3 Finalità del corso Il corso si propone di rendere fluenti con i linguaggi logici per la formalizzazione rigorosa delle teorie e del ragionamento matematico, e di far conoscere i campi e i settori nei quali essa si rivela utile. Prerequisiti del corso Nessuno. Programma del corso Logica proposizionale e Logica predicativa. Linguaggi, nozione di derivazione formale, nozione di conseguenza logica. Teorema di completezza (sulla equivalenza tra le due nozioni). Metodi di decisione. Testo H. B. Enderton, A Mathematical Introduction to Logic. Il programma del corso sarà coperto dal Capitolo 1 e dal Capitolo 2 fino a 2.5 incluso (in riferimento alla prima edizione del 1972). Modalità d'esame Orale, alla fine del corso (da gennaio 2008). Orario del corso Martedì (14-16) Aula 3 - Giovedì (14-16) Aula S - Venerdì (14-16) Aula S. Inizio: 2 ottobre 2007 |
||||||
Ricevimento
| ||||||