Studienhandbuch | Mathematics

Inhalt

^(*) Leider ist diese Information in Deutsch nicht verfügbar.

Workload	Form der Prüfung	Ausbildungslevel	Studienfachbereich	VerantwortlicheR	Anbietende Uni
	Gliederung	M1 - Master 1. Jahr	Mathematik	Sepp Hochreiter	Johannes Kepler Universität Linz

Detailinformationen
Quellcurriculum	Masterstudium Artificial Intelligence 2019W
Ziele	^(*)Specialization topics in mathematics.
Lehrinhalte	^(*)The contents of this subject result from the contents of its courses.

Untergeordnete Studienfächer, Module und Lehrveranstaltungen
VL ^(*)Automated Reasoning
VL ^(*)Computer Analysis
VL ^(*)Manyvalued Logic
VL ^(*)Mathematical logic 1
VL Inverse Probleme
VL Stochastische Prozesse
UE Computer Algebra for Concrete Mathematics
VL Computer Algebra for Concrete Mathematics
VL Algorithmische Kombinatorik
UE Automated Reasoning
VL Computability theory
UE Computational Geometry
VL Computational Geometry
UE Computer Analysis
UE Computer Algebra
VL Computer Algebra
VL Formales Modellieren
VL Formal Semantics of Programming Languages
UE Funktionalanalysis
VL Funktionalanalysis
UE Manyvalued Logic
UE Fuzzy Systems
VL Fuzzy Systems
UE Inverse Probleme
UE Markov-Ketten
VL Markov-Ketten
UE Mathematical logic 1
UE Optimierung
VL Optimierung
KV Practical in Logic and Software Design
KV Programming project symbolic computation
VL Rewriting in Computer Science and Logic
VL Spezialvorlesung Optimierung
VL Special Topics symbolic computation
VL Spezialvorlesung Wahrscheinlichkeitstheorie und Mathematische Statistik
VL Spezialvorlesung Wissensbasierte mathematische Systeme
UE Stochastische Prozesse
VL Wissens- und Datenbasiertes Modellieren