Programowanie (M)
Rozkład zajęć
- Wykład odbywa się w wybrane środy (zgodnie z poniższym harmonogramem) o godz. 12:15 w sali 119.
- Ćwiczenia odbywają się w pozostałe środy (zgodnie z poniższym harmonogramem) o godz. 12:15 w sali 105.
|
Plan wykładów i ćwiczeń
| Zajęcia |
Data |
Temat |
Notatki |
Więcej |
Kod |
Zadania |
| Wykład 1 |
20.02 |
Definicje indukcyjne
Składnia abstrakcyjna i konkretna |
[Har]:2, [Hen]:1 |
[Har]:3, [Pit]:2 |
|
|
| Ćwiczenia 1 |
27.02 i 28.02 |
|
|
|
|
Lista 1 |
| Wykład 2 |
06.03 |
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 |
13.03 |
|
|
|
|
Lista 2 |
| Wykład 3 |
20.03 |
Równoważność instrukcji
Cukier syntaktyczny
Koindukcja (m. in. nieskończone wykonania instrukcji)
Rozszerzenia języka While: błędy, niedeterminizm
Strukturalna semantyka operacyjna języka While (SOS)
|
[NN]:2.1-2.2, 2.4, [Pit]:4 |
[Pit]:3, [Hen]:5 |
|
|
| Ćwiczenia 3 |
27.03 |
|
|
|
|
Lista 3 |
| Wykład 4 |
10.04 |
Maszyna abstrakcyjna dla języka While i pojęcie kontynuacji
Modelowa implementacja języka While
Semantyka wejścia/wyjścia i bisymulacje
|
[NN]:3, [Pit]:6 |
[Pit]:1.2 |
|
|
| Ćwiczenia 4 |
17.04 |
|
|
|
|
Lista 4 |
| Wykład 5 |
24.04 |
Semantyka bloków i procedur
|
[NN]:2.5 |
|
|
|
| Ćwiczenia 5 |
08.05 |
|
|
|
|
Lista 5 |
| Wykład 6 |
15.05 |
Semantyka denotacyjna języka While
Elementy teorii dziedzin
|
[NN]:4 |
|
|
|
| Ćwiczenia 6 |
22.05 |
|
|
|
|
Lista 6 |
| Wykład 7 |
05.06 |
Specyfikacja i weryfikacja programów
Logika Hoare'a
|
[Win]:6 |
|
|
|
| Ćwiczenia 7 |
12.06 |
|
|
|
|
Lista 7 |
|