Studienhandbuch | Symbolisches Rechnen

Inhalt

Es ist eine neuere Version 2012W dieses Fachs/Moduls im Curriculum Doktoratsstudium Technische Wissenschaften 2014S vorhanden.

Workload	Form der Prüfung	Ausbildungslevel	Studienfachbereich	VerantwortlicheR	Anbietende Uni
9 ECTS	Kumulative Fachprüfung	R - Doktorat / PhD	Mathematik	Walter Zulehner	Johannes Kepler Universität Linz

Detailinformationen
Quellcurriculum	Doktoratsstudium Technische Wissenschaften 2009W

Untergeordnete Studienfächer, Module und Lehrveranstaltungen
Studienfach Lehrveranstaltungen für das DK Computational Mathematics
Studienfach Weitere Lehrveranstaltungen
UE Algebra
VL Algebra
VL Algorithmische Algebraische Geometrie
UE Algorithmische Kombinatorik
VL Algorithmische Kombinatorik
UE Analytische Kombinatorik
VL Analytische Kombinatorik
VL Berechenbarkeitstheorie
VL Computer-Analysis
KV Computeralgebra-Systeme
VL Einführung in paralleles und verteiltes Rechnen
VL Eliminationstheorie
VL Entscheidbare logische Theorien
VL Entscheidbarkeits- und Komplexitätsklassen
VL Entwurf und Analyse von Algorithmen
KV Formale Methoden in der Software-Entwicklung
VL Formale Semantik von Programmiersprachen
KV Funktionales Programmieren
VL Geometrisches Modellieren
UE Kommutative Algebra und Algebraische Geometrie
VL Kommutative Algebra und Algebraische Geometrie
KV Logisches Programmieren
UE Mathematische Logik 1
VL Mathematische Logik 1
VL Mathematische Logik 2
KV Praktische Softwaretechnologie
KV Programmieren in Mathematica
KV Programmierprojekt Symbolisches Rechnen
KV Projekt-Engineering
VL Rewriting in Computer Science und Logik
SE Seminar Symbolisches Rechnen
VL Spezialvorlesung Symbolisches Rechnen
VL Überblick: Symbolisches Rechnen
VL Computerunterstützte Logik
VL Thinking, Speaking, Writing
VL Vortragsreihe Symbolisches Rechnen