Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie - Centralny System Uwierzytelniania
Strona główna

Semantyka i weryfikacja programów WM-I-SWP
Laboratorium (LAB) Semestr zimowy 2022/23

Informacje o zajęciach (wspólne dla wszystkich grup)

Strona zajęć: https://e.uksw.edu.pl/course/view.php?id=14642
Liczba godzin: 30
Limit miejsc: (brak limitu)
Literatura:

1. J. Hopcroft, J. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, PWN, Warszawa 2003.

2. J. Hopcroft, R. Motwani, J. Ullman, Wprowadzenie do teorii automatów, języków i obliczeń, PWN, Warszawa 2005.

3. A. Kościelski, Teoria obliczeń, wyd. UWr, Wrocław 1997.

4. D. Schmidt, Denotational Semantics, 1997

5. H. R. Nielsen, F. Nielsen - Semantics with Applications. An Appetizer, 2007

Zakres tematów:

1. Wprowadzenie do semantyki. Semantyka liczb binarnych.

2. Semantyka wyrażeń arytmetycznych i boolowskich. Pojęcie stanu pamięci i jego abstrakcja.

3. Naturalna semantyka języków programowania.

4. Strukturalna semantyka operacyjna języków programowania.

5. Rozszerzenia semantyki operacyjnej: niedeterminizm, paralelizm, przerywanie programu, bloki, deklaracje, procedury.

6. Implementacja abstrakcyjna. Maszyna abstrakcyjna.

7. Semantyka algebraiczna, specyfikacje algebraiczne, algebry heterogeniczne.

8. Aksjomatyczna semantyka języków programowania, system warunków wstępnych i końcowych.

9. Semantyka denotacyjna języków programowania.

10. Teoria punktów stałych i semantyka denotacyjna pętli while.

11. Rozszerzenia semantyki denotacyjnej: przerwanie programu, mechanizm wyjątków, skoki bezwarunkowe, bloki, deklaracje i procedury.

12. Kategoryczna semantyka denotacyjna.

13. Kategoryczna semantyka operacyjna.

14. Semantyka wybranych języków dziedzinowych.

15. Typowe zastosowania metod semantycznych w praktyce. Modele obliczeń.

Grupy zajęciowe

zobacz na planie zajęć

Grupa Termin(y) Prowadzący Miejsca Liczba osób w grupie / limit miejsc Akcje
1 każdy piątek, 15:00 - 16:30, sala 1555
William Steingartner 14/18 szczegóły
Wszystkie zajęcia odbywają się w budynku:
Kampus Wóycickiego Bud. 15
Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
ul. Dewajtis 5,
01-815 Warszawa
tel: +48 22 561 88 00 https://uksw.edu.pl
kontakt deklaracja dostępności USOSweb 7.0.3.0-1 (2024-04-02)