» książki » Mathematics - Logic
topmenu
 |
Top-Down Causation and Emergence
ISBN: 9783030719012 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation. The chapters combine to form a unique, interdisciplinary perspective, drawing upon George Ellis's extensive research and novel perspectives on topics including downwards causation, weak and strong emergence, mental causation, biological relativity, effective field theory and levels in nature. The collection also serves as a Festschrift in honour of George Ellis' 80th birthday. The extensive and interdisciplinary scope of this book makes it...
This book presents the latest research, conducted by leading philosophers and scientists from various fields, on the topic of top-down causation....
|
cena:
540,99 zł |
 |
Undecidability, Uncomputability, and Unpredictability
ISBN: 9783030703561 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principle understand how to mathematically prove everything that was true. They could discern what math corresponds to physical laws, and use those laws to predict anything that happens before it happens. That time has passed. Goedel's undecidability results (the incompleteness theorems), Turing's proof of non-computable values, the formulation of quantum theory, chaos, and other developments over the past century have shown that there are rigorous...
For a brief time in history, it was possible to imagine that a sufficiently advanced intellect could, given sufficient time and resources, in principl...
|
cena:
309,12 zł |
 |
Models of Peano Arithmetic
ISBN: 9780198532132 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
834,14 zł |
 |
The Baseball Mysteries: Challenging Puzzles for Logical Detectives
ISBN: 9781032365053 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts. The puzzles offer a unique and scintillating connection between abstract logic and gritty reality.
This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are so...
|
cena:
125,15 zł |
 |
The Baseball Mysteries: Challenging Puzzles for Logical Detectives
ISBN: 9781032365480 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts. The puzzles offer a unique and scintillating connection between abstract logic and gritty reality.
This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are so...
|
cena:
401,65 zł |
 |
BCK Algebras versus m-BCK Algebras. Foundations
ISBN: 9781848904163 / Angielski / Miękka / 694 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
136,00 zł |
 |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
ISBN: 9783030878849 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book combines theoretical teaching and practical exercises; the latter is realised in Isabelle/HOL, a modern theorem prover, and PAT, an industry-scale model checker. I also give entry-level tutorials on the two software to help the reader get started. By the end of the book, the reader should be proficient in both software. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; automata theory, formal...
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. The book...
|
cena:
231,83 zł |
 |
A Transition to Proof: An Introduction to Advanced Mathematics
ISBN: 9781032475721 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fundamental tool of theoretical mathematics is mathematical proof. Any claim or justification a mathematician makes must be proven. This book is designed for a reader who wants to learn what exactly a mathematical proof is, how they are constructed, and how to go about writing one.
The fundamental tool of theoretical mathematics is mathematical proof. Any claim or justification a mathematician makes must be proven. This book is d...
|
cena:
229,49 zł |
 |
Mathematical Logic: An Introduction
ISBN: 9783110782011 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski’s definition of truth and the computability concept. It also provides coherent proofs of Godel’s...
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of pr...
|
cena:
388,51 zł |
 |
Matematica: logica, insiemi, funzioni e calcolo letterale
ISBN: 9798215787984 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
33,95 zł |
 |
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics 2021
ISBN: 9783030773502 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics, 2021,the third volume of nine from the Conference brings together contributions to this important area of research and engineering. The collection presents early findings and case studies on fundamental and applied aspects of Model Validation and Uncertainty Quantification, including papers on:Inverse Problems and Uncertainty QuantificationControlling UncertaintyValidation of Models for Operating EnvironmentsModel Validation & Uncertainty...
Model Validation and Uncertainty Quantification, Volume 3: Proceedings of the 39th IMAC, A Conference and Exposition on Structural Dynamics, 2021,t...
|
cena:
888,80 zł |
 |
Concrete Abstractions: Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
ISBN: 9783031249334 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them amenable to a fully automatic analysis by computer software.The presented domains are typically investigated in discrete mathematics, logic, algebra, and computer science; they are modeled in a formal language based on first-order logic which is sufficiently rich to express the core entities in whose correctness we are interested: mathematical theorems and algorithmic specifications. This formal language is the language of RISCAL, a...
This book demonstrates how to formally model various mathematical domains (including algorithms operating in these domains) in a way that makes them a...
|
cena:
289,80 zł |
 |
