Page begin -
Logo DISCO
|
Go to the Highly accessible area
|
Go to the Content page
|
Go to the End of content
|
Go to the Main menu
|
Go to the Navigation Bar (location)
|
Go to the Navigation menu (tree)
|
Go to the Commands list
|
Go to the Further readings
|
Go to the Bottom Menu
|
Logo Ateneo
   
Education
Fondamenti logico-matematici dell'informatica (elementi)

Docente: F. Cardone

Crediti: 6 CFU

Descrizione e Programma del Corso

Conoscenze: Nella parte istituzionale del corso verranno esaminati i concetti fondamentali della logica proposizionale e del prim'ordine, sia sul piano sintattico che su quello semantico.

Abilità: Lo studente acquisterà familiarità con le principali tecniche di formalizzazione della deduzione, e con alcuni comuni metodi di dimostrazione (in particolare, il principìo di induzione matematica).

Programma:

  1. Logica proposizionale classica: linguaggio e calcolo della deduzione naturale.
  2. Semantica mediante tavole di verità e tableaux.
  3. Teorema di completezza.
  4. Logica dei predicati: linguaggio e calcolo della deduzione naturale.
  5. Cenni sui tableaux e la nozione di interpretazione di un linguaggio predicativo.

Testi consigliati:
Per la parte istituzionale:

  • Gabriele Lolli: Introduzione alla Logica Formale, il Mulino, Bologna, 1991.

Si vedano anche:

 

Modalità di esame: Due compiti scritti durante il corso e una eventuale prova orale.

Further readings
(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - last update of this page 25/03/2011