Conducted in
terms:
2025/26_Z, 2026/27_Z
ISCED code: 0541
ECTS credits:
6
Language:
Polish
Related to study programmes:
Elements of Logic and Set Theory WM-MA-Z-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 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 | Term 2025/26_Z: (in Polish) E-Learning (pełny kurs) z podziałem na grupy | Term 2026/27_Z: (in Polish) E-Learning (pełny kurs) |
(in Polish) Grupa przedmiotów ogólnouczenianych
(in Polish) nie dotyczy
Course coordinators
Term 2026/27_Z: | Term 2024/25_Z: | Term 2022/23_Z: | Term 2019/20_Z: | Term 2021/22_Z: | Term 2023/24_Z: | Term 2020/21_Z: | Term 2025/26_Z: |
(in Polish) Opis nakładu pracy studenta w ECTS
Term 2022/23_Z: (in Polish) Wykład
Uczestnictwo w zajęciach -20 godzin
przygotowanie do egzaminu -30 godzin
samodzielna lektura 22 godziny
udział w egzaminie 3 godziny
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
Uczestnictwo w zajęciach -20 godzin
przygotowanie do zajęć -30 godzin
samodzielna lektura 22 godziny
przygotowanie do egzaminu 22 godziny
zaliczenie zajęć 6 godziny
razem 100 godzin, co odpowiada 4 ECTS
20 godzin - 4 punkty ECTS | Term 2023/24_Z: (in Polish) Wykład
Uczestnictwo w zajęciach -20 godzin
przygotowanie do egzaminu -30 godzin
samodzielna lektura 22 godziny
udział w egzaminie 3 godziny
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
Uczestnictwo w zajęciach -20 godzin
przygotowanie do zajęć -30 godzin
samodzielna lektura 22 godziny
przygotowanie do egzaminu 22 godziny
zaliczenie zajęć 6 godziny
razem 100 godzin, co odpowiada 4 ECTS
20 godzin - 4 punkty ECTS | Term 2024/25_Z: (in Polish) Wykład
Uczestnictwo w zajęciach -20 godzin
przygotowanie do egzaminu -30 godzin
samodzielna lektura 22 godziny
udział w egzaminie 3 godziny
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
Uczestnictwo w zajęciach -20 godzin
przygotowanie do zajęć -30 godzin
samodzielna lektura 22 godziny
przygotowanie do egzaminu 22 godziny
zaliczenie zajęć 6 godziny
razem 100 godzin, co odpowiada 4 ECTS
20 godzin - 4 punkty ECTS | Term 2025/26_Z: (in Polish) Wykład
Uczestnictwo w zajęciach -20 godzin
przygotowanie do egzaminu -30 godzin
samodzielna lektura 22 godziny
udział w egzaminie 3 godziny
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
Uczestnictwo w zajęciach -20 godzin
przygotowanie do zajęć -30 godzin
samodzielna lektura 22 godziny
przygotowanie do egzaminu 22 godziny
zaliczenie zajęć 6 godziny
razem 100 godzin, co odpowiada 4 ECTS
20 godzin - 4 punkty ECTS | Term 2026/27_Z: (in Polish) WYKŁAD
uczestnictwo w zajęciach: 20 godz.
udział w egzaminach poza zajęciami: 3 godz.
udział w konsultacjach: 3 godz.
przygotowanie do zajęć: 19 godz.
przygotowanie do egzaminu: 30 godz.
Łącznie 75 godz.
1 ECTS - kontakt bezpośredni z prowadzącym
2 ECTS - praca własna
ĆWICZENIA
uczestnictwo w zajęciach: 20 godz.
udział w konsultacjach: 3 godz.
przygotowanie do zajęć/prace domowe: 26 godz.
przygotowanie do zaliczenia: 26 godz.
Łącznie 75 godz.
0,9 ECTS - kontakt bezpośredni z prowadzącym
2,1 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
Information on level of this course, year of study and semester when the course unit is delivered, types and amount of class hours - can be found in course structure diagrams of apropriate study programmes. This course is related to the following study programmes:
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: