Wissenschaftliche Literatur Mengenlehre
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.
Günther Fuchs
Ein geistiges Rüstzeug für Mathematik
Auch ehemals sehr gute SchülerInnen verstehen nach einer Reifeprüfung (Matura, Abitur) oft nicht, worüber an weiterführenden Bildungseinrichtungen in Mathematik geredet wird. Offensichtlich besteht eine Lücke zwischen dem durchschnittlichen Wissensstand eines Maturanten und den Voraussetzungen für Mathematik an Universitäten (Hochschulen,...). Vermutlich konnte diese schmerzhafte Lücke auch durch die pädagogische Modeströmung der letzten Jahre, nämlich der Forderung nach…
(Erweiterte) MengenlehreAlgorithmische SprachmittelBeweisDefinierenFormelnGeometrieGrenzwertInduktionsbeweisInduktive DefinitionenModellierenProblemlösenSchlussregelnSprache der MathematikStudierfähigkeitVisualisierenConrad Kuck
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 [...]InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryConrad Kuck
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 of the irrationals), finite and infinite categories Generalized union, intersection and Cartesian procuct…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet TheoryJörn Mordau
Die Integration formaler Methoden zur Spezifikation von Informationssystemen
Studien zur Datenbankforschung
Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel angesehen. Das Besondere sind allerdings nicht die formalen Methoden an sich, sondern ihr spezieller…
dynamische Integritätsbedingungenformale MethodeInformatikInformationssystemePrädikatenlogikSpezifikation