Christoph Schwarzweller: Teaching - semestr letni 2023
Office hours
Tuesday, 12.15 - 13.00 and Thursday, 10.15 - 11.00, room 4.06
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)
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 additional exercise takes place on Wednesday, 15.03.2023, 12.00 using
MSTeams.
Lecture notes - chapter 1 (in polish)
Lecture notes - chapter 2 (in polish)
Literature:
Ivan Bratko, Prolog - Programming for Artificial Intelligence
Resolution
Resolution
Resolution - original paper by Robinson
SWI-Prolog Hompage
Exercises
Example exam (in polish still)
Seminarium Programowanie generyczne (stacjonarne)
Notatki
Planowane terminy prezentacji:
temat data
Java 16.03.
C++ i STL 23.03.
Concept C++ 30.03.
Haskell 06.04.
Ada 13.04.
Eiffel 20.04.
Scala 27.04.
TypeScript 04.05.
Tecton 11.05.
Mizar I 18.05.
Mizar II 25.05.
Programowanie funkcyjne (niestacjonarne)
Notatki do rozdziału 1
Notatki do rozdziału 2
Notatki do rozdziału 3
Literatura:
Simon Thompson, Haskell - The Craft of Functional Programming
Graham Hutton, Programming in Haskell
H. Conrad Cunningham, Notes on Functional Programming with Haskell
Type Inference
Type Inference - simply typed lambda-calculus
Type Inference - original paper by Milner
Haskel Hompage
Zadania
Przykładowe kolokwium
Seminarium Programowanie generyczne (niestacjonarne)
Notatki