Libri UniversitariStillwell – Computabilità e dimostrazione
Libro adottato a Federico II, a.a. 2026/2027 · 1 canale
«Stillwell – Computabilità e dimostrazione» è adottato per Logica (Corso Avanzato) dal prof. Rossella Lupacchini (Filosofia – Federico II).
Stillwell – Computabilità e dimostrazioneCerca su Amazon ›
Come lo indica il docente: J. Stillwell, «Computabilità e dimostrazione», in Da Pitagora a Turing. Elementi di filosofia nella matematica , ETS, Pisa 2019
Chi lo adotta
- Logica (Corso Avanzato) – Prof. Rossella Lupacchini (canale unico)Filosofia · Laurea magistrale (LM-78) · 2º anno · 1º semestre · 6 CFU
Programma e testi di ogni canale
Logica (Corso Avanzato) – Prof. Rossella Lupacchini Canale unico
Corso di laurea: Filosofia · Laurea magistrale (LM-78) · 2º anno · 1º semestre · 6 CFU
Il docente indica 8 testi · da studiare tutti
Frixione – La computabilità, logica e calcolatoriCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Stillwell – Computabilità e dimostrazionequesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Feynman – Simulating Physics with ComputersCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Wheeler – The Computer and the UniverseCerca su Amazon ›Verificato sulla scheda ufficiale il 04/10/2026
Bacheca del docente: cosa indica di studiare
- N.B. – Le parti da studiare (nei testi elencati) verranno definite al termine del corso di lezioni
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.