Logica (2015/2016)

Codice insegnamento
4S00084
Docente
Matteo Cristani
Coordinatore
Matteo Cristani
crediti
6
Settore disciplinare
INF/01 - INFORMATICA
Lingua di erogazione
Italiano
Periodo
II semestre dal 1-mar-2016 al 10-giu-2016.

Orario lezioni

II semestre
Giorno Ora Tipo Luogo Note
mercoledì 11.30 - 13.30 lezione Aula Gino Tessari  
venerdì 8.30 - 10.30 lezione Aula Gino Tessari  

Obiettivi formativi

Obiettivo del corso è fornire le basi della logica delle proposizioni e dei predicati.

Programma

Linguaggio proposizionale: connettivi e proposizioni, tavole di verità, valutazioni;
Sistemi deduttivi à la Prawitz;
Strutture: esempi notevoli, monoidi, numeri naturali, grafi;
Sistemi deduttivi naturali;
Linguaggio del I ordine: semantica di Tarski, conseguenza logica.

Modalità d'esame

L'esame è scritto

Opinione studenti frequentanti - 2015/2016