Języki i Paradygmaty Programowania 2026

Czwartek 15¹⁵ - 16⁵⁵ C-4/41 wykład

Literatura

1. Robert W. Sebesta: Concepts of Programming Languages.
2. Raphaël Amiard and Gustavo A. Hoffmann: Introduction to Ada.
3. Go Documentation.
4. Java Documentation.
5. Quentin Ochem: Ada for the C++ or Java Developer.
6. Miran Lipovača: Learn You a Haskell for Great Good! A Beginner's Guide.
7. Learn Common Lisp.
8. Standard ML of New Jersey User's Guide.
9. SWI Prolog - Getting started quickly.

Listy na laboratorium

• Lista na 1 i 2 laboratorium
• Lista na 3 i 4 laboratorium
• Lista na 5 i 6 laboratorium
• Lista na 7 i 8 laboratorium

Tematy wykładów (w przybliżeniu)

1. Wprowadzenie (5-03-2026)
2. Zmienne i abstrakcyjne typy danych (12-03-2026)
3. Zmienne i abstrakcyjne typy danych (cd) (19-03-2026)
4. Podstawowe konstrukcje (26-03-2026)
5. Typy parametryczne (1-04-2026)
6. Programowanie obiektowe (9-04-2026)
7. Programowanie współbieżne (16-04-2026) (Przykłady z wykładu)
8. Programowanie współbieżne (cd) (23-04-2026)
9. Programowanie współbieżne (cd) (7-05-2026)

Zasady zaliczenia kursu

Ocena z kursu bierze pod uwagę umiejętności nabyte w trakcie kursu oraz terminowość oddawania zadań. Zadania powinny być samodzielnie zaimplementowane przez studenta. Prowadzący laboratoria mogą przy zaliczeniu i ocenie list żądać modyfikacji programów pokazujących, że student opanował wymagany poziom zrozumienia paradygmatu i języka, które zostały zastosowane. Za listę oddaną w terminie uważa się listę oddaną na zajęciach na które jest przeznaczona lub na następnych zajęciach. Każdy tydzień spóźnienia każdej listy obniża końcową ocenę o 0.25. Zaliczenie wszystkich zadań z list jest warunkiem koniecznym zaliczenia kursu.

Wyjściową oceną z kursu jest 5.0. Ocena końcowa jest zaokrąglana do najbliższej oceny zgodnej z regulaminem studiów (2.75-3.24 - 3, 3.25-3.74 - 3.5, itd.).