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-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):	6.00 OR 7.00 (differs over time) 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
Full description:	(in Polish) Wykład prezentuje podstawy logiki zdań i logiki pierwszego rzędu. Prezentowane są podstawowe pojęcia, twierdzenia i metody teorii mnogości. Omawiane są operacje na zbiorach, relacje, funkcje i ich własności. Omawiane są dobre porządki i podstawy teorii mocy: równoliczności zbiorów, zbiory przeliczalne i zbiory mocy continuum.
Efekty kształcenia i opis ECTS:	(in Polish) Wykład W1 Student zna podstawowe pojęcia teorii mnogości (I1_W01). Ćwiczenia U1 Student potrafi używać podstawowych pojęć teorii mnogości do rozwiązywania zadań z zakresu podstaw matematyki i logiki (I1_U01).
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 WYK FR CW CW CW
Type of class:	Classes, 30 hours more information Lectures, 30 hours more information
Coordinators:	Piotr Szewczak
Group instructors:	Piotr Szewczak, Tomasz Weiss
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 WYK W CW CW TH FR CW
Type of class:	Classes, 30 hours more information Lectures, 30 hours more information
Coordinators:	Tomasz Weiss
Group instructors:	Malwina Gąsowska, Tomasz Weiss
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) wyklad 3 ects 30 godz. wyklad 10 godz.udzial w konsultacjach 20 godz.przygotowanie do wykladu 15 godz.przygotowanie do egzaminu cwiczenia 3 ects 30 godz. cwiczenia 10 godz.udzial w konsultacjach 20 godz.prace domowe 15 godz.przygotowanie do kolokwium

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 WYK W CW CW CW TH FR
Type of class:	Classes, 30 hours more information Lectures, 30 hours more information
Coordinators:	Dorota Dąbrowska, Konrad Zdanowski
Group instructors:	Mirosław Kurkowski, Maria Suwińska, Konrad Zdanowski
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 30 godz. wykład 10 godz. udział w konsultacjach 20 godz. przygotowanie do wykładu 15 godz. przygotowanie do egzaminu razem 75 godzin, co odpowiada 3 ECTS ćwiczenia 30 godz. ćwiczenia 10 godz. udział w konsultacjach 20 godz. prace domowe 15 godz. przygotowanie do kolokwium razem 75 godzin, co odpowiada 3 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.