Slides and coding scripts are distributed after each lecture via the Google groups mailing-list. Refer to the home page on how to subscribe.
There are amazing resources available online, which the course will refer to, leverage and point at for delving into more details.
Stuart J. Russell, Peter Norvig: Artificial Intelligence - A Modern Approach, Fourth International Edition. Pearson Education 2022, ISBN 978-1292401133
Valentin Goranko: Logic As a Tool: A Guide to Formal Logical Reasoning. Wiley 2016, ISBN 978-1118880005
Students are expected to have good knowledge of: 1) Imperative and object-oriented programming in any high-level language 2) Design of algorithms and data structures 3) General mathematics, algebra, set theory.