Christoph Schwarzweller: Teaching -- semestr zimowy 2024/25
Office Hours
Monday 13.45 - 14.30 and Thursday, 10.15 - 11.00 in room 4.06 -- by prior registration via email.
Functional 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 4a (in polish)
Literature:
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
Exercises
example exam
Obliczalność i złożoność (niestacjonarne)
Notatki do rozdziału 1
Notatki do rozdziału 2
Notatki do rozdziału 3
Notatki do rozdziału 4
Notatki do rozdziału 5
Literatura:
J. E. Hopcroft, J. D. Ullman,
Introduction to
automata theory, languages, and computation
R. Sommerhalder, S.C. van Westrhenen, The Theory of Computability
J. Jędrzejowicz, A. Szepietowski, Języki, automaty, złożoność obliczeniowa
Zadania - Zestaw 1,
Zestaw 2,
Zestaw 3
Zestaw 4,
Zestaw 5