Christoph Schwarzweller: Teaching - semestr letni 2025
Egzaminy poprawkowe
odbędą się sob. 08.03.2025
w pokoju 4.06 w formie ustniej:
student:ka godzina
295953 08.00
266352 08.30
Konsultacje
wtorek 12.15 - 13.00 oraz czwartek, 10.15 - 11.00
Programowanie deklaratywne
Notatki do rozdziału 1
Literatura:
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
Zadania (Scheme)
Zadania (Prolog)
Przykładowe kolokwium
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