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
The exam takes place on Monday, 30.06.2025 at 10.00-12.00 in room A201 -
on paper, without notes or other material!
On Tuesday, 24.06.2025 at 10.00 in room 4.06 there is the possibility to have a look at Your exam.
The exam on the exercises (kolokwium) - for all groups - takes place on Thuesday 10.06.2025 at 10.15
during the lecture -
on paper, without notes or other material!
(results)
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)
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (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
The exam takes place on Monday, 30.06.2025 at 12.00-14.00 in room A319 -
on paper, without notes or other material!
The exam on the exercises (kolokwium) takes place on Tuesday, 10.06.2025 at 08.30 during the laboratory -
on paper, without notes or other material!
(results)
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Lecture notes - chapter 2a (in polish)
Lecture notes - chapter 3 (in polish)
Lecture notes - chapter 3a (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)
Egzamin (pisemne, bez notatek) odbędzie się 28.06.2025, 08.00 - 10.00 w sali A107.
Kolokwium (pisemne, bez notatek) odbędzie się 14.06.2025 w czasie laboratorium.
(Wyniki)
Notatki do rozdziału 1
Notatki do rozdziału 2
Notatki do rozdziału 2a
Notatki do rozdziału 3
Notatki do rozdziału 3a
Literatura:
Ivan Bratko, Prolog - Programming for Artificial Intelligence
Resolution
Resolution
Resolution - original paper by Robinson
SWI-Prolog Hompage
Zadania
Przykładowe kolokwium