Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
Semantics and Truth (Bog, Paperback / softback, Engelsk)The book provides a historical (with an outline of the history of the concept of truth from antiquity to our time) and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021 (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mastering Calculus through Practice: A Study Guide with over 300 Solved Exercises (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Automata Theory and Formal Languages: Fundamental Notions, Theorems, and Techniques (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Bog, Paperback / softback, Engelsk)This primer on mathematics formalisation provides a rapid, hands-on introduction to proof... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Dynamics in Logic and Language: Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1–4, 2022, Revised Selected Papers (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Music, Mathematics and Language: The New Horizon of Computational Musicology Opened by Information Science (Bog, Hardback, Engelsk)This book presents a new approach to computational musicology in which music becomes a computational entity based on human cognition, allowing us to calculate music like numbers.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky (Bog, Paperback / softback, Engelsk)Agents in Healey’s Pragmatist Quantum Theory: A Comparison with Pitowsky’s Approach to Quantum Mechanics (Mauro Dorato)Chapter 11. Quantum Mechanics As a Theory of Observables and States and, Thereby, As a Theory of Probability (John Earman, Laura Ruetsche)Chapter 12.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Selected Topics in Probabilistic Safety Assessment: Methodology and Practice in Nuclear Power Plants (Bog, Paperback / softback, Engelsk)Probabilistic Safety Assessment (PSA) is a structured, comprehensive, and logical analysis method aimed at identifying and assessing risks in complex technological systems, such as the nuclear power plants.
Levering: Skaffevare (forvent 14 - 30 hverdage)
