Dave Barker-Plummer – Proof and Logic

Name: Dave Barker-Plummer – Proof and Logic
Author: Dave Barker-Plummer

Libro adottato a Statale di Milano, a.a. 2026/2027 · 1 canale

«Dave Barker-Plummer – Proof and Logic» è adottato per Logica Matematica dai docenti Stefano Aguzzoli e Camillo Fiorentini (Informatica – Statale di Milano).

Dave Barker-Plummer – Proof and LogicVai su Amazon ›

Come lo indica il docente: Dave Barker-Plummer, Jon Barwise, John Etchemendy: Language, Proof and Logic, 2nd Edition. CSLI Publications, 2011

Chi lo adotta

Logica Matematica – Prof. Stefano Aguzzoli, Prof. Camillo Fiorentini (canale unico)Informatica · Laurea triennale (L-31) · 1º anno · 2º semestre · 6 CFU

Programma e testi di ogni canale

Logica Matematica – Prof. Stefano Aguzzoli, Prof. Camillo Fiorentini Canale unico

Corso di laurea: Informatica · Laurea triennale (L-31) · 1º anno · 2º semestre · 6 CFU

Statale di Milano · Facoltà di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Informatica · 1º anno · 2º semestre ›

Il docente indica 1 testo

Bibliografia

Dave Barker-Plummer – Proof and Logicquesto libroVai su Amazon ›Verificato sulla scheda ufficiale il 02/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Il corso di Logica matematica per la triennale si propone come corso introduttivo alla logica, e ai suoi rapporti con il linguaggio e la formalizzazione di concetti. Il corso è naturalmente articolato in due parti principali: logica proposizionale e logica del primo ordine. Inoltre si approfondisce il tema del principio di induzione, in particolare nell'aritmetica di Peano.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.