Inhalt

[ 521THEOLOGV13 ] VL Logic

Versionsauswahl
Es ist eine neuere Version 2017S dieser LV im Curriculum Bachelor's programme Computer Science 2017S 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