» książki » Mathematics - Logic
topmenu
 |
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:
322,77 zł |
 |
Mathematik Interaktiv Und Verständlich: Für Naturwissenschaftler, Ingenieure Und Mediziner
ISBN: 9783662655474 / Niemiecki / Miękka / 1012 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Buch deckt alle relevanten mathematischen Themen eines Grundstudiums der Natur- oder Ingenieurwissenschaften ab, von der Analysis (inklusive einer ausführlichen Behandlung gewöhnlicher Differentialgleichungen mitsamt Modellierungsaspekten) und der linearen Algebra bis hin zu den wichtigsten Lösungsmethoden für partielle Differentialgleichungen.Das selbstständige Erlernen der Inhalte wird durch zahlreiche anwendungs- und praxisrelevante Beispiele motiviert und durch interaktive Aufgaben, verlinkte Videos und Repetitionsfragen gefördert.Außerdem werden die Studierenden durch...
Dieses Buch deckt alle relevanten mathematischen Themen eines Grundstudiums der Natur- oder Ingenieurwissenschaften ab, von der Analysis (inklusive ei...
|
cena:
207,36 zł |
 |
Models of Peano Arithmetic
ISBN: 9780198532132 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
814,99 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:
121,89 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:
399,92 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:
120,52 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:
242,07 zł |
 |
The Sunday Times Teasers Book 2: Challenge Yourself with 100 Lateral-Thinking Puzzles
ISBN: 9780008617967 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
76,22 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,20 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,10 zł |
 |
Matematica: logica, insiemi, funzioni e calcolo letterale
ISBN: 9798215787984 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
30,08 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:
928,04 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:
302,60 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:
484,18 zł |
| |
Matematica: equazioni e disequazioni
ISBN: 9798215530740 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
25,78 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:
403,47 zł |
| |
Matematica: geometria piana e solida
ISBN: 9798215203125 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
25,78 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:
262,25 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:
726,29 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:
645,58 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
