Studienhandbuch | VL Formal Modelling

Inhalt

Workload	Education level	Study areas	Responsible person	Hours per week	Coordinating university
3 ECTS	B3 - Bachelor's programme 3. year	Mathematics	Wolfgang Windsteiger	2 hpw	Johannes Kepler University Linz

Detailed information

Original study plan

Bachelor's programme Technical Mathematics 2025W

Learning Outcomes

Competences
Students can model problems with formal symbolic objects. Algebra and logic are understood as formal languages.

Skills	Knowledge
Students are able to logically model problems and calculations. (K3) Students are able to model problems in geometry and discrete mathematics. (K3) Students are able to model problems for sequences and symbolic sums. (K3)	Students master the language of logic and algebra to model mathematical problems. (K3)

Criteria for evaluation

Project work during the semester.

Methods

Lecture with application-oriented exercises.

Language

English

Changing subject?

On-site course
Maximum number of participants	-
Assignment procedure	Direct assignment