Elementy logiki i teorii mnogości WM-I-Z-ELT
Celem przedmiotu jest przekazanie wiedzy i umiejętności z zakresu logiki i teorii mnogości, teorii relacji i równoliczności. Na zajęciach studenci zapoznają się z pojęciem tautologii, działaniach na zbiorach, pojęciem mocy zbioru. Nabywają umiejętności badaniem prawdziwości zdań logicznych, poprawności wnioskowania, określania mocy zbiorów.
Dyscyplina naukowa, do której odnoszą się efekty uczenia się
E-Learning
W cyklu 2021/22_Z: E-Learning (pełny kurs) z podziałem na grupy | W cyklu 2024/25_Z: E-Learning | W cyklu 2023/24_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 2020/21_Z: E-Learning (pełny kurs) z podziałem na grupy |
Grupa przedmiotów ogólnouczenianych
Opis nakładu pracy studenta w ECTS
W cyklu 2023/24_Z: 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 weryfikacji - 22 godziny,
zaliczenie zajęć - 6 godzin,
razem 100 godzin, co odpowiada 4 ECTS.
| W cyklu 2022/23_Z: 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
|
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 i rozumie podstawowe pojęcia i twierdzenia teorii mnogości, teorie relacji i równoliczności zbiorów (I1_W01).
Ćwiczenia
U1 - student potrafi używać podstawowych pojęć i twierdzeń teorii mnogości i logiki klasycznej do rozwiązywania typowych zadań i przeprowadzania prostych dowodów (I1_U02).
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: