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
Wykład, 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)
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 wtorek, 11:30 - 13:00
sala 108
Kampus Wóycickiego Bud. 21 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-30 11:30 : 13:00 sala 108
Kampus Wóycickiego Bud. 21
2024-05-07 11:30 : 13:00 sala 108
Kampus Wóycickiego Bud. 21
2024-05-14 11:30 : 13:00 sala 108
Kampus Wóycickiego Bud. 21
2024-05-21 11:30 : 13:00 sala 108
Kampus Wóycickiego Bud. 21
2024-06-04 11:30 : 13:00 sala 108
Kampus Wóycickiego Bud. 21
Część spotkań jest ukryta - pokaż terminy wszystkich spotkań.
Liczba osób w grupie: 1
Limit miejsc: 32
Zaliczenie: Egzaminacyjny
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:

Wykład, dyskusja problemowa. Weryfikacja efektów przez końcowy egzamin.

Metody i kryteria oceniania:

Egzamin pisemny

Punktacja:

punkty-> ocena

45 - 54 -> 3

55 - 64 -> 3.5

65 - 70 -> 4

71 - 76 -> 4.5

77 - 90 -> 5

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)