» książki » Mathematics - Logic
topmenu
 |
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:
230,81 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:
392,99 zł |
 |
Matematica: logica, insiemi, funzioni e calcolo letterale
ISBN: 9798215787984 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
34,20 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:
899,06 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:
293,15 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:
469,06 zł |
| |
Matematica: equazioni e disequazioni
ISBN: 9798215530740 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
29,31 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:
390,87 zł |
| |
Matematica: geometria piana e solida
ISBN: 9798215203125 / Włoski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
29,31 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:
254,06 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:
664,51 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:
586,33 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:
664,51 zł |
 |
Essays on the Extended Evolutionary Synthesis: Formalizations and Expansions
ISBN: 9783031298783 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the ‘punctuated equilibrium' of Eldrege and Gould, through Lewontin's ‘triple helix' and the various visions and revisions of the Extended Evolutionary Synthesis (EES) of Laland and others, both data and theory have demanded an opening-up of the 1950's Evolutionary Synthesis that so firmly wedded evolutionary theory to the mathematics of gene frequency analysis. It can, however, be argued that a single deep and comprehensive mathematical theory may simply not be possible for the almost infinite varieties of evolutionary process active at and across the full range of scales of...
From the ‘punctuated equilibrium' of Eldrege and Gould, through Lewontin's ‘triple helix' and the various visions and revisions of the Extended Ev...
|
cena:
195,42 zł |
 |
Discrete Mathematics: A Concise Introduction
ISBN: 9783031304873 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has extensively class-tested early conceptions of the book over the years and supplements mathematical arguments with informal discussions to aid readers in understanding the presented topics. “Safe” – that is, paradox-free – informal set theory is introduced following on the heels of Russell’s Paradox as well as the topics of finite, countable, and uncountable sets with an exposition and use of Cantor’s diagonalisation technique....
This book is ideal for a first or second year discrete mathematics course for mathematics, engineering, and computer science majors. The author has ...
|
cena:
156,32 zł |
 |
Algorithms: Advanced Data Structures for Algorithms
ISBN: 9781955786485 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
104,52 zł |
 |
Algorithmen: Praktischer Leitfaden zum Erlernen von Algorithmen fur Anfanger
ISBN: 9781955786560 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
104,52 zł |
 |
Algorithmen: Entwurf von Algorithmen zum Loesen allgemeiner Probleme
ISBN: 9781955786577 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
104,52 zł |
 |
Algoritmos: Guia practica para aprender algoritmos para principiantes
ISBN: 9781955786492 / Hiszpański Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
104,52 zł |
 |
Algorithms: Design Algorithms to Solve Common Problems
ISBN: 9781955786478 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
104,52 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
