Personen zum Sachgebiet Mathematische Logik

Assoc.-Prof. Dipl.-Ing. Dr. Erich Christian Teppan Östat-Sachgebiete: -- Human-Computer Interaction -- Artificial Intelligence -- Informatik -- Mathematische Logik --
Freie-Sachgebiete: -- Data & Knowledge Engineering -- Wissensdarstellung, -verarbeitung und -management, Expertensysteme --
Priv.-Doz. DDipl.-Ing. Dr. Patrick Rodler BBakk. Östat-Sachgebiete: -- Mathematische Logik -- Artificial Intelligence -- Technische Mathematik -- Machine Learning -- Knowledge Engineering --
Freie-Sachgebiete: -- Debugging von Wissensbasen -- Heuristische Suche -- Bayessche Netze -- Constraint Satisfaction Problems -- Modellbasierte Diagnose -- Sequentielle Diagnose --
Ass.-Prof i.R. Dr. Ernst Kotzmann Östat-Sachgebiete: -- Mathematische Logik --
Freie-Sachgebiete: -- Geschichte der Mathematik (1926) -- Philosophie der Mathematik (-und begrenzt auch der Naturwissenschaften) -- Technikphilosophie (insb. Maschinentheorie) -- Technologische Zivilisation --
Dipl.Ing. Melanie Frühstück Bakk. BSc. Östat-Sachgebiete: -- Artificial Intelligence -- Praktische Informatik -- Mathematische Logik -- Formale Sprachen --