First Semester
Fri: 11:00 a.m. - 1:00 p.m., Room A2
Fri: 2:00 p.m. - 4:00 p.m., Room A1
Introduction [pdf]
Alan Turing (Wikipedia)
Computer chess (Wikipedia)
Shannon, C., "Programming a Computer for Playing Chess", Philosophical Magazine, 41 (314), 1950 [pdf]
BBC2 Horizon, "Out of Control", 2012 [video, on Dailymotion]
D. Silver, et al., "Mastering the game of Go with deep neural networks and tree search", Nature, 529, 2016 [link]
"AlphaGo - The Movie | Full Documentary", YouTube, 2020 [video]
Symbolic reasoning [pdf]
Language, schemas and reasoning
Syllogism (ancient logic) (Wikipedia)
Propositional logic [pdf]
Boolean algebras, formal propositional language and its semantics, satisfiability, entailment
Rules of inference, justified by entailment (Wikipedia)
Entailment and algorithms [pdf]
Turing machine, decision problems, computational complexity, entailment as a satisfiability problem (i.e. refutation)
Automated Symbolic Calculus [pdf]
Semantic tableaux, propositional resolution, soundess and completeness, computational complexity
Tree Proof Generator [link]: online solver through semantic tableaux
Marco Piastra
Contact: marco.piastra@unipv.it
Mordechai Ben-Ari, Mathematical Logic for Computer Science (3rd Edition). Springer, 2012
Kevin P. Murphy, Machine Learning: A Probabilistic Perspective, MIT Press, 2012.