Information sheet ECTS Syllabus
Course syllabus I-LOG - Logic (FEEIT - SS 2018/2019)
|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:|
|Recommended semester/trimester:||-- item not defined --|
|Level of study:||2.|
|Prerequisites for registration:||none|
|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.|
|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|
|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.