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

Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne [WM-MA-S1-E6-LIZ] Semestr letni 2023/24
Laboratorium, grupa nr 1

Przejdź do planu zaznaczono terminy wyświetlanej grupy
To jest strona grupy zajęciowej. Jeśli szukasz opisu przedmiotu, zobacz stronę przedmiotu
Przedmiot: Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne [WM-MA-S1-E6-LIZ]
Zajęcia: Semestr letni 2023/24 [2023/24_L] (w trakcie)
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 wtorek, 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.
Data i miejsceProwadzący
2024-04-23 13:15 : 14:45 sala 1555
Kampus Wóycickiego Bud. 15
2024-04-30 13:15 : 14:45 sala 1555
Kampus Wóycickiego Bud. 15
2024-05-07 13:15 : 14:45 sala 1555
Kampus Wóycickiego Bud. 15
2024-05-14 13:15 : 14:45 sala 1555
Kampus Wóycickiego Bud. 15
2024-05-21 13:15 : 14:45 sala 1555
Kampus Wóycickiego Bud. 15
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
Liczba osób w grupie: 1
Limit miejsc: 32
Zaliczenie: Zaliczenie na ocenę
Prowadzący: Konrad Zdanowski
Strona domowa grupy: http://Brak.
Literatura:

Literatura podstawowa

Ze Hou, Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification, Srpinger, 2021

url: https://link.springer.com/book/10.1007/978-3-030-87882-5

Anita Wasilewska, Logics for Computer Science, Springer, 2018.

url: https://link.springer.com/book/10.1007/978-3-319-92591-2

Literatura uzupełniająca

Michael Huth, Mark Ryan, Logic in Computer Science. Modelling

and Reasoning about Systems. 2004

Mordechai Ben-Ari, Principles of the SPIN Model Checker, 2008

url: https://link.springer.com/book/10.1007/978-1-84628-770-1

Seiki AkamaTetsuya MuraiYasuo Kudo,

Reasoning with Rough Sets

Logical Approaches to Granularity-Based Framework

(w szczególności rozdział Non-classical Logics),

2018.

url: https://link.springer.com/book/10.1007/978-3-319-72691-5

Moshe Y. Vardi, From Philosophical to Industrial Logics,

url: https://www.cs.rice.edu/~vardi/papers/icla09.pdf

Philip Wadler, Propositions as Types, 2015,

url: https://dl.acm.org/action/downloadSupplement?doi=10.1145%2F2699407&file=p75-wadler-supp.pdf

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

Metody dydaktyczne dla wszystkich efektów uczenia się: metoda ćwiczeniowa, sposoby weryfikacji dla wszystkich efektów uczenia się: kolokwia.

Metody i kryteria oceniania:

Podczas zajęć odbywa się pięć krótkich kolokwiów. Najgorszy wynik jest odrzucany. Na ocenę dostateczną trzeba zdobyć 50% punktów. Wyższe oceny są obliczane według zależności liniowej.

Uwagi:

3 rok I 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 7.0.3.0-1 (2024-04-02)