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

Codice insegnamento E3101Q039
Docente responsabile: 
Ugo Moscato

PROGRAMMA

Obiettivi e contenuti:

Verranno sviluppati i concetti fondamentali della logica classica proposizionale e del prim'ordine, sia sul piano sintattico che su quello semantico.

Programma:

  1. Logica proposizionale classica:
    • Linguaggio calcolo della deduzione naturale e tableaux.
    • Semantica mediante tavole di verità.
    • Teorema di completezza.
  2. Logica dei predicati:
    • Linguaggio calcolo della deduzione naturale e tableaux.
    • La nozione di interpretazione di un linguaggio predicativo
    • Teorema di completezza
    • Nozioni di logica costruttiva e sintesi degli algoritmi.


Risultati di apprendimento previsti:
Utilizzo di calcoli per la logica classica. Conoscenza degli aspetti di rilevanza computazionale della logica classica e costruttiva.

Prerequisiti:
Nozioni di base di matematica discreta: insiemi, relazioni, funzioni.

Aims and contents:
The lectures will focus on fundamental syntactic and semantic concepts of propositional and first-order classical logic. In addition,  some applications of constructive logics to computational situations will be described.

Program details:

  1. Classical propositional logic:
    • Language natural deduction and tableaux proofs .
    • Semantics via truth tables.
    • Completeness theorem.
  2. First-order logic:
    • Language natural deduction and tableaux proofs.
    • Interpretations of first-order languages.
    • Completeness theorem.
    • Contructive logic: proofs as programs


Learning outcomes:
Use of  caluli for classical logic. Knowledge of computationally relevant aspects of classical and constructive logic.

Prerequisites:
Elementary notions of discrete mathematics: sets, relations and functions.

Tipo esame:
Scritto

Tipo valutazione:
Voto finale

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 11/11/2013