Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne [WM-MA-S1-E6-LIZ]
Semestr letni 2023/24
Laboratorium,
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)
Laboratorium [LAB], 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: | 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. |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
