Menü
Positionsanzeige
Inhalt

[ 521THEOLOGV13 ] VL Logic
Versionsauswahl
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B1 - Bachelor's programme 1. year Computer Science Martina Seidl 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2025W
Learning Outcomes
Competences
The students know how to use logic as a working language and they have the ability to compute with logic.
Skills Knowledge
After this course students are able to

  • understand definitions of logical languages (K1, K2)
  • calculate the truth values of logical formulas (K2, K3)
  • understand laws and rules of logical languages and apply them to simplify formulas in a truth-preserving manner(K2, K3)
  • apply rules of proof systems (K2, K3)
  • work with various background theories like uninterpreted functions, integers, bit vectors, and arrays (K2, K3)
  • encode and solve simple questions of artificial intelligence and formal verification with logic (K2, K3)
  • use different automatic provers and solvers (K3)
  • Propositional logic
  • predicate logic
  • SAT solving
  • SMT
  • DPLL
  • resolution
  • proof calculus
  • normal forms
Criteria for evaluation Weekly minitests with small weekly exercises optional projects

or

one exam over the full content of the course (both are together with the exercise).

Methods Slide-based presentation plus practical examples and tool demos .
Language English
Study material Slides and lecture videos. For parts of this course lecture notes are available.
Changing subject? No
Further information This lecture and the associated exercise course form an inseparable didactic unit. The learning outcomes presented here are achieved through the close interaction of the two courses.
On-site course
Maximum number of participants -
Assignment procedure Direct assignment