Studienhandbuch | UE Computational Logic

Inhalt

Workload	Education level	Study areas	Responsible person	Hours per week	Coordinating university
1,5 ECTS	B2 - Bachelor's programme 2. year	Mathematics	Wolfgang Schreiner	1 hpw	Johannes Kepler University Linz

Detailed information
Original study plan	Bachelor's programme Technical Mathematics 2023W
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