Inhalt
[ 521THEOLOGU13 ] UE Logic
|
|
|
|
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
1,5 ECTS |
B1 - Bachelor's programme 1. year |
Computer Science |
Martina Seidl |
1 hpw |
Johannes Kepler University Linz |
|
|
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
Detailed information |
Original study plan |
Bachelor's programme Computer Science 2024W |
Objectives |
The students know how to use logic as a working language and they have the ability to compute with logic. After this course students are able to
- understand definitions of logical languages (syntax and semantics)
- calculate the truth values of logical formulas
- understand laws and rules of logical languages and apply them to simplify formulas in a truth-preserving manner
- apply rules of proof systems
- work with various background theories
- encode and solve simple questions of artificial intelligence and formal verification with logic
- use different automatic provers and solvers
|
Subject |
Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
|
Criteria for evaluation |
Weekly minitests or one exam over the full content of the course (both are together with the lecture).
|
Methods |
Exercises which are presented by the lecturers.
Practical exercises which have to be solved with logic tools.
|
Language |
English |
Study material |
Slides plus videos.
|
Changing subject? |
No |
Further information |
Moodle Course
|
|
|
![](https://studienhandbuch.jku.at/pics/pixel.gif) |
On-site course |
Maximum number of participants |
35 |
Assignment procedure |
Direct assignment |
|
|
|