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
The final exam takes place on 03.01.2025 at 10.15 in room A319 -
on paper, without notes or other material!
An additional (oral) exam on the exercises for those who did not pass
takes place on 27.01.2025 at 10.15 in room A005.
The exam on the exercises (kolokwium) takes place on 20.01.2025 at 10.15 in room A005 -
on paper, without notes or other material!
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)
Lecture notes - chapter 4b (in polish)
Lecture notes - chapter 5 (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)
Egzamin (pisemne, bez notatek) odbędzie się 01.01.2025, 08.00
pok. A107.
Ustne poprawki kolokwium odbędą się 25.01.2025, 08.00, p. 4.06.
Kolokwium (pisemne, bez notatek) odbędzie się 18.01.2025, 9.45
pok. A107.
(wyniki)
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
Notatki do rozdziału 6
Notatki do rozdziału 7
Notatki do rozdziału 8
Notatki do rozdziału 9
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,
Zestaw 6,
Zestaw 7.
Zestaw 8
Dodatkowe zadania