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

Semantyka i weryfikacja programów [WM-I-SWP] Semestr zimowy 2022/23
Laboratorium, grupa nr 1

powiększ
plan zajęć przedmiotu
zaznaczono (na zielono) terminy
aktualnie wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Semantyka i weryfikacja programów [WM-I-SWP]
Zajęcia: Semestr zimowy 2022/23 [2022/23_Z] (zakończony)
Laboratorium [LAB], grupa nr 1 [pozostałe grupy]
Termin i miejsce: Podana informacja o terminie jest orientacyjna. W celu uzyskania pewnej informacji obejrzyj kalendarz roku akademickiego lub skontaktuj się z wykładowcą (nieregularności zdarzają się przede wszystkim w przypadku zajęć odbywających się rzadziej niż co tydzień).
każdy piątek, 15:00 - 16:30
sala 1555
Kampus Wóycickiego Bud. 15 jaki jest adres?
Terminy najbliższych spotkań: Daty odbywania się zajęć grupy. Prezentują informacje na podstawie zdefiniowanych w USOS terminów oraz spotkań.
Kliknij w datę by zobaczyć tygodniowy plan z zaznaczonym spotkaniem.
Wszystkie zajęcia tej grupy już się odbyły - pokaż terminy wszystkich spotkań.
Liczba osób w grupie: 14
Limit miejsc: 18
Prowadzący: William Steingartner
Strona domowa grupy: https://e.uksw.edu.pl/course/view.php?id=14642
Zakres tematów:

1. Wprowadzenie do semantyki. Semantyka liczb binarnych.

2. Semantyka wyrażeń. Pojęcie stanu pamięci.

3. Semantyka naturalna.

4. Strukturalna semantyka operacyjna.

5. Rozszerzenia semantyki operacyjnej.

6. Implementacja abstrakcyjna. Maszyna abstrakcyjna.

7. Semantyka algebraiczna.

8. Semantyka aksjomatyczna.

9. Semantyka denotacyjna.

10. Rozszerzenia semantyki denotacyjnej.

11. Semantyka kategorialna.

12. Semantyka wybranych języków DSL.

Uwagi:

I rok II st.

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 6.8.0.0-5 (2022-09-30)