Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne
Informacje ogólne
Kod przedmiotu: | WM-MA-S1-E6-LIZ |
Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
Nazwa przedmiotu: | Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne |
Jednostka: | Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych |
Grupy: | |
Punkty ECTS i inne: |
0 LUB
6.00
(w zależności od programu)
|
Język prowadzenia: | polski |
Dyscyplina naukowa, do której odnoszą się efekty uczenia się: | matematyka |
Poziom przedmiotu: | podstawowy |
Symbol/Symbole kierunkowe efektów uczenia się: | Wykład: MA1_W01, MA1_W04 Laboratorium: MA1_K01, MA1_K02, MA1_K07 |
Wymagania wstępne: | Podstawy logiki i teorii mnogości. Podstawy programowania. |
Pełny opis: |
Wykład będzie przeglądem logik nieklasycznych, w szczególności tych wykorzystywanych w informatyce. Celem kursu jest zapoznanie studenta z wielością logik nieklasycznych oraz sposobów ich wykorzystania. Po jego ukończeniu student powinien być w stanie zamodelować system, np. skończenie stanowy, przy pomocy technik opartych o logiki nieklasyczne. Studenci poznają logiki wielowartościowe i ich zastosowania, takie jak logika Kleene'go i trójwartościowa logika SQL. Następnie przedstawione zostaną logiki modalne wraz z semantyką Kripke'go oraz algebraiczną oraz ich zastosowania w sprawdzaniu poprawności programów (model checking). Omówiona też zostanie logika intuicjonistyczna (konstruktywna) oraz jej związki z rachunkiem lambda oraz izomorfizmem Curry'ego-Howard'a czyli odpowiedniością pomiędzy dowodami i programami. |
Efekty kształcenia i opis ECTS: |
Wykład: MA1_W01 - rozumie rolę logik nieklasycznych w tworzeniu formalizacji i modelowania systemów, MA1_W04 - zna podstawowe logiki nieklasyczne i ich własności formalne. Laboratorium: MA1_K01 - jest gotów do określania potrzeb w rozwoju swojej wiedzy, MA1_K02 - potrafi świadomie określić brakujące elementy swojej wiedzy i zna sposoby jej rozwoju, MA1_K07 - jest gotowy do oceny różnych sposobów wykorzystania logik nieklasycznych w modelowaniu systemów. |
Metody i kryteria oceniania: |
Dla wszystkich efektów przyjmuje się następujące kryteria oceny we wszystkich formach weryfikacji: ocena 5: osiągnięty w pełni (bez uchwytnych niedociągnięć) ocena 4,5: osiągnięty niemal w pełni i nie są spełnione kryteria przyznania wyższej oceny ocena 4: osiągnięty w znacznym stopniu i nie są spełnione kryteria przyznania wyższej oceny ocena 3,5: osiągnięty w znacznym stopniu z wyraźną przewagą pozytywów i nie są spełnione kryteria przyznania wyższej oceny ocena 3: osiągnięty dla większości przypadków objętych weryfikacją i nie są spełnione kryteria przyznania wyższej oceny ocena 2: nie został osiągnięty dla większości przypadków objętych weryfikacją |
Zajęcia w cyklu "Semestr letni 2021/22" (zakończony)
Okres: | 2022-02-01 - 2022-06-30 |
Przejdź do planu
PN WT WYK
LAB
ŚR CZ PT |
Typ zajęć: |
Laboratorium, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Konrad Zdanowski | |
Prowadzący grup: | Konrad Zdanowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzaminacyjny
Laboratorium - Zaliczenie na ocenę Wykład - Egzaminacyjny |
|
E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
Typ przedmiotu: | obowiązkowy |
|
Grupa przedmiotów ogólnouczenianych: | nie dotyczy |
Zajęcia w cyklu "Semestr letni 2022/23" (zakończony)
Okres: | 2023-02-01 - 2023-06-30 |
Przejdź do planu
PN WT WYK
LAB
ŚR CZ PT |
Typ zajęć: |
Laboratorium, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Konrad Zdanowski | |
Prowadzący grup: | Konrad Zdanowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzaminacyjny
Laboratorium - Zaliczenie na ocenę Wykład - Egzaminacyjny |
|
E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
Opis nakładu pracy studenta w ECTS: | Wykład: uczestnictwo w zajęciach, 30h praca własna, lektury, pogłębienie wiedzy, 40h Razem: 70h, 3 ECTS. Laboratorium uczestnictwo w zajęciach, 30h praca własna, nauka programów wykonujących model checking, tworzenie modeli w tych programach, 40h Razem: 70h, 3 ECTS |
|
Typ przedmiotu: | obowiązkowy |
|
Grupa przedmiotów ogólnouczenianych: | nie dotyczy |
Zajęcia w cyklu "Semestr letni 2023/24" (zakończony)
Okres: | 2024-02-15 - 2024-06-30 |
Przejdź do planu
PN WT WYK
LAB
ŚR CZ PT |
Typ zajęć: |
Laboratorium, 30 godzin
Wykład, 30 godzin
|
|
Koordynatorzy: | Konrad Zdanowski | |
Prowadzący grup: | Konrad Zdanowski | |
Lista studentów: | (nie masz dostępu) | |
Zaliczenie: |
Przedmiot -
Egzaminacyjny
Laboratorium - Zaliczenie na ocenę Wykład - Egzaminacyjny |
|
E-Learning: | E-Learning |
|
Opis nakładu pracy studenta w ECTS: | Wykład: uczestnictwo w zajęciach, 30h praca własna, lektury, pogłębienie wiedzy, 40h Razem: 70h, 3 ECTS. Laboratorium uczestnictwo w zajęciach, 30h praca własna, nauka programów wykonujących model checking, tworzenie modeli w tych programach, 40h Razem: 70h, 3 ECTS |
|
Typ przedmiotu: | obowiązkowy |
|
Grupa przedmiotów ogólnouczenianych: | nie dotyczy |
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.