Libri UniversitariApri il catalogo

Yannai – Gonczarowski e Noam Nisan

Libro adottato a Trento, a.a. 2026/2027 · 1 canale

«Yannai – Gonczarowski e Noam Nisan» è adottato per Computational Logic dal prof. Jakub Krzysztof Szymanik (Informatica – sede di Trento – Trento).

Yannai – Gonczarowski e Noam NisanCerca su Amazon ›

Come lo indica il docente: Yannai A. Gonczarowski e Noam Nisan. Mathematical Logic through Python. Cambridge University Press, 2022. — Facoltativo. Per gli studenti che desiderino comprendere il materiale implementandolo. Nel corso non è richiesta né valutata alcuna attività di programmazione

Chi lo adotta

Programma e testi di ogni canale

Computational Logic – Prof. Jakub Krzysztof Szymanik Canale unico

Corso di laurea: Informatica – sede di Trento · Laurea triennale (L-31) · esame facoltativo · Computer Science · 6 CFU

Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · 6 CFU · apri nel catalogo · Informatica – sede di Trento · 2º anno · 1º semestre ›

Testi principali

Michael Huth e Mark RyanCerca su Amazon ›Da studiare: Capitoli 1–2Verificato sulla scheda ufficiale il 03/10/2026

Letture facoltative

Johan van BenthemCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Yannai – Gonczarowski e Noam Nisanquesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Apostolos Doxiadis – An Epic Search for TruthCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Huth – Logic in computer scienceCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Zach – An open introduction to metalogicCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Benthem – Modal logic for open mindsCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Gonczarowski – Mathematical logic through PythonCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
D̄oxiades, K. A., & Papadimitriou, C. H. (2009).Cerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Libri consigliati nell'a.a. 2025/2026
Michael Huth and Mark RyanCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Christos – Papadimitriou and Apostolos DoxiadisCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Yannai – Gonczarowski and Noam NisanCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
  • Richard Zach et al. Sets, Logic, Computation. Open Logic Project. — Manuale ad accesso aperto che copre la logica proposizionale e del primo ordine, inclusi correttezza e completezza.

Argomenti del programma: Il corso costituisce una prima introduzione alla logica, con particolare attenzione ai suoi legami con la computazione e alle sue applicazioni in informatica e intelligenza artificiale. Vengono sviluppati in successione tre formalismi — la logica proposizionale, la logica del primo ordine (predicativa) e la logica modale — trattando per ciascuno la sintassi, la semantica e un sistema deduttivo, insieme alle…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Si studia insieme a