Inizio della pagina -
Logo DISCO
|
Visita la Versione ad elevata leggibilità
|
Vai al Contenuto della pagina
|
Vai alla Fine dei contenuti
|
Vai al Menu Principale
|
Vai alla Barra di navigazione (sei in)
|
Vai al Menu di navigazione (albero)
|
Vai alla Lista dei comandi
|
Vai alla Lista degli approfondimenti
|
Vai al Menu inferiore
|
Logo Ateneo
   
Didattica
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

 

Approfondimenti

Google Translate
Translate to English Translate to French Translate to German Translate to Spanish Translate to Chinese Translate to Portuguese Translate to Arabic
Translate to Albanian Translate to Bulgarian Translate to Croatian Translate to Czech Translate to Danish Translate to Dutch Translate to Finnish Translate to Greek Translate to Hindi
Translate to Hungarian Translate to Irish Translate to Japanese Translate to Korean Translate to Norwegian Translate to Polish Translate to Romanian Translate to Russian Translate to Serbian
Translate to Slovenian Translate to Swedish Translate to Thai Translate to Turkish

(C) Copyright 2016 - Dipartimento Informatica Sistemistica e Comunicazione - Viale Sarca, 336
20126 Milano - Edificio U14
redazioneweb@disco.unimib.it - ultimo aggiornamento di questa pagina 11/11/2013