Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne [WM-MA-S1-E6-LIZ]
Semestr letni 2023/24
Wykład,
grupa nr 1
| Przedmiot: | Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne [WM-MA-S1-E6-LIZ] | ||||||||||||||||||||||||||||||||
| Zajęcia: |
Semestr letni 2023/24 [2023/24_L]
(zakończony)
Wykład [WYK], grupa nr 1 [pozostałe grupy] |
||||||||||||||||||||||||||||||||
|
Termin i miejsce:
|
|||||||||||||||||||||||||||||||||
|
Terminy najbliższych 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: | 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. |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
