Libri UniversitariProf. Jakub Krzysztof Szymanik
Università di Trento · Dipartimento di Ingegneria e Scienza dell'Informazione · libri consigliati e cosa studiare, a.a. 2026/2027
Libri adottati dal prof. Jakub Krzysztof Szymanik
- Steinert-Threlkeld – How efficiency shapes human language – Semantics And Cognition (Artificial Intelligence Systems – sede di Trento, esame facoltativo · Neurocognitive Architectures · 6 CFU)
- Gibson – How efficiency shapes human language – Semantics And Cognition (Artificial Intelligence Systems – sede di Trento, esame facoltativo · Neurocognitive Architectures · 6 CFU)
- Kirby – Culture and biology in the origins of… – Semantics And Cognition (Artificial Intelligence Systems – sede di Trento, esame facoltativo · Neurocognitive Architectures · 6 CFU)
- Michael Huth e Mark Ryan – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Johan van Benthem – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Yannai – Gonczarowski e Noam Nisan – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Apostolos Doxiadis – An Epic Search for Truth – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Huth – Logic in computer science – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Zach – An open introduction to metalogic – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Benthem – Modal logic for open minds – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- Gonczarowski – Mathematical logic through Python – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
- D̄oxiades, K. A., & Papadimitriou, C. H. (2009). – Computational Logic (Informatica – sede di Trento, esame facoltativo · Computer Science · 6 CFU)
Materie del prof. Jakub Krzysztof Szymanik
Semantics And Cognition Canale unico
Corso di laurea: Artificial Intelligence Systems – sede di Trento · Laurea magistrale (LM-32) · esame facoltativo · Neurocognitive Architectures · 6 CFU
Il docente indica 3 testi · da studiare tutti
Bacheca del docente: cosa indica di studiare
Computational Logic Canale unico
Corso di laurea: Informatica – sede di Trento · Laurea triennale (L-31) · esame facoltativo · Computer Science · 6 CFU
Il docente indica 9 testi · da studiare tutti
Libri consigliati nell'a.a. 2025/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.
Semantics And Cognition Canale unico
Corso di laurea: Cognitive Science – sede di Rovereto · Laurea magistrale (LM-55) · 1º anno · 1º semestre · Computational and theoretical modelling of language and cognition · 6 CFU
Il docente indica 3 testi · da studiare tutti
Bacheca del docente: cosa indica di studiare
Language Modeling And Human Cognition Canale unico
Corso di laurea: Cognitive Science – sede di Rovereto · Laurea magistrale (LM-55) · esame facoltativo · 6 CFU
Apri la scheda ufficiale ›Domande frequenti
Quali libri consiglia il prof. Jakub Krzysztof Szymanik per Semantics And Cognition (Artificial Intelligence Systems – sede di Trento, canale unico)?
Steinert-Threlkeld – How efficiency shapes human language; Gibson – How efficiency shapes human language; Kirby – Culture and biology in the origins of…
Quali libri consiglia il prof. Jakub Krzysztof Szymanik per Computational Logic?
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).
Quali libri consiglia il prof. Jakub Krzysztof Szymanik per Semantics And Cognition (Cognitive Science – sede di Rovereto, canale unico)?
Steinert-Threlkeld – How efficiency shapes human language; Gibson – How efficiency shapes human language; Kirby – Culture and biology in the origins of…