Studienhandbuch | Mathematics

Inhalt

[ 993SMAT19 ] Subject Mathematics

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
KV Probability Theory and Stochastic Processes
UE Mathematics 3
VL Mathematics 3
KV Numerical Analysis and Optimization
VL Algorithmic Combinatorics
UE Automated Reasoning
UE Computer Analysis
UE Computer Algebra
VL Computer Algebra
UE Discrete and experimental mathematics
VL Discrete and experimental mathematics
VL Formal Modelling
UE Functional Analysis
VL Functional Analysis
UE Manyvalued Logic
UE Inverse problems
UE Classical harmonic analysis
VL Classical harmonic analysis
UE Markov Chains
VL Markov Chains
UE Mathematical logic 1
VL Mathematical models in engineering
UE Numerical methods for partial differential equations
VL Numerical methods for partial differential equations
UE Optimization
VL Optimization
KV Programming project symbolic computation
VL Rewriting in Computer Science and Logic
VL Special Topics Functional analysis (1,5 ECTS)
VL Special Topics Functional analysis
VL Special Topics Numerical Analysis
VL Special Topics Optimization
VL Special Topics symbolic computation
VL Special Topics Probability Theory and Mathematical Statistics (1.5 ECTS)
VL Special Topics Probability Theory and Mathematical Statistics
VL Special topics Knowledge-based Mathematical Systems
UE Stochastic Processes
UE Stochastic Simulation
VL Stochastic Simulation
VL Knowledge and Data Based Modelling