Cardinal Stefan Wyszynski University in Warsaw - Central Authentication System
Strona główna

Elements of Logic and Set Theory

General data

Course ID: WM-MA-Z-ELT
Erasmus code / ISCED: (unknown) / (0541) Mathematics The ISCED (International Standard Classification of Education) code has been designed by UNESCO.
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 Basic information on ECTS credits allocation principles:
  • the annual hourly workload of the student’s work required to achieve the expected learning outcomes for a given stage is 1500-1800h, corresponding to 60 ECTS;
  • the student’s weekly hourly workload is 45 h;
  • 1 ECTS point corresponds to 25-30 hours of student work needed to achieve the assumed learning outcomes;
  • weekly student workload necessary to achieve the assumed learning outcomes allows to obtain 1.5 ECTS;
  • work required to pass the course, which has been assigned 3 ECTS, constitutes 10% of the semester student load.

view allocation of credits
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
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 20 hours more information
Lectures, 20 hours more information
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
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 20 hours more information
Lectures, 20 hours more information
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
Selected timetable range:
Navigate to timetable
Type of class:
Classes, 20 hours more information
Lectures, 20 hours more information
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

Course descriptions are protected by copyright.
Copyright by Cardinal Stefan Wyszynski University in Warsaw.
ul. Dewajtis 5,
01-815 Warszawa
tel: +48 22 561 88 00 https://uksw.edu.pl
contact accessibility statement mapa serwisu USOSweb 7.0.4.0-1 (2024-05-13)