Programowanie (M)
| Semestr letni 2012 |
| Dariusz Biernacki |
| Wtorek 12:15-14:00 |
| Audytorium 25 |
| 3 ECTS |
Przedmiot Programowanie (M) stanowi wprowadzenie do
tematyki formalnej semantyki języków programowania i jej
zastosowań w projektowaniu i implementacji języków
programowania jak również we wnioskowaniu o własnościach
programów i w ich poprawnym konstruowaniu.
|
Co nowego?
- (28.06) Egzamin poprawkowy odbędzie się w czwartek 13
września 2012 o godz. 10:15 w sali 140. Ogłoszenie
wyników egzaminu będzie miało miejsce w piątek 14 września
2012 o godz. 12:15 w sali 140.
|
Materiały do wykładu
|
Informacje o wykładzie
| Wykład |
Wtorek (co drugi tydzień) 12:15-14:00, s. 25 |
| Ćwiczenia |
Wtorek 12:15-14:00, s. 140, Małgorzata Biernacka |
|
Wtorek 12:15-14:00, s. 103, Dariusz Biernacki |
|
Czwartek 14:15-16:00, s. 104, Antoni Kościelski |
| Podręcznik |
Semantics
with Applications: A Formal Introduction,
H. R. Nielson, F. Nielson
|
| ECTS |
3 |
| Liczba godzin |
15h wykładu + 15h ćwiczeń |
| Ocena z ćwiczeń |
Prace domowe |
| Ocena z wykładu |
Pisemny egzamin końcowy |
| Prace domowe |
Listy zadań ogłaszane z tygodniowym
wyprzedzeniem
Regulamin dotyczący deklaracji
rozwiązań jak na przedmiocie Programowanie (L)
|
| Egzamin końcowy |
30.05.2012 |
| Egzamin poprawkowy |
13.09.2012, godz. 10:15, s. 140 |
| Tematy |
Definicje indukcyjne
Modelowy język imperatywny While
Semantyka naturalna języka While
Strukturalna semantyka operacyjna języka While
Semantyka operacyjna instrukcji niesekwencyjnych, bloków i procedur
Semantyka operacyjna instrukcji wejścia/wyjścia
Maszyna abstrakcyjna dla języka While
Modelowa implementacja języka While
Aksjomatyczna weryfikacja programów w języku While
Aksjomatyczna specyfikacja i weryfikacja procedur
Aksjomatyczna estymacja czasu wykonania programów w języku While
|
| Strona domowa |
http://www.ii.uni.wroc.pl/~dabi/courses/Prog12
|
|