LOGICA 2
cod. 1005958

Anno accademico 2016/17
1° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Field
Discipline filosofiche
Tipologia attività formativa
Caratterizzante
30 ore
di attività frontali
6 crediti
sede:
insegnamento
in

Modulo dell'insegnamento integrato: LOGICA (INTEGRATO)

Obiettivi formativi

1. – Conoscenza e capacità di comprensio-ne di argomenti tec¬ni¬ci.
2. Conoscenza e capacità di comprensione delle metodologie formali.
3. 4. 5. Giustificazione, mediante Logica del primo ordine, della correttezza di ragio-na¬menti informali

Prerequisiti

Logica 1.

Contenuti dell'insegnamento

Sintassi (di tipo naturale) per il calcolo dei pre-dicati del primo ordine. Interpretazioni intuitive e formalizzazioni.

Programma esteso

- - -

Bibliografia

E. J. Lemmon, Elementi di Logica, La Terza 1975.

Metodi didattici

lezioni orali.

Modalità verifica apprendimento

Prova finale.

Altre informazioni

- - -