Elements of logic and set theory Field of study: Data Science and Artificial Intelligence
Programme code: W4-S1DS25.2025

Module name: Elements of logic and set theory
Module code: W4_DSAI_S1_ALTM
Programme code: W4-S1DS25.2025
Semester: winter semester 2025/2026
Language of instruction: Polish
Form of verification: course work
ECTS credits: 2
Purpose and description of the content of education:
Celem modułu jest zdobycie przez studiującego wiedzy i umiejętności w zakresie wybranych zagadnień logiki matematycznej oraz podstaw matematyki. Przewiduje się realizację następujących treści kształcenia: 1. Klasyczna logika zdań i klasyczna logika pierwszego rzędu 2. Algebra zbiorów 3. Relacje oraz pojęcie funkcji i ich podstawowe własności 4. Elementy teorii mocy
List of modules that must be completed before starting this module (if necessary): not applicable
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
Rozumie znaczenie logiki i teorii mnogości jako fundamentów formalnych data science i sztucznej inteligencji, wykazuje również gotowość do samodzielnego pogłębiania wiedzy w tym zakresie [K01]
 DSAI_1S_K01 [2/5]
potrafi konstruować poprawne definicje w tym definicje rekurencyjne [U01]
 DSAI_1S_U01 [2/5]
potrafi posługiwać się formalizmem matematycznym [U02]
 DSAI_1S_U01 [2/5]
rozumie w jaki sposób przyjęte założenia i reguły wnioskowania wpływają na poprawność rozumowania [U03]
 DSAI_1S_U01 [2/5]
zna klasyczny rachunek zdań i predykatów oraz pojęcia tautologii i spełnialności formuły, zna reguły wnioskowania oraz pojęcie dowodu. [W01]
 DSAI_1S_W01 [3/5]
zna rachunek zbiorów, pojęcie relacji i ich własności. [W02]
 DSAI_1S_W01 [3/5]
zna postawy teorii mocy. [W03]
 DSAI_1S_W01 [3/5]
Form of teaching Number of hours Methods of conducting classes Assessment of the learning outcomes Learning outcomes
discussion classes [fs_01] 30 Explanation/clarification [a05] 
Lecture-discussion [b02] 
Working with a programmed textbook [d02] 
Reconstruction / reproduction [d04] 
Self-education [f01]  		course work K01 U01 U02 U03 W01 W02 W03
The student's work, apart from participation in classes, includes in particular:
Name Category Description
Developing practical skills [a03] Preparation for classes
activities involving the repetition, refinement and consolidation of practical skills, including those developed during previous classes or new skills necessary for the implementation of subsequent elements of the curriculum (as preparation for class participation)
Getting acquainted with the syllabus content [b01] Consulting the curriculum and the organization of classes
reading through the syllabus and getting acquainted with its content
Determining the stages of task implementation contributing to the verification of learning outcomes [c01] Preparation for verification of learning outcomes
devising a task implementation strategy embracing the division of content, the range of activities, implementation time and/or the method(s) of obtaining the necessary materials and tools, etc.
Studying the literature used in and the materials produced in class [c02] Preparation for verification of learning outcomes
exploring the studied content, inquiring, considering, assimilating, interpreting it, or organizing knowledge obtained from the literature, documentation, instructions, scenarios, etc., used in class as well as from the notes or other materials/artifacts made in class
Analysis of the corrective feedback provided by the academic teacher on the results of the verification of learning outcomes [d01] Consulting the results of the verification of learning outcomes
reading through the academic teacher’s comments, assessments and opinions on the implementation of the task aimed at checking the level of the achieved learning outcomes
Development of a corrective action plan as well as supplementary/corrective tasks [d02] Consulting the results of the verification of learning outcomes
reviewing and selecting tasks and activities enabling the elimination of errors indicated by the academic teacher, their verification or correction resulting in completing the task with at least the minimum passing grade
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)