[ 521THEOLOGV13 ] VL Logic
|
|
|
| Es ist eine neuere Version 2024W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2024W vorhanden. |
|
| (*) Unfortunately this information is not available in english. |
 |
| 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 2013W |
| Objectives |
(*)Logik als Arbeitssprache und Rechnen mit Logik
|
| Subject |
(*)Aussagenlogik, Prädikatenlogik, Gültigkeit, SAT, SMT, DPLL, Resolution, Beweiskalkül, Skolemisierung, Normalformen, Entscheidbarkeit, Unvollständigkeit
|
| Criteria for evaluation |
|
| Changing subject? |
No |
|
|
|
| On-site course |
| Maximum number of participants |
- |
| Assignment procedure |
Direct assignment |
|
