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

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ń.

2022-10-14 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-21 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-28 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-31 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-04 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-09 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-18 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-25 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-02 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-09 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-16 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-05 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-13 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-20 15:00 : 16:30 sala
2023-01-27 15:00 : 16:30 sala 1555 Kampus Wóycickiego Bud. 15

Liczba osób w grupie:

Limit miejsc:

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.

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

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