Katalog der Deutschen Nationalbibliothek

Archive for mathematical logic

Vol.65.2026,No.1

Archive for mathematical logic

Vol.65.2026,No.2

Deutsche Aufsätze 1964–1974

Logik im Lichte linguistischer, kommunikativer und mathematischer Aspekte : Ein sehr kleines Einführungsheftchen für Interessierte aus den Bereichen Philosophie, Linguistik, Kommunikationstheorien und Mathematik, verfasst von einem Philosophen.

Archive for mathematical logic

Vol.64.2025,No.1/2

Archive for mathematical logic

Vol.64.2025,No.3/4

Archive for mathematical logic

Vol.64.2025,No.5/6

Archive for mathematical logic

Vol.64.2025,No.7/8

Die sprachbasiert-probabilistische Funktionsweise generativer KI und die formale Logik als Fundament der Mathematik – Ein Widerspruch?

Diskrete Mathematik für die Informatik

Logik : Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven

Logik : Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven

Logik : Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven

Logik : Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven

Logik für die Informatik : Eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie

Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification

Archive for mathematical logic

Vol.63.2024,No.1/2

Archive for mathematical logic

Vol.63.2024,No.3/4

Archive for mathematical logic

Vol.63.2024,No.5/6

Archive for mathematical logic

Vol.63.2024,No.7/8

Combining Symbolic and Sub-symbolic Methods for explaining Graph Neural Networks

Counting and enumerating in first-order team logics

Die Betriebswirtschaftslehre in der zweiten industriellen Evolution. : Festgabe für Theodor Beste zum 75. Geburtstag.

Einführung in die formale Logik

Formale Logik : eine philosophische Einführung

Formale Logik für Fortgeschrittene

Hegel als Vordenker der "Neuen Logik". Wissenschaftsgeschichtliche Entwicklung

Hegel als Vordenker der "Neuen Logik". Wissenschaftsgeschichtliche Entwicklung

Kontextualisierung logischer Sprache im Beweisen

Logik: Grundlagen, das P-vs-NP-Problem und informationstheoretische Perspektiven

Logistik

Mathematik für Informatik und Data Science : Eine fundierte Einführung in Logik, Analysis, Lineare Algebra und Stochastik für Künstliche Intelligenz und Maschinelles Lernen

Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung

Mathematische Grundlagen der Informatik : Mathematisches Denken und Beweisen - Eine Einführung

Über die Logik im außerpsychologischen Willen

Von der Schönheit der Kunst der Logik

Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus

Abhandlung über die Prinzipien der Logik : Eine Verteidigung des logischen Monismus

Archive for mathematical logic

Vol.62.2023,No.1/2

Archive for mathematical logic

Vol.62.2023,No.3/4

Archive for mathematical logic

Vol.62.2023,No.5/6

Archive for mathematical logic

Vol.62.2023,No.7/8

Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen

Constraint Network Satisfaction for Finite Relation Algebras

Der Garten der Unendlichkeit : Ein Projekt zur Erforschung der Unendlichkeit in der Sekundarstufe I

Descriptive complexity of learning

Die Logik der Schulmathematik : Neue Grunderkenntnisse und neue Denkhürden

Eine Einführung in die Mathematik an Beispielen aus der Informatik : Logik, Zahlen, Graphen, Analysis und Lineare Algebra

Essay on the principles of logic : a defense of logical monism

Essay on the Principles of Logic : A Defense of Logical Monism

Essay on the Principles of Logic : A Defense of Logical Monism

Gemeinsamkeiten der "Neuen Logik" mit dem Mehrweltenkalkül der Modallogik

Grundbegriffe der Mathematik : Logik - Mengen - Relationen und Funktionen - Zahlbegriff

Grundkurs der Mathematik : Ein Lehrgang für Oberstufenklassen, für Schulen des zweiten Bildungsweges und für Studenten und Lehrer - Reprint mit Vorwort

Kleine Formelsammlung Mathematik

Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

Projection in a probabilistic epistemic logic and its application to belief-based program verification

Quantenlogik : eine Einführung für Ingenieure und Informatiker

Quantenlogik : Eine Einführung für Ingenieure und Informatiker

Topics in logical anti-exceptionalism and paraconsistent logics