Search Google Appliance

Logica matematica

  • Edizioni di altri A.A.:
  • 2017/2018
  • 2018/2019

Dati insegnamento


Lingua Insegnamento:
Italiano 
Testi di riferimento:
Dario Palladino. Corso di logica: Introduzione elementare al calcolo dei predicati (nuova edizione). Carocci editore. 
Obiettivi formativi:
Introdurre i fondamenti della logica proposizionale e del prim'ordine. 
Prerequisiti:
Nessuno 
Metodi didattici:
Didattica frontale. 
Modalità di verifica dell'apprendimento:
Prova scritta. 

La logica: inferenze e ragionamenti. Proposizioni semplici e composte. Connettivi vero-funzionali. Tabelle di verità. Tautologie. Equivalenza e conseguenza logica. Linguaggio e regole della logica del prim'ordine.