The Priority of Propositions. A Pragmatist Philosophy of Logic
ISBN: 9783031252280 / Angielski / Twarda / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a defence of the Fregean take on logic. The author argues that Frege´s projects, in logic and philosophy of language, are essentially connected and that the formalist shift produced by the work of Peano, Boole and Schroeder and continued by Hilbert and Tarski is completely alien to Frege's approach in theBegriffsschrift. A central thesis of the book is that judgeable contents, i.e. propositions, are the primary bearers of logical properties, which makes logic embedded in our conceptual system. This approach allows coherent and correct definitions of logical constants,...
This monograph is a defence of the Fregean take on logic. The author argues that Frege´s projects, in logic and philosophy of language, are essentia...
|
cena:
463,70 zł |
| |
Matematica: equazioni e disequazioni
ISBN: 9798215530740 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
29,10 zł |
 |
On Hilbert's Sixth Problem
ISBN: 9783030838393 / Angielski / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigation stresses that classical mechanics in its Lagrangian formulation is the formal backbone of theoretical physics. The authors start from a presentation of the analytico–canonical formalism for classical mechanics, and its applications in electromagnetism, Schrödinger's quantum mechanics, and field theories such as general relativity and gauge field theories, up to the Higgs mechanism.The analysis uses the main criterion used by physicists...
This book explores the premise that a physical theory is an interpretation of the analytico–canonical formalism. Throughout the text, the investigat...
|
cena:
386,41 zł |
| |
Matematica: geometria piana e solida
ISBN: 9798215203125 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
29,10 zł |
 |
A Gentle Introduction to Group Theory
ISBN: 9789819901463 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with the background needed to pursue more advanced courses in algebra and to provide a rich source of examples and exercises. Studying group theory began in the late eighteenth century and is still gaining importance due to its applications in physics, chemistry, geometry, and many fields in mathematics.The text is broadly divided into three parts. The first part establishes the prerequisite knowledge required to study group theory. This includes...
The book is intended to serve as an introductory course in group theory geared towards second-year university students. It aims to provide them with t...
|
cena:
251,16 zł |
 |
QSPR/QSAR Analysis Using SMILES and Quasi-SMILES
ISBN: 9783031284007 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry system (SMILES) to represent the molecular structure. In contrast to traditional SMILES, quasi-SMILES is a sequence of special symbols-codes that reflect molecular features and codes of experimental conditions. SMILES and quasi-SMILES serve as a basis to develop QSPR/QSAR as well Nano-QSPR/QSAR via the Monte Carlo calculation that provides the so-called optimal descriptors for QSPR/QSAR models. The book presents a reliable technology for...
This contributed volume overviews recently presented approaches for carrying out QSPR/QSAR analysis by using a simplifying molecular input-line entry ...
|
cena:
656,93 zł |
 |
Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets
ISBN: 9789819905683 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM). The main purpose of MCDM is the construction of systematized strategies for the "optimisation" of feasible options, as well as the justification of why some alternatives can be declared "optimal". However, at time, we must make decisions in an uncertain environment and such inconvenience gives rise to a much more elaborate scenario. This book highlights models where this lack of certainty can be flexibly fitted in and goes on to explore valuable strategies for making decisions under a...
This monograph discusses the theoretical and practical development of multicriteria decision making (MCDM). The main purpose of MCDM is the constructi...
|
cena:
579,64 zł |
 |
Diagrams and Gestures: Mathematics, Philosophy, and Linguistics
ISBN: 9783031291104 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Drawing a line, and then another, and another. Go back from the lines to the movements they capture and see gestures in them: not spatial displacements, but modes of knowledge that pass through the exercise of the body. Discovering something new in a gesture: the line that contracts into a point or the point that expands into a zone, perhaps sinking into a hole. Thus experiencing a diagram: a becoming other inscribed in the novelty of the gesture and in the changes of the forms it shapes. This and much more is discussed in the essays gathered inDiagrams and Gestures. Resulting from...
Drawing a line, and then another, and another. Go back from the lines to the movements they capture and see gestures in them: not spatial displacement...
|
cena:
656,93 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
