[ 521THEOLOGU13 ] UE Logic

Es ist eine neuere Version 2021W dieser LV im Curriculum Bachelor's programme Artificial Intelligence 2023W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B1 - Bachelor's programme 1. year Mathematics Armin Biere 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Computer Science 2017S
Objectives Consolidation and practical application of the lecture's contents.
Subject See the lecture
Criteria for evaluation tests and lab exercises
Language English
Changing subject? No
Further information
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment