Corso di laurea in matematica

Elementi di Logica 1 - a.a. 2008/09

Anno accademico 2008/2009

Sommario insegnamento

• Risultati dell'apprendimento attesi
• Programma
• Testi consigliati e bibliografia
• Note
• Strumenti didattici

Risultati dell'apprendimento attesi

Gli obiettivi sono strettamente inerenti alle finalità. In particolare l’obiettivo principale e’ quello di far sì che gli studenti acquistino familiarità con il metodo della “deduzione naturale”, il quale, tra i vari formalismi logistici esistenti, e’ quello che meglio permette il recupero del genuino significato intuitivo di una costante logica a partire dalla sua rappresentazione mediante regole formali.

Programma

Pre-requisiti in ingresso e competenze minime in uscita

Primi elementi di formalizzazione del linguaggio matematico. Generalità sui sistemi formali. Significato degli operatori logici fondamentali e regole logiche. Metodo della deduzione naturale. Il principio del TE e la logica classica. Dimostrazione di relazioni logiche notevoli mediante il metodo della deduzione naturale. Altri sistemi logistici e la loro equivalenza con la deduzione naturale.
Logica con uguaglianza. Morfologia e sintassi dei linguaggi del I e del II ordine (cenni). Teorie formali. Estensioni per definizione di teorie e loro proprietà di conservatività (cenni della relativa dimostrazione).
Semantica della logica classica proposizionale. Tavole di verità. Forme normali disgiuntive e congiuntive. Teorema di validità e completezza per la logica proposizionale (dimostrazione di Kalmar).

I Quaderni Didattici curati dal Docente sono disponibili presso il Centro Stampa del Dipartimento di Matematica.

Note

Per gli appelli rivolgersi al docente del corso.

• Materiale didattico
• Bacheca appelli
• Vai a Moodle
• Visita i forum