- 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 niedzieli 27 listopada. Odpowiedzi na często zadawane pytania można znaleźć tutaj.
- Druga praca domowa: rozwiązania proszę nadsyłać do czwartku 22 grudnia.
-
Trzecia praca domowa i jej wersja tekstowa do ewentualnego wykorzystania w pracy z systemem HAHA. Rozwiązania proszę nadsyłać do niedzieli 22 stycznia.
Uwaga: W oryginalną treść zadania wkradł się błąd: w gałęzi else zamiast właściwej instrukcji
y:=y+2
była błędna instrukcjay:=y-2
Powyższe linki prowadzą już do poprawionej treści.
Slajdy do wykładu
- 3 października: Wprowadzenie i sprawy organizacyjne
- 10,17,24 października: Język TINY i semantyka operacyjna
- 7,14,21 listopada: Semantyka denotacyjna
- 28 listopada: Semantyka denotacyjna w ujęciu kontynuacyjnym
- 5,12 grudnia: Logika Hoare'a
- 19 grudnia: Demonstracja systemu HAHA
- 9 stycznia: Podstawy teorii dziedzin
- 16 stycznia: Podstawy algebry uniwersalnej
- 23 stycznia: Projekt Compcert. Interpretery języka Tiny w Haskellu: semantyka bezpośrednia, semantyka kontynuacyjna.
Historia
Informacje na temat wykładu z lat ubiegłych można znaleźć na stronie prof. Andrzeja Tarleckiego.