Conducted in
terms:
2025/26_Z, 2026/27_Z
ECTS credits:
6
Language:
Polish
Elements of Logic and Set Theory WM-MA-S1-E1-ELT
This course has not yet been described...
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się
mathematics
(in Polish) E-Learning
Term 2019/20_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2020/21_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2021/22_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2022/23_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2023/24_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2024/25_Z: (in Polish) E-Learning z podziałem na grupy | Term 2025/26_Z: (in Polish) E-Learning |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
Course coordinators
Term 2026/27_Z: | Term 2021/22_Z: | Term 2019/20_Z: | Term 2020/21_Z: | Term 2025/26_Z: | Term 2022/23_Z: | Term 2024/25_Z: | Term 2023/24_Z: |
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2022/23_Z: (in Polish) WYKŁAD szacunkowy nakład pracy studenta 75 h, co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
przygotowanie do zajęć 20 h
konsultacje 15 h
przygotowanie do egzaminu 10 h
CWICZENIA szacunkoy nakład pracy studenta 75 h, , co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
prace domowe i przygotowanie do zajęć 40 h
konsultacje 5 h
przygotowanie do egzaminu 10 h | Term 2023/24_Z: (in Polish) WYKŁAD szacunkowy nakład pracy studenta 75 h, co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
przygotowanie do zajęć 20 h
konsultacje 15 h
przygotowanie do egzaminu 10 h
CWICZENIA szacunkoy nakład pracy studenta 75 h, , co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
prace domowe i przygotowanie do zajęć 40 h
konsultacje 5 h
przygotowanie do egzaminu 10 h | Term 2024/25_Z: (in Polish) WYKŁAD szacunkowy nakład pracy studenta 75 h, co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
przygotowanie do zajęć 20 h
konsultacje 15 h
przygotowanie do egzaminu 10 h
CWICZENIA szacunkoy nakład pracy studenta 75 h, , co odpowiada 3 ECTS
uczestnictwo w zajęciach 30 h
prace domowe i przygotowanie do zajęć 40 h
konsultacje 5 h
przygotowanie do egzaminu 10 h | Term 2026/27_Z: (in Polish) WYKŁAD
uczestnictwo w zajęciach: 30 godz.
udział w egzaminach poza zajęciami: 3 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć: 8 godz.
przygotowanie do egzaminu: 30 godz.
Łącznie 75 godz.
1,5 ECTS - kontakt bezpośredni z prowadzącym
1,5 ECTS - praca własna
ĆWICZENIA
uczestnictwo w zajęciach: 30 godz.
udział w konsultacjach: 4 godz.
przygotowanie do zajęć/prace domowe: 20 godz.
przygotowanie do zaliczenia: 21 godz.
Łącznie 75 godz.
1,4 ECTS - kontakt bezpośredni z prowadzącym
1,6 ECTS - praca własna |
Subject level
elementary
Learning outcome code/codes
(in Polish) wykład: MA1_W02, MA1_W03, MA1_W04, MA1_W05, MA1_W06
ćwiczenia: MA1_U01, MA1_U02, MA1_U03, MA1_U04, MA1_U05, MA1_U06, MA1_U07, MA1_K01, MA1_K02
OPIS SYMBOLI - Absolwent:
wykład
MA1_W02 - zna i rozumie rolę i znaczenie dowodu w matematyce, a także pojęcie istotności założeń,
MA1_W03 - zna i rozumie w zaawansowanym stopniu budowę teorii matematycznych, potrafi użyć formalizmu matematycznego do budowy i analizy prostych modeli matematycznych w innych dziedzinach nauk,
MA1_W04 - zna i rozumie w zaawansowanym stopniu podstawowe twierdzenia z poznanych działów matematyki,
MA1_W05 - zna i rozumie w zaawansowanym stopniu podstawowe przykłady zarówno ilustrujące konkretne pojęcia matematyczne, jak i pozwalające obalić błędne hipotezy lub nieuprawnione rozumowania,
MA1_W06 - zna i rozumie w zaawansowanym stopniu wybrane pojęcia i metody logiki matematycznej, teorii mnogości i matematyki dyskretnej zawarte w podstawach innych dyscyplin matematyki.
ćwiczenia
MA1_U01 - potrafi przedstawiać w mowie i na piśmie poprawne rozumowania matematyczne, formułować twierdzenia i definicje,
MA1_U02 - potrafi posługiwać się rachunkiem zdań i kwantyfikatorów; poprawnie używać kwantyfikatorów także w języku potocznym ,
MA1_U03 - potrafi prowadzić łatwe i średnio trudne dowody metodą indukcji zupełnej; potrafi definiować funkcje i relacje rekurencyjne,
MA1_U04 - potrafi stosować system logiki klasycznej do formalizacji teorii matematycznych,
MA1_U05 - potrafi tworzyć nowe obiekty drogą konstruowania przestrzeni ilorazowych lub produktów kartezjańskich,
MA1_U06 - potrafi posługiwać się językiem teorii mnogości, interpretując zagadnienia z różnych obszarów matematyki,
MA1_U07 - potrafi omawiać zagadnienia związane z różnymi rodzajami nieskończoności oraz porządków w zbiorach,
MA1_K01 - jest gotów do identyfikacji ograniczeń własnej wiedzy i dalszego samokształcenia,
MA1_K02 - jest gotów do formułowania pytań, służących pogłębieniu własnego zrozumienia danego tematu lub odnalezieniu brakujących elementów rozumowania.
Type of subject
obligatory
Preliminary Requirements
(in Polish) Brak wymagań.
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: