A WATERSTONES BEST BOOK OF 2023A NEW SCIENTIST BEST BOOK OF 2023WINNER OF THE LA TIMES SCIENCE & TECHNOLOGY 2023 BOOK PRIZE'A generous tour of mathematics for anyone whose instincts tend less towards "e;Just tell me the answer"e; and more towards "e;Wait, but why?
Calculus for Engineering Students: Fundamentals, Real Problems, and Computers insists that mathematics cannot be separated from chemistry, mechanics, electricity, electronics, automation, and other disciplines.
Optimization Theory Based on Neutrosophic and Plithogenic Sets presents the state-of-the-art research on neutrosophic and plithogenic theories and their applications in various optimization fields.
Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results.
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course.
Volumes 21 and 22 of Advances in Chemical Engineering contain ten prototypical paradigms which integrate ideas and methodologies from artificial intelligence with those from operations research, estimation andcontrol theory, and statistics.
Lowenheim's theorem reflects a critical point in the history of mathematical logic, for it marks the birth of model theory--that is, the part of logic that concerns the relationship between formal theories and their models.
»Philosophie der Mathematik« wird in diesem Buch verstanden als ein Bemühen um die Klärung solcher Fragen, die die Mathematik selber aufwirft, aber mit ihren eigenen Methoden nicht beantworten kann.
The goal of this monograph is to give an accessible introduction to nonstandard methods and their applications, with an emphasis on combinatorics and Ramsey theory.
"e;Tell me,"e; Wittgenstein once asked a friend, "e;why do people always say, it was natural for man to assume that the sun went round the earth rather than that the earth was rotating?
This book presents eleven peer-reviewed papers from the 3rd International Conference on Applications of Mathematics and Informatics in Natural Sciences and Engineering (AMINSE2017) held in Tbilisi, Georgia in December 2017.
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.
This book presents a philosophy of science, based on panenmentalism: an original modal metaphysics, which is realist about individual pure (non-actual) possibilities and rejects the notion of possible worlds.
This book presents the essential role of mathematical modelling and computational methods in representing physical phenomena mathematically, focusing on the significance of the I-function.
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022.
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.
This collection documents the work of the Hyperuniverse Project which is a new approach to set-theoretic truth based on justifiable principles and which leads to the resolution of many questions independent from ZFC.
This book offers an introduction to artificial adaptive systems and a general model of the relationships between the data and algorithms used to analyze them.
This book constitutes the thoroughly refereedpost-conference proceedings of the 22nd International Workshop onAlgebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia,Romania.
This survey of computability theory offers the techniques and tools that computer scientists (as well as mathematicians and philosophers studying the mathematical foundations of computing) need to mathematically analyze computational processes and investigate the theoretical limitations of computing.
This textbook covers key topics of Elementary Calculus through selected exercises, in a sequence that facilitates development of problem-solving abilities and techniques.
