Inhalt
[ 521THEOLOGV13 ] VL Logic
|
|
|
| Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden. |
|
 |
| Workload |
Education level |
Study areas |
Responsible person |
Hours per week |
Coordinating university |
| 3 ECTS |
B1 - Bachelor's programme 1. year |
Mathematics |
Armin Biere |
2 hpw |
Johannes Kepler University Linz |
|
|
|
| Detailed information |
| Original study plan |
Bachelor's programme Computer Science 2017S |
| Objectives |
Logic as a working language; computational logic.
|
| Subject |
Propositional logic, predicate logic, satisfiability, SAT, SMT, DPLL, resolution, proof calculus, skolemization, normal forms, decidability.
|
| Criteria for evaluation |
Exam
|
| Language |
English |
| Study material |
Slides.
|
| Changing subject? |
No |
| Further information |
http://fmv.jku.at/logik/
|
|
|
|
| On-site course |
| Maximum number of participants |
- |
| Assignment procedure |
Direct assignment |
|
|
|
