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.
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.
A.P. Morse’s Set Theory and Analysis (Bog, Hardback, Engelsk)Because Morse provided very little in the way of explanation in his written works, the editor’s commentary serves to outline Morse’s goals, give informal explanations of Morse’s formal language, and compare Morse’s often unique approaches to more traditional approaches.
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.
Dialogues Between Physics and Mathematics: C. N. Yang at 100 (Bog, Hardback, Engelsk)This emphasizes the Dialogue Between Physics and Mathematics that has been a central theme of Professor Yang’s contributions to contemporary science.Fittingly, the contributions to this volume range from experimental physics to pure mathematics, via mathematical physics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Understanding Behaviour of Distributed Systems Using mCRL2 (Bog, Hardback, Engelsk)This book helps readers easily learn basic model checking by presenting examples, exercises and case studies. For example, biological cells,... 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.
Handbook of Computability and Complexity in Analysis (Bog, Paperback / softback, Engelsk)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)
