Elementy logiki i teorii mnogości
Informacje ogólne
| Kod przedmiotu: | WM-I-Z-ELT |
| Kod Erasmus / ISCED: | (brak danych) / (brak danych) |
| Nazwa przedmiotu: | Elementy logiki i teorii mnogości |
| Jednostka: | Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych |
| Grupy: | |
| Punkty ECTS i inne: |
7.00
|
| Język prowadzenia: | polski |
| Dyscyplina naukowa, do której odnoszą się efekty uczenia się: | informatyka techniczna i telekomunikacja |
| Poziom przedmiotu: | podstawowy |
| Symbol/Symbole kierunkowe efektów uczenia się: | wykład I1_W01, ćwiczenia I1_U02 |
| Wymagania wstępne: | brak wymagań |
| Pełny opis: |
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. |
| Efekty kształcenia i opis ECTS: |
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). |
| Metody i 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ą. |
Zajęcia w cyklu "Semestr zimowy 2021/22" (zakończony)
| Okres: | 2021-10-01 - 2022-01-31 |
 
PN WT ŚR CZ PT SO CW
CW
N WYK
WYK
WYK
WYK
|
| Typ zajęć: |
Ćwiczenia, 20 godzin
Wykład, 20 godzin
|
|
| Koordynatorzy: | Leszek Sidz | |
| Prowadzący grup: | Leszek Sidz | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: | Egzaminacyjny | |
| E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
Zajęcia w cyklu "Semestr zimowy 2022/23" (zakończony)
| Okres: | 2022-10-01 - 2023-01-31 |
PN WT ŚR CZ PT SO CW
CW
N WYK
|
| Typ zajęć: |
Ćwiczenia, 20 godzin
Wykład, 20 godzin
|
|
| Koordynatorzy: | Leszek Sidz | |
| Prowadzący grup: | Leszek Sidz | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: |
Przedmiot -
Egzaminacyjny
Ćwiczenia - Zaliczenie na ocenę Wykład - Egzaminacyjny |
|
| E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
| Opis nakładu pracy studenta w ECTS: | 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 |
|
Zajęcia w cyklu "Semestr zimowy 2023/24" (zakończony)
| Okres: | 2023-10-01 - 2024-01-31 |
PN WT ŚR CZ PT SO CW2
WYK2
CW2
CW2
WYK2
N WYK2
|
| Typ zajęć: |
Cwiczenia 2, 20 godzin
Wykład 2, 20 godzin
|
|
| Koordynatorzy: | Dorota Dąbrowska, Leszek Sidz | |
| Prowadzący grup: | Leszek Sidz, Lidia Waśko | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: |
Przedmiot -
Egzaminacyjny
Cwiczenia 2 - Zaliczenie na ocenę Wykład 2 - Egzaminacyjny |
|
| E-Learning: | E-Learning (pełny kurs) z podziałem na grupy |
|
| Opis nakładu pracy studenta w ECTS: | 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. |
|
| Typ przedmiotu: | obowiązkowy |
|
| Grupa przedmiotów ogólnouczenianych: | nie dotyczy |
|
Zajęcia w cyklu "Semestr zimowy 2024/25" (zakończony)
| Okres: | 2024-10-01 - 2025-01-31 |
PN CW
WT ŚR CZ PT SO CW
WYK
CW
CW
WYK
N CW
CW
CW
|
| Typ zajęć: |
Ćwiczenia, 20 godzin
Wykład, 20 godzin
|
|
| Koordynatorzy: | Lidia Waśko | |
| Prowadzący grup: | Krzysztof Rutkowski, Maria Suwińska, Lidia Waśko | |
| Lista studentów: | (nie masz dostępu) | |
| Zaliczenie: | Egzaminacyjny | |
| E-Learning: | E-Learning |
|
| Typ przedmiotu: | obowiązkowy |
|
| Grupa przedmiotów ogólnouczenianych: | nie dotyczy |
|
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.
