Studienhandbuch | Mathematics

Inhalt

Workload	Mode of examination	Education level	Study areas	Responsible person	Coordinating university
	Structure	M1 - Master's programme 1. year	Mathematics	Sepp Hochreiter	Johannes Kepler University Linz

Detailed information
Original study plan	Master's programme Artificial Intelligence 2019W
Objectives	Specialization topics in mathematics.
Subject	The contents of this subject result from the contents of its courses.

Subordinated subjects, modules and lectures
VL Automated Reasoning
VL Computer Analysis
VL Manyvalued Logic
VL Mathematical logic 1
VL Inverse problems
VL Stochastic processes
UE Computer Algebra for Concrete Mathematics
VL Computer Algebra for Concrete Mathematics
VL Algortithmic Combinatorics
UE Automated Reasoning
VL Computability theory
UE Computational Geometry
VL Computational Geometry
UE Computer Analysis
UE Computer Algebra
VL Computer Algebra
VL Formal Modelling
VL Formal Semantics of Programming Languages
UE Functional Analysis
VL Functional Analysis
UE Manyvalued Logic
UE Fuzzy Systems
VL Fuzzy Systems
UE Inverse problems
UE Markov chains
VL Markov chains
UE Mathematical logic 1
UE Optimization
VL Optimization
KV Practical in Logic and Software Design
KV Programming project symbolic computation
VL Rewriting in Computer Science and Logic
VL Special Topics optimization
VL Special Topics symbolic computation
VL Special topcis probability theory and mathematical statistics
VL Special topics Knowledge-based Mathematical Systems
UE Stochastic processes
VL Knowledge and Data Based Modelling