Semantyka i weryfikacja programów [WM-I-SWP] Semestr zimowy 2022/23
Wykład, 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)
Wykład [WYK], 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, 13:15 - 14:45
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 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-21 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-28 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-10-31 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-04 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-09 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-18 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-11-25 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-02 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-09 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2022-12-16 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-05 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-13 13:15 : 14:45 sala 1555 Kampus Wóycickiego Bud. 15
2023-01-20 13:15 : 14:45 sala
2023-01-27 13:15 : 14:45 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

Metody dydaktyczne i sposoby weryfikacji efektów kształcenia:

Dla wszystkich efektów uczenia się:

metody dydaktyczne: wykład informacyjny,

sposoby weryfikacji: egzamin pisemny, ewentualnie ustny.

Metody dydaktyczne:

Metody dydaktyczne dla wszystkich efektów kształcenia: metoda ćwiczeniowa.

Sposoby weryfikacji: efekty U2, U3, U4 - kartkówki, efekty U1, U4 - prace domowe.

Metody i kryteria oceniania:

Po każdych zajęciach laboratoryjnymi należy oddać pracę domową. Oddania pracy należy dokonać jedynie poprzez system

Moodle. Trzykrotny brak pracy domowej oznacza niezaliczenie przedmiotu.

W trakcie semestru odbędą się dwie kolokwia. Za każde kolokwium można uzyskać maksymalnie 50 punktów. Ocena końcowa wystawiana jest jako suma punktów za poszczególne kolokwium.

Skala ocen:

2: 0-55

3: 56-64

3,5: 65-73

4: 74-82

4,5: 83-91

5: 92-100

Nieobecność na kolokwiu uprawnia do uczęszczania do kolokwium uzupełniającego. Przypadki dłuższych chorób będą rozpatrywane indywidualnie.

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 Wykład, grupa nr 1

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