Aug 23, 2019   6:27 p.m. Filip

# 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:
 lecture 2 hours weekly (on-site method) seminar 2 hours weekly (on-site method)

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.

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

Notes:

Courses evaluation:
Assessed students in total: 469

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

 Type of output: PDF output (PDF)Document RTF (RTF)XML format for IS (XML IL)