Elements of Logic and Set Theory
General data
Course ID: | WM-MA-Z-ELT |
Erasmus code / ISCED: |
(unknown)
/
(0541) Mathematics
|
Course title: | Elements of Logic and Set Theory |
Name in Polish: | Elementy logiki i teorii mnogości |
Organizational unit: | Faculty of Mathematics and Natural Sciences. School of Exact Sciences. |
Course groups: | |
ECTS credit allocation (and other scores): |
7.00
|
Language: | Polish |
(in Polish) Dyscyplina naukowa, do której odnoszą się efekty uczenia się: | mathematics |
Subject level: | elementary |
Learning outcome code/codes: | (in Polish) Wykład I1_W01 ćwiczenia I1_U02 |
Full description: |
(in Polish) 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: |
(in Polish) Wykład W1 - student zna i rozumie podstawowe pojęcia i twierdzenia teorii mnogości, teorie relacji i równoliczności zbiorów. ć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. |
Assessment methods and assessment criteria: |
(in Polish) 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ą. |
Classes in period "Winter semester 2021/22" (past)
Time span: | 2021-10-01 - 2022-01-31 |
Navigate to timetable
MO TU W TH FR SA CW
SU WYK
|
Type of class: |
Classes, 20 hours
Lectures, 20 hours
|
|
Coordinators: | Leszek Sidz | |
Group instructors: | Leszek Sidz | |
Students list: | (inaccessible to you) | |
Examination: | examination | |
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
Classes in period "Winter semester 2022/23" (past)
Time span: | 2022-10-01 - 2023-01-31 |
Navigate to timetable
MO TU W TH FR SA CW
SU WYK
|
Type of class: |
Classes, 20 hours
Lectures, 20 hours
|
|
Coordinators: | Leszek Sidz | |
Group instructors: | Leszek Sidz | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Classes - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (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 |
Classes in period "Winter semester 2023/24" (past)
Time span: | 2023-10-01 - 2024-01-31 |
Navigate to timetable
MO TU W TH FR SA CW2
WYK2
WYK2
SU WYK2
CW2
|
Type of class: |
Classes, 20 hours
Lectures, 20 hours
|
|
Coordinators: | Leszek Sidz | |
Group instructors: | Leszek Sidz | |
Students list: | (inaccessible to you) | |
Examination: |
Course -
examination
Classes - graded credit Lectures - examination |
|
(in Polish) E-Learning: | (in Polish) E-Learning (pełny kurs) z podziałem na grupy |
|
(in Polish) Opis nakładu pracy studenta w ECTS: | (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 |
|
Type of subject: | obligatory |
|
(in Polish) Grupa przedmiotów ogólnouczenianych: | (in Polish) nie dotyczy |
Copyright by Cardinal Stefan Wyszynski University in Warsaw.