Non-classical logics and applications
General data
Course ID: | WM-MA-S1-E6-LIZ |
Erasmus code / ISCED: | (unknown) / (unknown) |
Course title: | Non-classical logics and applications |
Name in Polish: | Logiki nieklasyczne i ich zastosowania - zajęcia fakultatywne |
Organizational unit: | Faculty of Mathematics and Natural Sciences. School of Exact Sciences. |
Course groups: | |
ECTS credit allocation (and other scores): |
0 OR
6.00
(depends on study program)
|
Language: | Polish |
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się: | mathematics |
Subject level: | elementary |
Learning outcome code/codes: | Lecture: MA1_W01, MA1_W04 Laboratory: MA1_K01, MA1_K02, MA1_K07 |
Preliminary Requirements: | (in Polish) Podstawy logiki i teorii mnogości. Podstawy programowania. |
Full description: |
(in Polish) 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: |
(in Polish) 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. |
Assessment methods and assessment criteria: |
(in Polish) 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ą |
Classes in period "Summer semester 2021/22" (past)
Time span: | 2022-02-01 - 2022-06-30 |
Navigate to timetable
MO TU WYK
LAB
W TH FR |
Type of class: |
Laboratory, 30 hours
Lectures, 30 hours
|
|
Coordinators: | Konrad Zdanowski | |
Group instructors: | Konrad Zdanowski | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Laboratory - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Classes in period "Summer semester 2022/23" (past)
Time span: | 2023-02-01 - 2023-06-30 |
Navigate to timetable
MO TU WYK
LAB
W TH FR |
Type of class: |
Laboratory, 30 hours
Lectures, 30 hours
|
|
Coordinators: | Konrad Zdanowski | |
Group instructors: | Konrad Zdanowski | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Laboratory - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (in Polish) 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 |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Classes in period "Summer semester 2023/24" (in progress)
Time span: | 2024-02-15 - 2024-06-30 |
Navigate to timetable
MO TU WYK
LAB
W TH FR |
Type of class: |
Laboratory, 30 hours
Lectures, 30 hours
|
|
Coordinators: | Konrad Zdanowski | |
Group instructors: | Konrad Zdanowski | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Laboratory - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (in Polish) 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 |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.