» książki » Mathematics - Logic
topmenu
 |
Transition to Advanced Mathematics
ISBN: 9781032261003 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
293,81 |
 |
Introduction to Mathematical Logic
ISBN: 9789814343862 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order logic - their syntax, reasoning systems and semantics. It presents soundness and completeness results for Hilbert's and Gentzen's systems, along with simple decidability arguments.
An introduction to mathematical logic. Starting with the basics of set theory, induction and computability, it covers propositional and first-order lo...
|
cena:
293,86 |
 |
Complexity: Knots, Colourings and Counting
ISBN: 9780521457408 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of these notes is to link algorithmic problems arising in knot theory with statistical physics and classical combinatorics. Apart from the theory of computational complexity needed to deal with enumeration problems, introductions are given to several of the topics, such as combinatorial knot theory, randomized approximation models, percolation, and random cluster models.
The aim of these notes is to link algorithmic problems arising in knot theory with statistical physics and classical combinatorics. Apart from the the...
|
cena:
293,98 |
 |
Mathematical Logic and Computation
ISBN: 9781108478755 / Angielski / Twarda / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
293,98 |
 |
Functional and Harmonic Analysis
ISBN: 9783119142205 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
296,68 |
 |
Philosophy of Mathematics
ISBN: 9783110468304 / Angielski / Miękka / 474 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
297,24 |
 |
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
ISBN: 9783030510534 / Angielski / Miękka / 511 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
297,86 |
 |
Principles of Formal Quantitative Analysis
ISBN: 9783031974380 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems. After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was... This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in f... |
cena:
297,86 |
 |
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness: Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
ISBN: 9783031845949 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Paris, France, in September 2024. The 19 full papers and 4 short papers included in this book were carefully reviewed and selected from 52 submissions. They are organized under the following topical sections: Artificial reasoning and models; Moral reasoning; Artificial intelligence and cognition; Rationality and Dual Process; Reasoning and special needs; Education; Experimental procedures in cognition. * This book also contains one...
This book constitutes the proceedings of the Third International Conference on Human and Artificial Rationalities, HAR 2024, which took place in Pari...
|
cena:
297,86 |
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521168465 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
298,06 |
 |
Computability, Enumerability, Unsolvability
ISBN: 9780521557368 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science. The contributions in this book provide a picture of current ideas and methods in the ongoing investigations into the structure of the computable and noncomputable universe. A number of the articles contain introductory and background material that will make the volume an invaluable resource for mathematicians and computer scientists.
The fundamental ideas concerning computation and recursion naturally find their place at the interface between logic and theoretical computer science....
|
cena:
298,62 |
 |
Analysis and Logic
ISBN: 9780521648615 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics; many results are presented that have not been published before and open problems are formulated. Considerable effort has been made by the authors to make their articles accessible to mathematicians new to the area
This volume presents articles from four outstanding researchers who work at the cusp of analysis and logic. The emphasis is on active research topics;...
|
cena:
298,62 |
 |
Model Theory with Applications to Algebra and Analysis: Volume 1
ISBN: 9780521694841 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first of a two-volume set showcasing the current research in model theory and its connections with number theory, algebraic geometry, real analytic geometry and differential algebra. This volume begins with a series of expository essays and research papers around the subject matter of a Newton Institute Semester on Model Theory and Applications to Algebra and Analysis. The articles included showcase outstanding new research on topics such as model theory and conjectures around Mordell-Lang; arithmetic of differential equations, and Galois Theory of difference equations; model theory and...
The first of a two-volume set showcasing the current research in model theory and its connections with number theory, algebraic geometry, real analyti...
|
cena:
298,62 |
 |
Wittgenstein, Finitism, and the Foundations of Mathematics
ISBN: 9780198235163 / Angielski / Twarda / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This pioneering book demonstrates the crucial importance of Wittgenstein's philosophy of mathematics to his philosophy as a whole. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations.
This pioneering book demonstrates the crucial importance of Wittgenstein's philosophy of mathematics to his philosophy as a whole. Marion traces the d...
|
cena:
298,62 |
 |
Model Theory of Groups and Automorphism Groups
ISBN: 9780521589550 / Angielski / Miękka / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume surveys recent interactions between model theory and other branches of mathematics, notably group theory. Beginning with an introductory chapter describing relevant background material, the book contains contributions from many leading international figures in this area. Topics described include automorphism groups of algebraically closed fields, the model theory of pseudo-finite fields and applications to the subgroup structure of finite Chevalley groups. Model theory of modules, and aspects of model theory of various classes of groups, including free groups are also discussed....
This volume surveys recent interactions between model theory and other branches of mathematics, notably group theory. Beginning with an introductory c...
|
cena:
298,62 |
 |
Syllogistic Logic and Mathematical Proof
ISBN: 9780198876922 / Angielski / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
298,62 |
 |
Mathematical Puzzles: Revised Edition
ISBN: 9781032709536 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
298,71 |
 |
Delta: A Paradox Logic
ISBN: 9789810232436 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is about "delta", a paradox logic. In delta, a statement can be true yet false; it is an "imaginary" state, midway between being and non-being. Delta's imaginary value solves many logical dilemmas unsolvable in two-valued Boolean logic. Delta resolves these paradoxes -- Russell's, Cantor's, Betty's and Zeno's.
Delta has two parts: inner delta logic, or "Kleenean logic", which resolves the classic paradoxes of mathematical logic; and outer delta logic, which relates delta to Z mod 3, conjugate logics, cyclic distribution, and the voter' paradox. This book is about "delta", a paradox logic. In delta, a statement can be true yet false; it is an "imaginary" state, midway between being and non-bei...
|
cena:
298,76 |
 |
Reasoning about Theoretical Entities
ISBN: 9789812385673 / Angielski / Twarda / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. And, like all other philosophical myths, it rarely gets serious consideration. "Reasoning About Theoretical Entities" strives to give reductionism its day in court, as it were, by explicitly developing several versions of the reductionist project and assessing their merits within the framework of modern symbolic logic. Not since the days of Carnap's "Aufbau" has reductionism received such close attention (albeit in a necessarily restricted and regimented setting such as that...
Reductionism is one of those philosophical myths that are either enthusiastically embraced or wholeheartedly rejected. And, like all other philosophic...
|
cena:
298,76 |
 |
Gottlob Frege: Begriffsschrift, Eine Der Arithmetischen Nachgebildete Formelsprache Des Reinen Denkens
ISBN: 9783662450109 / Niemiecki / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
300,96 |
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
