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


Statistiche per i requisiti di trasparenza (Attuazione Art. 2 del D.M. 31/10/2007, n. 544)

Statistiche esiti
Esiti Esami Esiti Percentuali Media voti Deviazione Standard
Positivi 46.05% 26 3
Respinti 7.01%
Assenti 46.49%
Ritirati 0.43%
Annullati --
Distribuzione degli esiti positivi
18 19 20 21 22 23 24 25 26 27 28 29 30 30 e Lode
0.9% 4.7% 5.7% 5.7% 7.6% 6.6% 5.7% 5.7% 6.6% 6.6% 16.1% 0.0% 6.6% 20.9%

Valori relativi all'AA 2015/2016 calcolati su un totale di 228 iscritti. I valori in percentuale sono arrotondati al numero intero più vicino.