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

Codice ins.

Insegnamento

CFU ins.

Tipo ins.

Anno

Sem.

SSD ins.

Responsabile insegnamento

E3101Q039

Logica e Computazione

4

OBS

3

1

INF/01

MOSCATO Ugo

 

Logic and computation

 

 

 

 

 

 

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.
  1. 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.
  1. 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