Laurea Specialistica in Informatica

Corso di Logica Matematica 2 - a.a. 2004/05

• Docente: prof. Giuseppe Rosolini
  
• Informazioni generali: Descrizione, Programma, Testi di Riferimento. Informazioni sulle prove d'esame,

Descrizione

• Logica intuizionista
  • teoria degli insiemi, lambda-calolo non tipato,
  • Logica approssimata
  • Logica modale
  • Logica temporale
  • Logica di Hoare
  Si vedano la guida per indicazioni fondamentali sul modo con cui usare i vari dimostratori.

  ---

  Testi di riferimento

  M. Ben-Ari

  Logica matematica per l'informatica, Prentice Hall International, 1998

  J. Barwise, J. Etchemendy

  The language of first order logic, Cambridge University Press, 1993

  E. Mendelson,

  Introduzione alla logica matematica, Boringhieri, 1972

  G. Rosolini,

  Lucidi usati nel corso

  ---

  Informazioni sulle prove d'esame

  Last updated: 7/3/2005