Programmi

30/44/115 - LOGICA

Anno Accademico ​2022/2023

ll corso si propone di fornire allo studente gli strumenti di base della logica elementare.

Nessuno

Insiemi: nozioni di base.
Insiemi e cardinalità: la teoria di Cantor.
Enunciati e inferenze.

La modalità di erogazione prevede una serie di incontri frontali, coadiuvati da attività seminariali e di verifica dellapprendimento.

I partecipanti al corso saranno valutati attraverso un esame orale finale e delle prove parziali scritte svolte durante lo svolgimento del corso che contribuiranno alla valutazione finale.

M.L. Dalla Chiara, R. Giuntini, F. Paoli, Sperimentare la logica, Liguori, Napoli, 2004.

PROGRAMMA ALTERNATIVO PER STUDENTI NON FREQUENTANTI


Gli studenti che preferissero non frequentare possono
comunque presentare il programma da frequentanti, oppure scegliere di presentare il seguente programma:

M. Davis, Il calcolatore universale, Da Leibniz a Turing. Adelphi, 2012. (Tutto il volume)

e

M.L. Dalla Chiara, R. Giuntini, F. Paoli, Sperimentare la logica, Liguori, 2004. (Solo il Capitolo V).

La verifica dell'apprendimento del programma per studenti non frequentanti avverrà esclusivamente tramite colloquio orale.


Eventuali informazioni aggiuntive saranno consultabili sul sito del docente.

Orari e luogo di ricevimento: il mercoledì dalle 14.00 alle 15.00 previo appuntamento (antonio [dot] ledda [at] unica [dot] it).