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
Logica e computazione

Docente: Moscato

Crediti: 4 cfu

Obiettivi formativi: Utilizzo di deduzione naturale e principi di induzione e ricorsione. Conoscenza degli aspetti di rilevanza computazionale della logica classica e costruttiva.


Programma:
1. Principi di induzione e definizioni ricorsive.

2. Logica proposizionale classica: linguaggio e calcolo della deduzione
    naturale. Semantica mediante tavole di verità. Teorema di completezza.

3. Logica dei predicati: linguaggio e calcolo della deduzione naturale.
    Interpretazioni, correttezza e cenni sulla completezza.

4. Logica e computazione: logica costruttiva e sua interpretazione
    computazionale

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