biblioteche, roma, libri, cd, dvd, prestito, consultazione, autori, editori, scuole, lettura, multicutura, multietnica, internet, wifi, biblioteche roma, biblioteche comune di roma

Introduzione alla logica formale

Lolli, Gabriele

Il Mulino - 1991

Logica matematica, simbolica, formale. Linguaggi predicativi. Dimostrazioni. Calcolo della deduzione naturale. Logica proposizionale. Interpretazioni. Il teorema della completezza. Una logica polivalente. Tavole semantiche. Casi di decidibilita'. Teorema di Skolem - Herbrand. Calcolo della risoluzione. Raffinamenti della risoluzione. Unificazione e risoluzione con variabili. Introduzione alla programmazione logica. Linguaggi con uguaglianza. Calcolo delle equazioni. Indecidibilita' della logica dei predicati. Aritmetica. Introduzione alla metateoria. Appendici: Introduzione alla correttezza dei programmi, logiche non classiche. Indice analitico
  • Lo trovi in
  • Scheda
  • Commenti
$currentBibFull

Scegli una biblioteca