Elements of set theory and mathematical logic 1000-M1WDM

(in Polish) 30 godz. - wykład 60 godz. - ćwiczenia 90 godz. - bieżące przygotowanie do zajęć i studiowanie literatury 20 godz. - przygotowanie do egzaminu RAZEM: 200 godz. 8 pkt. ECTS

(in Polish) Po ukończeniu kursu 1000-M1WDM student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku matematyka): W1: ma podstawową wiedzę w zakresie logiki matematycznej (klasycznego rachunku zdań i rachunku kwantyfikatorów) - K_W03 W2: ma podstawową wiedzę w zakresie teorii zbiorów - K_W03 W3: ma podstawową wiedzę w zakresie liczb naturalnych i zna zasadę indukcji matematycznej - K_W03 W4: ma podstawową wiedzę w zakresie relacji i funkcji - K_W03

(in Polish) Po ukończeniu kursu 1000-M1WDM student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku matematyka): U1: rozwiązuje proste zadania z zakresu elementarnej logiki matematycznej (klasyczny rachunek zdań i podstawy rachunku kwantyfikatorów) - K_U01, K_U02 U2: stosuje zasadę indukcji matematycznej w zadaniach o różnych stopniach trudności - K_U01, K_U03 U3: rozwiązuje rozmaite zadania z zakresu teorii zbiorów, relacji i funkcji - K_U01, K_U04 U4: umie określić moc podstawowych zbiorów liczbowych, zbadać równoliczność dwóch zbiorów i podać przykłady zbiorów przeliczalnych i nieprzeliczalnych - K_U01, K_U05 U5: potrafi samodzielnie i w zespole pozyskiwać informacje z literatury, baz wiedzy, Internetu - K_U24, K_U26 U6: potrafi zrozumiale pisać i mówić o podstawowych zagadnieniach matematycznych - K_U23, K_U25

(in Polish) Po ukończeniu kursu 1000-M1WDM student(ka) osiąga następujące efekty (kody odnoszą się do efektów dla studiów 1 stopnia na kierunku matematyka): K1: zrozumiale i skutecznie przekazuje swoją wiedzę innym i potrafi się z nimi porozumieć; właściwie posługuje się terminologią fachową - K_K01, K_K02 K2: rozumie potrzebę dalszego pogłębiania swojej wiedzy - K_K03

(in Polish) Klasyczny wykład i ćwiczenia.

- informative (conventional) lecture

- practical

compulsory course

(in Polish) Brak wymagań wstępnych.

Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system:

• Description of 1000-M1WDM in USOSweb