Programmi

 

30/44/115 - LOGICA

Anno Accademico ​2021/2022

Docente
ANTONIO ​LEDDA (Tit.)
Periodo
Primo Semestre ​
Modalità d'Erogazione
Convenzionale ​
Lingua Insegnamento
ITALIANO ​



Informazioni aggiuntive

CorsoPercorsoCFUDurata(h)
[30/44] ​ ​SCIENZE PEDAGOGICHE E DEI SERVIZI EDUCATIVI [44/00 - Ord. 2010] ​ ​PERCORSO COMUNE848
Obiettivi

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

Prerequisiti

Nessuno

Contenuti

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

Metodi Didattici

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

Verifica dell'apprendimento

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.

Testi

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

Altre Informazioni

Programma per studenti non frequentanti.

Gli studenti che preferissero non frequentare possono scegliere di presentare il seguente programma:

M. Davis, Il calcolatore universale, Da Leibniz a Turing. Adelphi, 423,2012
M.L. Dalla Chiara, R. Giuntini, F. Paoli, Sperimentare la logica, Liguori, 2004. 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).

contatti | accessibilità Università degli Studi di Cagliari
C.F.: 80019600925 - P.I.: 00443370929
note legali | privacy