Der er 3 underkategorier
for at udvide
kategorilisten.
Matematikkens fundament
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Fuzzy Logic of Quasi-Truth: An Algebraic Treatment (Bog, Hardback, Engelsk)This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. The book presents... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Objectivity, Realism, and Proof: FilMat Studies in the Philosophy of Mathematics (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift (Bog, Paperback / softback, Engelsk)This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Foundations of Applied Statistical Methods (Bog, Paperback / softback, Engelsk)This is a text in methods of applied statistics for researchers who design and conduct experiments, perform statistical inference, and write technical reports.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Bog, Hardback, Engelsk)This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics (Bog, Hardback, Engelsk)Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequent calculus, central in many areas of logic and computer science today.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Subjective Logic: A Formalism for Reasoning Under Uncertainty (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematische Logik (Bog, Paperback / softback, Tysk)Dieses Buch bietet eine Einführung in die verschiedenen Aspekte der mathematischen Logik, die jeder Mathematiker und Informatiker kennen sollte.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
God and Abstract Objects: The Coherence of Theism: Aseity (Bog, Hardback, Engelsk)This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematical Foundations of Time Series Analysis: A Concise Introduction (Bog, Hardback, Engelsk)This book provides a concise introduction to the mathematical foundations of time series analysis, with an emphasis on... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Directed Algebraic Topology and Concurrency (Bog, Paperback / softback, Engelsk)This monograph presents an application of concepts and methods from algebraic topology to models of concurrent processes in computer science and their... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Forging Connections between Computational Mathematics and Computational Geometry: Papers from the 3rd International Conference on Computational Mathematics and Computational Geometry (Bog, Paperback / softback, Engelsk)This volume presents original research contributed to the 3rd Annual International Conference on Computational Mathematics and Computational Geometry (CMCGS 2014), organized and administered by Global Science and Technology Forum (GSTF).
Levering: Skaffevare (forvent 14 - 30 hverdage)
