Cardinal Stefan Wyszynski University in Warsaw - Central Authentication System

QUICK START
STUDENTS AND STAFF
FACULTIES
COURSES
- Elements of Logic and Set Theory
STUDIES
DORMITORIES
HELP

Elements of Logic and Set Theory

General data

Course ID:	WM-I-Z-ELT
Erasmus code / ISCED:	(unknown) / (unknown)
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ę:	information and communication technology
Subject level:	elementary
Learning outcome code/codes:	(in Polish) wykład I1_W01, ćwiczenia I1_U02
Preliminary Requirements:	(in Polish) brak wymagań
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 (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).
Assessment methods and assessment criteria:	For all learning outcomes, the following assessment criteria are adopted for all forms of verification: grade 5: fully achieved (no obvious shortcomings), grade 4.5: achieved almost fully and criteria for awarding a higher grade are not met, grade 4: largely achieved and the criteria for a higher grade are not met, grade 3.5: largely achieved - with a clear majority of positives - and the criteria for granting a higher grade are not met, grade 3: achieved for most of the cases covered by the verification and criteria for a higher grade are not met, grade 2: not achieved for most of the cases covered by the verification.

Classes in period "Winter semester 2021/22" (past)

Time span:	2021-10-01 - 2022-01-31	Selected timetable range: weekly course term Navigate to timetable MO TU W TH FR SA CW CW SU WYK WYK WYK WYK
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: weekly course term Navigate to timetable MO TU W TH FR SA CW CW SU WYK
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

Classes in period "Winter semester 2023/24" (past)

Time span:	2023-10-01 - 2024-01-31	Selected timetable range: weekly course term Navigate to timetable MO TU W TH FR SA CW2 CW2 WYK2 CW2 WYK2 SU WYK2
Type of class:	Classes, 20 hours more information Lectures, 20 hours more information
Coordinators:	Dorota Dąbrowska, Leszek Sidz
Group instructors:	Leszek Sidz, Lidia Waśko
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 weryfikacji - 22 godziny, zaliczenie zajęć - 6 godzin, razem 100 godzin, co odpowiada 4 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.