Menü
Positionsanzeige
Inhalt

[ 201UCMACOLU18 ] UE Computational Logic
Versionsauswahl
Es ist eine neuere Version 2023W dieser LV im Curriculum Bachelor's programme Technical Mathematics 2024W vorhanden.
Workload Education level Study areas Responsible person Hours per week Coordinating university
1,5 ECTS B2 - Bachelor's programme 2. year Mathematics Tudor Jebelean 1 hpw Johannes Kepler University Linz
Detailed information
Original study plan Bachelor's programme Technical Mathematics 2022W
Objectives Students learn the practical solution of problems in computer-based logic, partially by the use of logic-based software tools.
Subject Algorithmic methods in propositional logic, predicate logic, decidable theories.
Criteria for evaluation Regular exercise problems (written and/or software-based).
Methods See lecture.
Language English
Study material See lecture.
Changing subject? No
On-site course
Maximum number of participants 25
Assignment procedure Direct assignment