Unsere Literatur zum Schlagwort Programmverifikation

Eine schlagwort­basierte Auswahl unserer Fachbücher

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 Selectors [...]

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), relations, functions Natural numbers (as special case…

Informatik Mathematik Mengenlehre Physik Programmverifikation Quantentheorie Reelle Zahlen Set Theory
 

Literatur: Programmverifikation / Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač