Christoph Schwarzweller: Teaching - summer term 2025
Office Hours
Tuesday 12.15 - 13.00 and Thursday, 10.15 - 11.00 in room 4.06 -- by prior registration via email.
Declarative Programming
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Lecture notes - chapter 3 (in polish)
Lecture notes - chapter 4 (in polish)
Lecture notes - chapter 5 (in polish)
Literature:
H. Abelson and G.J. Sussman with J. Sussman, Structure and Interpretation of Computer Programs
D.P. Friedman and M. Felleisen, The Little Schemer
Ivan Bratko, Prolog - Programming for Artificial Intelligence
Scheme (Racket) Hompage
SWI-Prolog Hompage
Exercises (Scheme)
Exercises (Prolog)
Example exam
Logic Programming
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Lecture notes - chapter 2a (in polish)
Literature:
Ivan Bratko, Prolog - Programming for Artificial Intelligence
Resolution
Resolution
Resolution - original paper by Robinson
SWI-Prolog Hompage
Exercises
Example exam
Programowanie w logice (niestacjonarne)
Notatki do rozdziału 1
Literatura:
Ivan Bratko, Prolog - Programming for Artificial Intelligence
Resolution
Resolution
Resolution - original paper by Robinson
SWI-Prolog Hompage
Zadania
Przykładowe kolokwium