Semantyka i weryfikacja programów: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
== Autor | == Sylabus == | ||
=== Autor === | |||
prof. dr hab. Andrzej Tarlecki | prof. dr hab. Andrzej Tarlecki | ||
==Typ zajęć | === Typ zajęć === | ||
wykład (30 godz.) + ćwiczenia (30 godz.) | wykład (30 godz.) + ćwiczenia (30 godz.) | ||
== Wymagania wstępne | === Wymagania wstępne === | ||
* Wstęp do programowania | * Wstęp do programowania | ||
* Wstęp do teorii mnogości i logiki | * Wstęp do teorii mnogości i logiki | ||
== Zawartość | === Zawartość === | ||
* Formalny opis języków programowania | * Formalny opis języków programowania | ||
| Linia 21: | Linia 22: | ||
* Systematyczne konstruowanie poprawnych programów | * Systematyczne konstruowanie poprawnych programów | ||
== Zalecana literatura == | === Zalecana literatura === | ||
# P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981. | # P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981. | ||
# M. Gordon. Denotacyjny opis języków programowania. WNT, 1983. | # M. Gordon. Denotacyjny opis języków programowania. WNT, 1983. | ||
# D. Gries. The Science of Programming. Springer-Verlag, 1981. | # D. Gries. The Science of Programming. Springer-Verlag, 1981. | ||
# E. Dijkstra. Umiejętność programowania. WNT, 1978. | # E. Dijkstra. Umiejętność programowania. WNT, 1978. | ||
Wersja z 16:52, 8 cze 2006
Sylabus
Autor
prof. dr hab. Andrzej Tarlecki
Typ zajęć
wykład (30 godz.) + ćwiczenia (30 godz.)
Wymagania wstępne
- Wstęp do programowania
- Wstęp do teorii mnogości i logiki
Zawartość
- Formalny opis języków programowania
- Operacyjne i denotacyjne metody definiowania semantyki programów
- Semantyczne definicje podstawowych konstrukcji programistycznych
- Matematyczne podstawy semantyki denotacyjnej
- Pojęcia poprawności programów: poprawność częściowa i całkowita
- Metody dowodzenia poprawności programów
- Logika Hoare'a, jej wykorzystanie i własności formalne
- Systematyczne konstruowanie poprawnych programów
Zalecana literatura
- P. Dembiński, J. Mańuszynski. Matematyczne metody definiowania języków programowania. WNT, 1981.
- M. Gordon. Denotacyjny opis języków programowania. WNT, 1983.
- D. Gries. The Science of Programming. Springer-Verlag, 1981.
- E. Dijkstra. Umiejętność programowania. WNT, 1978.
