University: Technical University of Košice
Faculty: Faculty of Electrical Engineering and Informatics
Department: Department of Computers and Informatics
Course Number: 2615951 Course Name: Logics for informaticians
Type, scope and method of learning activities:
Course Type: Lecture, Numerical exercises
Recommended scope of the course content (in hours):
Full-time study (hours per week): 2,2
Part-time study (hours per semester): 26,26
Study Method:
Number of credits: 6
Recommended semester of study: ST
Recommended semester Study programme Study grade Study Method
1.rok ST Cybersecurity (KB_Ing_D_sk)
Informatics (INF_Ing_D_sk)
Computer Modelling (PM_Ing_D_sk)
Informatics (INF_Ing_D_en)
Level of study:
Course completion requirements:
Assessment and completion of the course: Credit test and examination
Continuous assessment: Student passes the continuous assessment and receives credits when he or she meets the requirement to obtain at least 16% out of 30%.
Credit test
Final assessment: Student passes the final assessment and passes the examination when he or she meets the requirement to obtain at least 36% out of 70%.
Overall assessment: Overall assessment is the sum of the assessments obtained by students in the assessment period. The overall result is determined in accordance with the internal regulations of the Technical University in Košice. (Study Regulations, the internal regulation principles of doctoral studies)
Learning outcomes:
The aim of this course is to acquaint the students with logical systems used in informatics. The students acquire knowledge about the structure of logical systems, their classification, differences between classical and intuitionistic logic, differences between two-value and many-value logics.  The students learn Hilbert and Gentzen deduction calculi and have mastered principles of linear and temporal logics. They acquire knowledge about deduction systems and programming languages based on particular logics. The lectures are oriented to emphasize importance of logical systems in different areas of informatics.
Brief course content:
1. Basic notions, logical systems and their application in informatics.
2. Propositional logic.
3. Classical and intuitionistic propositional logic.
4. First-order predicate logic.
5. Linear logic.
7. Proof nets in linear logic.
8. Semantics of linear logic.
9. Some non-classical logics.
10. Modal logic.
11. Temporal logic.
12. Higher-order logic, deduction systems.
Recommended Reference Sources:
1. P.Taylor: Practical Foundations of Mathematics, Cambridge Univ.Press, 1999J.
2. Y.Girard: Linear Logic: Its Syntax and Semantics
3. J.Y.Girard, Y.Lafont, P.Taylor: Proofs and Types, Cambridge Univ.Press,  2003
Recommended optional program components:
Languages required for the course completion:
Course assessment:
Total number of students assessed: 788
  A B C D E FX  
  44% 22% 16% 11% 3% 4%  
prof. RNDr. Valerie Novitzká, PhD.
Ing. Ján Perháč, PhD.
Last modified: 01.09.2022
Approved by: person(s) responsible for the study program