Programowanie (M)
Rozkład zajęć
- Wykład odbywa się w wybrane wtorki (zgodnie z poniższym harmonogramem) o godz. 12:15 w sali 25.
- Ćwiczenia odbywają się w pozostałych tygodniach w następujących terminach:
- wtorek 12:15, s. 140, Małgorzata Biernacka
- wtorek 12:15, s. 103, Dariusz Biernacki
- czwartek 14:15, s. 104, Antoni Kościelski
|
Plan wykładów i ćwiczeń
| Zajęcia |
Data |
Temat |
Notatki |
Dla chętnych |
Kod |
Zadania |
| Wykład 1 |
07.02 |
Definicje indukcyjne |
[Har]:2, [Hen]:1 |
[Har]:3, [Pit]:2 |
|
|
| Ćwiczenia 1 |
14.02 i 16.02 |
|
|
|
|
Lista 1 |
| Wykład 2 |
28.02 |
Modelowy język imperatywny While
Semantyka naturalna języka While |
[NN]:1.2-1.4, 2.1 |
[Hen]:1.2, 2, 4.3 |
|
|
| Ćwiczenia 2 |
06.03 i 08.03 |
|
|
|
|
Lista 2 |
| Wykład 3 |
13.03 |
Semantyka naturalna, c.d.
(błędy, niedeterminizm)
Strukturalna semantyka operacyjna języka While
|
[NN]:2.1-2.2, 2.4 |
[Pit]:3, [Hen]:5 |
Interpreter
wyrażeń
arytmetycznych
|
|
| Ćwiczenia 3 |
20.03 i 22.03 |
|
|
|
|
Lista 3 |
| Wykład 4 |
27.03 |
Strukturalna semantyka operacyjna, c.d.
Semantyka obliczeń niedeterministycznych i równoległych
|
[NN]:2.3-2.4 |
[Pit]:3, [Hen]:5 |
|
|
| Ćwiczenia 4 |
03.04 i 05.04 |
|
|
|
|
Lista 4 |
| Wykład 5 |
17.04 |
Maszyna abstrakcyjna dla języka While i pojęcie kontynuacji
Maszyna wirtualna i modelowy generator kodu dla języka While
|
[NN]:3
|
[Pit]:1.2
|
Funkcyjne wyprowadzenie maszyny abstrakcyjnej z semantyki naturalnej
|
|
| Ćwiczenia 5 |
24.04 i 26.04 |
|
|
|
|
Lista 5 |
| Wykład 6 |
27.04
13:15
s. 119 |
Semantyka bloków i procedur
|
[NN]:2.5 |
|
Trzy interpretery definiujące leniwy język funkcyjny w Haskellu:
defint1.hs,
defint2.hs,
defint3.hs
|
|
| Ćwiczenia 6 |
08.05 i 10.05 |
|
|
|
|
Lista 6 |
| Wykład 7 |
15.05 |
Specyfikacja i weryfikacja programów
Logika Hoare'a
|
[NN]:6.2-6.4 |
|
|
|
| Ćwiczenia 7 |
22.05 i 24.05 |
|
|
|
|
Lista 7 |
|