Libri UniversitariApri il catalogo

Libri di Computational Logic – prof. Jakub Krzysztof Szymanik

Informatica – sede di Trento · Università di Trento · esame facoltativo · Computer Science · 6 CFU · canale unico

Libri del canale

Computational Logic 6 CFU

JSProf. Jakub Krzysztof Szymanik Canale unico

Testi principali

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

Letture facoltative

Johan van BenthemVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Yannai – Gonczarowski e Noam NisanVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Apostolos Doxiadis – An Epic Search for TruthVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Huth – Logic in computer scienceVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Zach – An open introduction to metalogicVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Benthem – Modal logic for open mindsVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Gonczarowski – Mathematical logic through PythonVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
D̄oxiades, K. A., & Papadimitriou, C. H. (2009).Verificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
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.

Apri nel catalogo: Informatica – sede di Trento, 2º anno, tutte le materie e i canali ›

Testi d'esame di Computational Logic del prof. Jakub Krzysztof Szymanik, canale unico, corso di laurea in Informatica – sede di Trento (Laurea triennale (L-31)), Università di Trento, esame facoltativo · Computer Science · 6 CFU, a.a. 2026/2027. Libri adottati: Michael Huth e Mark Ryan; Johan van Benthem; Yannai – Gonczarowski e Noam Nisan; Apostolos Doxiadis – An Epic Search for Truth; Huth – Logic in computer science; Zach – An open introduction to metalogic; Benthem – Modal logic for open minds; Gonczarowski – Mathematical logic through Python; D̄oxiades, K. A., & Papadimitriou, C. H. (2009)..

Altre materie del prof. Szymanik

Vedi anche: Prof. Jakub Krzysztof Szymanik · Computational Logic a Trento (tutti i canali)