Elementy logiki i teorii mnogości WM-I-ELT
Wykład prezentuje podstawy logiki zdań i logiki pierwszego rzędu.
Prezentowane są podstawowe pojęcia, twierdzenia i metody teorii mnogości. Omawiane są operacje na zbiorach, relacje, funkcje i ich własności. Omawiane są dobre porządki i podstawy teorii mocy: równoliczności zbiorów, zbiory przeliczalne i zbiory mocy continuum.
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
W cyklu 2023/24_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2019/20_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2021/22_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2020/21_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2022/23_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2024/25_Z: E-Learning |
Grupa przedmiotów ogólnouczenianych
Opis nakładu pracy studenta w ECTS
W cyklu 2023/24_Z: wykład
30 godz. wykład
10 godz. udział w konsultacjach
20 godz. przygotowanie do wykładu
15 godz. przygotowanie do egzaminu
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
30 godz. ćwiczenia
10 godz. udział w konsultacjach
20 godz. prace domowe
15 godz. przygotowanie do kolokwium
razem 75 godzin, co odpowiada 3 ECTS | W cyklu 2024/25_Z: wykład
30 godz. wykład
10 godz. udział w konsultacjach
20 godz. przygotowanie do wykładu
15 godz. przygotowanie do egzaminu
razem 75 godzin, co odpowiada 3 ECTS
ćwiczenia
30 godz. ćwiczenia
10 godz. udział w konsultacjach
20 godz. prace domowe
15 godz. przygotowanie do kolokwium
razem 75 godzin, co odpowiada 3 ECTS | W cyklu 2022/23_Z: wyklad 3 ects
30 godz. wyklad
10 godz.udzial w konsultacjach
20 godz.przygotowanie do wykladu
15 godz.przygotowanie do egzaminu
cwiczenia 3 ects
30 godz. cwiczenia
10 godz.udzial w konsultacjach
20 godz.prace domowe
15 godz.przygotowanie do kolokwium
|
Poziom przedmiotu
Symbol/Symbole kierunkowe efektów uczenia się
Typ przedmiotu
Wymagania wstępne
Koordynatorzy przedmiotu
W cyklu 2023/24_Z: | W cyklu 2019/20_Z: | W cyklu 2021/22_Z: | W cyklu 2020/21_Z: | W cyklu 2022/23_Z: | W cyklu 2024/25_Z: |
Efekty kształcenia
Wykład
W1 Student zna podstawowe pojęcia teorii mnogości (I1_W01).
Ćwiczenia
U1 Student potrafi używać podstawowych pojęć teorii mnogości do rozwiązywania zadań z zakresu podstaw matematyki i logiki (I1_U01).
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ą.
Więcej informacji
Więcej informacji o poziomie przedmiotu, roku studiów (i/lub semestrze) w którym się odbywa, o rodzaju i liczbie godzin zajęć - szukaj w planach studiów odpowiednich programów. Ten przedmiot jest związany z programami:
Dodatkowe informacje (np. o kalendarzu rejestracji, prowadzących zajęcia, lokalizacji i terminach zajęć) mogą być dostępne w serwisie USOSweb: