Aug 24, 2019   11:37 p.m. Bartolomej
Academic information system

Course syllabus I-LOG - Logic (FEEIT - WS 2019/2020)

     Information sheet          ECTS          Syllabus          

     Slovak          English          

University: Slovak University of Technology in Bratislava
Faculty: Faculty of Electrical Engineering and Information Technology
Course unit code: I-LOG
Course unit title: Logic
Mode of delivery, planned learning activities and teaching methods:
lecture2 hours weekly (on-site method)
seminar2 hours weekly (on-site method)

Credits allocated: 6
Recommended semester/trimester: Applied Informatics - master (compulsory), 1. semester
Level of study: 2.
Prerequisites for registration: none
Assesment methods:
From the whole amount of 100 points, student can obtain 30 point for writen exam during semester, 30 poimt for project and 40 points for the final exam.
Learning outcomes of the course unit:
Goal is to master basic knowledge in mathematical logic and its use in computer science. Basic principles of mathematical logic and model theory necessary for understanding the matter will be presented. Except of this semantic and syntactic approach, as well as completeness theorems will be presented. Students will be able to use gained knowledge in computer science, for example in the program verification. Graduants will be able to formulate and solve basic tasks of mathematical logic and use them in computer science. Also, they will have basic knowledge in nonstandard logic.
Course contents:
1. Historical introduction, examples.
2. Propúositional logic, formulas, construction.
3. Boolean expressions, logical equivivalence, logic functions, semantic tableaux.
4. Tautologies, validity, satisfiability.
5. Completeness theorem.
6. First order logic, formulas.
7. Semantic and syntactic methods in general.
8. Model theory, satisfiability, validity, completeness theorem.
9. Hilbert's system, completeness.
10. SAT solvers.
11. Modal and temporal logic.
12. Program verification.
Recommended or required reading:
BEN-ARI, M. Mathematical Logic for Computer Science. London: Springer, 2012. 346 p. ISBN 978-1-4471-4128-0.

Language of instruction: slovak or english
Courses evaluation:
Assessed students in total: 469

16,4 %16,8 %24,7 %24,9 %16,4 %0,8 %
Name of lecturer(s): RNDr. Karla Čipková, PhD. (examiner, instructor, lecturer, tutor) - slovak, english
doc. RNDr. Karol Nemoga, CSc. (examiner, instructor, lecturer, person responsible for course, tutor) - slovak, english
Last modification: 9. 5. 2019
Supervisor: doc. RNDr. Karol Nemoga, CSc. and programme supervisor

Last modification made by RNDr. Marian Puškár on 05/09/2019.

Type of output: