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 (complementi)

Docente: U. Moscato

Crediti: 6 CFU

Descrizione e Programma del Corso

Conoscenze: Il corso si propone di analizzare alcuni argomenti di logica matematica legati alla teoria della dimostrazione in logiche non classiche (intuizionismo e logiche modali). Verranno presentati per tali logiche sistemi deduttivi a tableaux.

Abilità: Si prevede che lo studente acquisisca capacità nel sintetizzare algoritmi, nella formalizzazione e costruzione di dimostrazioni e loro verifica.

Programma:

  • Riepilogo dei principali risultati del corso di Logica Matematica I.
  • Sintesi logica degli algoritmi
  • Introduzione alla logica intuizionista; sintassi a tableaux e semantica con modelli di Kripke.
  • Teoremi di validità e completezza.
  • Introduzione alla logica modale S4; sintassi a tableaux e semantica con modelli di Kripke.
  • Teoremi di validità e completezza.
  • Rapporti fra S4 e la logica intuizionista
  • Cenni a estensioni dell'intuizionismo e di S4.

Per ulteriori informazioni sul corso rivolgersi direttamente al docente.

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 28/03/2011