Literatur im Fachgebiet Informatik Mathematik

Eine schlagwort­basierte Auswahl unserer Fachbücher

Routensuche in zeitlich variablen Netzen (Dissertation)

Routensuche in zeitlich variablen Netzen

Varianten des A*-Verfahrens

Studien zur Wirtschaftsinformatik

Der Autor beschäftigt sich mit Routensuchalgorithmen, die eine optimale Route zwischen genau einem Startpunkt und genau einem Zielpunkt berechnen. Die Verfahren verwenden einen Restdistanzschätzer zur Beschleunigung der Suche und können zusätzlich auf dynamische Veränderungen der Kosten innerhalb des Graphenmodells…

Betriebswirtschaftslehre Dynamik Graphentheorie Informatik Mathematik Operations Research Straßenverkehr
Das Führerschaftsprinzip bei Inspektionsspielen (Dissertation)

Das Führerschaftsprinzip bei Inspektionsspielen

Forschungsergebnisse zur Informatik

Im Mittelpunkt der Arbeit steht die spieltheoretische Modellierung und Analyse des sog. Führerschaftsprinzips, d.h. von Situationen, bei denen eine Person oder Gruppe ihre Handlungen im vorhinein ankündigt.

Entgegen der Intuition, bei strategischen Entscheidungen möglichst wenige Informationen…

Angewandte Mathematik Datenverifikation Informatik Spieltheorie Strategien
Intuitionistic Set Theory Part II (Forschungsarbeit)

Intuitionistic Set Theory Part II

Forschungsergebnisse zur Informatik

In part II of his study, the author deals with the following problems:

Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable functions, Baire property Souslin space, projective sets Measurable…

Informatik Mathematik Mengenlehre Physik Programmverifikation Quantentheorie Set Theory
Intuitionistic Set Theory Part I (Forschungsarbeit)

Intuitionistic Set Theory Part I

Forschungsergebnisse zur Informatik

In part I of his study, the author deals with the following problems:

Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms of the Axiomatic Set Theory (by K. Kuratowski and A. Mostowski),…

Informatik Mathematik Mengenlehre Physik Programmverifikation Quantentheorie Reelle Zahlen Set Theory