Inhalt

[ 201COMACOLV18 ] VL Computational Logic

Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelor's programme Technical Mathematics 2023W vorhanden.
(*) Unfortunately this information is not available in english.
Workload Education level Study areas Responsible person Hours per week Coordinating university
3 ECTS B2 - Bachelor's programme 2. year Mathematics Tudor Jebelean 2 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2018W
Criteria for evaluation
Changing subject? No
Corresponding lecture (*)TM1PEKVSWEN: KV Software Engineering (3 ECTS)
On-site course
Maximum number of participants -
Assignment procedure Direct assignment