(in Polish) Elements of Logic and Set Theory 420-IS1-1PLTM-ENG
Course profile: General academic
Form of study: Full-time studies
Course type: Obligatory
Academic discipline: Computer science, field of study in the arts and science:
Year/semester of study: 1 / 1
Prerequisites (sequential system of courses and exams): none
Lecture: 30 Exercise classes: 30
Teaching methods: Lecture, exercises with written tests (at least
two), a number of tasks solved at the classes
ECTS credits: 6
Balance of student workload:
Class attendance:
- lectures 30h
- exercise classes 30h
Course preparation:
- lectures 4h
- exercise classes 20h
Literature study: 7h
Reports, homeworks: 4h
Preparation for tests: 20h
Preparation for the exam: 20h
Exam duration: 2h
Tests duration: 4h
The total number of hours of exams and tests: 6h
Individual consultations with the teacher: 9h
Student workload:
Student workload:
- that requires direct interaction with the teacher: 75h, 3 ECTS
- that does not require direct interaction with the teacher: 75h, 3 ECTS
Type of course
Mode
Course coordinators
Learning outcomes
Learning outcomes:
student knows the basic concepts and ideas of logic and discrete mathematics, algebra and mathematical analysis. KA6_WG1
student uses the apparatus of mathematical logic to describe and verify facts, properly uses induction and deduction in his/her reasoning. KA6_UW4
student is able to formulate and interpret computer science concepts using
mathematical constructions and computational methods. KA6_UW5
student is able to properly define priorities for the implementation of a task set by himself or others. KA6_KK1
student is able to understand the need to improve their skills and
qualifications, and monitor the development of technologies
and IT tools. KA6_UU1
Assessment criteria
Form of assessment: exam. The permissible number of unexcused absences from laboratory/exercise classes is 20% of classes.
Bibliography
Bibliography:
Rasiowa H., Introduction to modern mathematics, North Holland 2015
Kuratowski K., Set theory (with and introduction to descriptive set theory), PWN 1976
Additional information
Additional information (registration calendar, class conductors, localization and schedules of classes), might be available in the USOSweb system: