Der er 3 underkategorier
Matematisk logik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Bemærk: Kan ikke leveres før jul.
An Invitation to Mathematical Logic (Bog, Hardback, Engelsk)The material should be accessible to first year graduate students or advanced undergraduates in mathematics, graduate students in philosophy with a solid math background, or students in computer science who want a mathematical introduction to logic.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Mathematical Representation of Physical Reality (Bog, Paperback / softback, Engelsk)?This book deals with the rise of mathematics in physical sciences, beginning with Galileo and Newton and extending to the present day.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker (Bog, Paperback / softback, Engelsk)This book demonstrates how to formally model various mathematical domains (including... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
The Priority of Propositions. A Pragmatist Philosophy of Logic (Bog, Paperback / softback, Engelsk)This approach allows coherent and correct definitions of logical constants, logical consequence, and truth and connects their use to the practices of rational agents in science and everyday life.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics (Bog, Hardback, Engelsk)Resulting from trans-disciplinary work between mathematicians, philosophers, linguists and semioticians, the volume delivers an up-to-date account of the most valuable research on the connections between gesture and diagram.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Analysis of the Navier-Stokes Problem: Solution of a Millennium Problem (Bog, Hardback, Engelsk)This book revises and expands upon the prior edition, The Navier-Stokes Problem. By proving the NSP paradox, this book provides a solution to the millennium problem concerning the Navier-Stokes Equations and shows that they are physically and mathematically contradictive.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023 (Bog, Hardback, Engelsk)Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics, 2023, the third volume of ten from the Conference brings together contributions to this important area of research and engineering.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Completely Regular Semigroup Varieties: A Comprehensive Study with Modern Insights (Bog, Hardback, Engelsk)Since any in-depth study of the lattice of varieties requires an understanding of free completely regular semigroups, the book begins by describing the free object on countably infinite sets and the properties of the lattice of fully invariant congruences on the free object.
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
Foundations of Software Science and Computation Structures: 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Procee (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, Paperback / softback, 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.
Semantic Intelligence: Select Proceedings of ISIC 2022 (Bog, Paperback / softback, Engelsk)Levering: Skaffevare (forvent 14 - 30 hverdage) -
Bemærk: Kan ikke leveres før jul.
R-Calculus, IV: Propositional Logic (Bog, Paperback / softback, Engelsk)This fourth volume of the book series combines propositional logic and R-calculus for a new point of view to consider belief revision. It gives the R-calculi for... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage)
