Programowanie (M)
| Semestr letni 2013 |
| Dariusz Biernacki |
| Środa 12:15-14:00 |
| Sala 119 |
| 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?
- (06.06) Pojawiła się lista zadań nr 7.
- (06.06) Zmiana formy i miejsca egzaminu końcowego: egzamin ustny odbędzie się 19.06.2013 o godz. 10:15 w sali 325.
|
Materiały do wykładu
|
Informacje o wykładzie
| Wykład |
Środa (co drugi tydzień) 12:15-14:00, s. 119 |
| Konsultacje |
Wtorek 14:15-16:00, p. 327 |
| Ćwiczenia |
Środa (co drugi tydzień) 14:15-16:00, s. 5, Małgorzata Biernacka |
|
Czwartek (co drugi tydzień) 12:15-14:00, s. 4, Małgorzata Biernacka |
|
Środa (co drugi tydzień) 12:15-14:00, s. 105, Dariusz Biernacki |
| 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 |
Ustny 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 I termin |
19.06.2013, godz. 10:15, s. 325 |
| Egzamin końcowy II termin |
17.09.2013, godz. 10:15, s. 325 |
| Tematy |
Definicje indukcyjne
Składnia abstrakcyjna a składnia konkretna
Modelowy język imperatywny While
Semantyka naturalna języka While
Strukturalna semantyka operacyjna języka While
Semantyka operacyjna instrukcji niesekwencyjnych, bloków i procedur
Maszyna abstrakcyjna dla języka While
Modelowa implementacja języka While
Elementy teorii dziedzin
Semantyka denotacyjna języka While
Aksjomatyczna weryfikacja programów w języku While
|
| Strona domowa |
http://www.ii.uni.wroc.pl/~dabi/courses/Prog13
|
|