Programowanie (M), II UWr, 2013 Dom Rozkład Literatura Zasoby Zadania

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
http://www.ii.uni.wroc.pl/~dabi