Inhalt

[ 521THEOLOGU13 ] UE Logic

Versionsauswahl
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
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 http://fmv.jku.at/logik/
On-site course
Maximum number of participants 35
Assignment procedure Direct assignment