Logic
BASIC DATA
course listing
A - main register
course code
ITI0402
course title in Estonian
Loogika
course title in English
Logic
course volume CP
-
ECTS credits
6.00
to be declared
yes
fully online course
not
assessment form
Examination
teaching semester
autumn
language of instruction
Estonian
English
Study programmes that contain the course
code of the study programme version
course compulsory
yes
Structural units teaching the course
IT - Department of Software Science
Timetable link
Version:
VERSION SPECIFIC DATA
course aims in Estonian
Õppeaine eesmärk on tutvustada loogikat kui arvutiteaduse üht alusdistsipliini ja loogika rakendusi. Lisaks lause- ja predikaatloogikale, mis on põhilised, käsitletakse aines ka aja- ja programmiloogikaid.
course aims in English
The aim of this course is to introduce logic as one of the foundational disciplines underpinning computer science and applications of logic. In addition to propositional and predicate logic, which are central here, temporal and program logics are also presented in this course.
learning outcomes in the course in Est.
Õppeaine läbinud üliõpilane:
- on omandanud toimiva arusaamise, mida tähendab range arutelu;
- kasutab loogikat nii süsteemide ja programmide kui ka nende omaduste spetsifitseerimiseks ja modelleerimiseks ning nende üle arutlemiseks.
- on omandanud toimiva arusaamise, mida tähendab range arutelu;
- kasutab loogikat nii süsteemide ja programmide kui ka nende omaduste spetsifitseerimiseks ja modelleerimiseks ning nende üle arutlemiseks.
learning outcomes in the course in Eng.
After completing this course, the student:
- has acquired a working understanding of what makes a rigorous argument;
- applies logic to specify and model both systems and programs as well as properties thereof and to reason about these.
- has acquired a working understanding of what makes a rigorous argument;
- applies logic to specify and model both systems and programs as well as properties thereof and to reason about these.
brief description of the course in Estonian
Lause- ja predikaatloogika: süntaks ja semantika, normaalkujud, tõestussüsteemid (loomulik tuletus, sekventsiarvutus). Aritmeetika. Binaarsed otsustusdiagrammid. Lauseloogika kehtestatavuse NP-mittetäielikkus, predikaatloogika mittelahenduvus, aritmeetika mittetäielikkus. Lineaarajaloogika, süsteemide verifitseerimine mudelikontrolliga. Hoare’i loogika, programmide deduktiivne verifitseerimine.
brief description of the course in English
Propositional and predicate logic: syntax and semantics, normal forms, proof systems (natural deduction, sequent calculus). Arithmetic. Binary decision diagrams. NP-completeness of satisfiability in propositional logic, undecidability of predicate logic, incompleteness of arithmetic. Linear-time temporal logic, verification of systems by model-checking. Hoare logic, deductive verification of programs.
type of assessment in Estonian
-
type of assessment in English
-
independent study in Estonian
-
independent study in English
-
study literature
· M. Ben-Ari. Mathematical Logic for Computer Science. 3rd edition. Springer, 2012.
· M. Huth, M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. 2nd edition. Cambridge University Press, 2004.
· W. Conradie, V. Goranko. Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015.
· M. Huth, M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. 2nd edition. Cambridge University Press, 2004.
· W. Conradie, V. Goranko. Logic and Discrete Mathematics: A Concise Introduction. Wiley, 2015.
study forms and load
daytime study: weekly hours
4.0
session-based study work load (in a semester):
lectures
3.0
lectures
-
practices
0.0
practices
-
exercises
1.0
exercises
-
lecturer in charge
-
LECTURER SYLLABUS INFO
semester of studies
teaching lecturer / unit
language of instruction
Extended syllabus
2025/2026 autumn
Tarmo Uustalu, IT - Department of Software Science
Estonian