# Course syllabus I-LOG - Logic (FEEIT - SS 2018/2019)

**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: | |||||||||||||

| |||||||||||||

Credits allocated: | 6 | ||||||||||||

Recommended semester/trimester: | -- item not defined -- | ||||||||||||

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: | |||||||||||||

| |||||||||||||

Language of instruction: | slovak or english | ||||||||||||

Notes: | |||||||||||||

Courses evaluation: | |||||||||||||

Assessed students in total: 469
| |||||||||||||

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: | 21. 3. 2019 | ||||||||||||

Supervisor: | doc. RNDr. Karol Nemoga, CSc. and programme supervisor |

*Last modification made by RNDr. Marian Puškár on 03/21/2019.*