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.
Logic and Its Applications: 11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025. The topics included are Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Science for Humans: Mind, Life, The Formal-&-Natural Sciences, and A New Concept of Nature (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Introduction to Incompleteness: From Godel's Theorems to Forcing and the Continuum Hypothesis (Bog, Hardback, Engelsk)Care is taken to emphasize the different layers of the mathematical argument – the layer within and the metalayer about an axiomatic system.Structurally, the book efficiently examines key results and arrives at some of the most interesting concepts as quickly as possible.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Institution-independent Model Theory (Bog, Hardback, Engelsk)A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024. The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Arithmetic and Algebraic Geometry: A Mathematical Tribute to Yuri Manin (Bog, Hardback, Engelsk)This book is a tribute to the memory of Yuri Ivanovich Manin, who passed away on January 7, 2023. Manin was one of the giants of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Mathematics Before and After Pythagoras: Exploring the Foundations and Evolution of Mathematical Thought (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness: Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings (Bog, Paperback / softback, Engelsk)This book constitutes the proceedings of the Third International... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Godel's Incompleteness Theorems: A Guided Tour Through Kurt Godel’s Historic Proof (Bog, Paperback / softback, Engelsk)For good reasons, however, hardly any work deals with Gödel's article in its original form: His complex lines of thought... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Advances in Brain Inspired Cognitive Systems: 14th International Conference, BICS 2024, Hefei, China, December 6–8, 2024, Proceedings, Part I (Bog, Paperback / softback, Engelsk)The two-volume set LNAI 15497 and LNAI 15498 constitutes the refereed proceedings of the 14th International Conference on Brain Inspired Cognitive Systems, BICS 2024, held in Hefei, China, during December 6–8, 2024.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
R-Calculus, VI: Finite Injury Priority Method (Bog, Hardback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Basic Real Analysis (Bog, Paperback / softback, Engelsk)This expanded second edition presents the fundamentals and touchstone results of real analysis in full rigor, but in a style that requires little prior familiarity with proofs or... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
