Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2023W 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