- poniedziałki, 12-14 s. 5440
Warunki zaliczenia i egzaminu:
Prace domowe: Zaliczenie ćwiczeń i dopuszczenie do egzaminu odbędzie się na podstawie prac domowych. Będą trzy prace domowe, każde złożone z jednego zadania, oceniane na skali 0-1. Zadania będą wspólne dla wszystkich grup, ale sprawdzane i omawiane przez prowadzących poszczególne grupy ćwiczeniowe.
Do zaliczenia ćwiczeń i dopuszczenia do pierwszego terminu egzaminu niezbędne jest uzyskanie nie mniej niz 1.8 punktu z trzech prac domowych razem.
- Pierwsza praca domowa: rozwiązania proszę nadsyłać do czwartku 29 listopada.
- Druga praca domowa: rozwiązania proszę nadsyłać do piątku 4 stycznia.
- Trzecia praca domowa i jej wersja tekstowa do ewentualnego wykorzystania w pracy z systemem HAHA. Rozwiązania proszę oddawać do środy 23 stycznia. Użycie systemu HAHA nie jest obowiązkowe, ale może pomóc w uniknięciu wielu pomyłek.
Slajdy do wykładu
- 8 października: Wprowadzenie i sprawy organizacyjne
- 15 października: Język TINY i semantyka operacyjna małych kroków
- 22 października: Semantyka operacyjna dużych kroków. Równoważność semantyczna. Bisymulacja
- 29 października: Semantyka denotacyjna języka TINY.
- 5,19 listopada: Semantyka bloków, deklaracji i procedur.
- 26 listopada - 3 grudnia: Semantyka denotacyjna w ujęciu kontynuacyjnym
- 10 grudnia - 7 stycznia: Logika Hoare'a
- 7 stycznia: System HAHA. Projekt Compcert
- 14 stycznia: Podstawy teorii dziedzin
- 21 stycznia: Podstawy algebry uniwersalnej
Semantyka denotacyjna jako program funkcyjny
Poniższe programy są napisane w języku Haskell.
- Język TINY, przykładowy program: obliczanie liczb Fibonacciego.
- Bloki i deklaracje zmiennych.
- Procedury.
- Język TINY w ujęciu kontynuacyjnym.