![]() |
Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington's Principle
ISBN: 9789811399480 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
![]() |
The Art of Logic: How to Make Sense in a World that Doesn't
ISBN: 9781788160391 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. For thousands of years, mathematicians have used the timeless art of logic to see the world more clearly. In The Art of Logic, Royal Society Science Book Prize nominee Eugenia Cheng shows how anyone can think like a mathematician - and see, argue and think better. Learn how to simplify complex decisions without over-simplifying them. Discover the power of analogies and the dangers of false equivalences. Find out how people construct misleading arguments, and how we can argue back. Eugenia Cheng teaches us how to find clarity without losing nuance, taking a careful scalpel to the...
For thousands of years, mathematicians have used the timeless art of logic to see the world more clearly. In The Art of Logic, Royal Society Science B...
|
cena:
60,34 |
![]() |
Logic, Sets, and Numbers: An Introduction to Abstract Mathematics
ISBN: 9781973779360 / Angielski / Miękka / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
44,68 |
![]() |
Combinatorial Set Theory of C*-Algebras
ISBN: 9783030270919 / Angielski / Twarda / 517 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
483,04 |
![]() |
Induction, Bounding, Weak Combinatorial Principles, and the Homogeneous Model Theorem
ISBN: 9781470426576 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory $T$ is the type spectrum of some homogeneous model of $T$. Their result can be stated as a principle of second order arithmetic, which is called the Homogeneous Model Theorem (HMT), and analyzed from the points of view of computability theory and reverse mathematics. Previous computability theoretic results by Lange suggested a close connection between HMT and the Atomic Model Theorem (AMT), which states that every complete atomic theory has an atomic model. The...
Goncharov and Peretyat'kin independently gave necessary and sufficient conditions for when a set of types of a complete theory $T$ is the type spectru...
|
cena:
312,18 |
![]() |
100 Challenging Sudoku Puzzles for a Sharp Mind: 125 Pages Jam-Packed with Puzzles Includes Solutions Perfect Puzzle Book for Seniors, Adults, early D
ISBN: 9781077210363 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
31,45 |
![]() |
Arabic Logic from Al-Fārābī To Averroes: A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
ISBN: 9783030274658 / Angielski / Miękka / 373 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
362,27 |
![]() |
Combinatorics on Words: 12th International Conference, Words 2019, Loughborough, Uk, September 9-13, 2019, Proceedings
ISBN: 9783030287955 / Angielski / Miękka / 327 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Modèles scientifiques et objets théoriques: Essai d'épistémologie modale
ISBN: 9781848903128 / Francuski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
83,97 |
![]() |
Journal of Applied Logics - The IfCoLog Journal of Logics and their Applications: Volume 6, Issue 4, June 2019: Special Issue: Neural-Symbolic Learning and Reasoning (NeSy'18)
ISBN: 9781848903067 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
75,57 |
![]() |
Cellular Automata and Complexity
ISBN: 9780367091385 / Angielski / Twarda / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram made the radical proposal that one should instead build models that are based directly on simple computer programs. Wolfram made a detailed study of a class of such models known as cellular automata, and discovered a remarkable fact: that even when the underlying rules are very simple, the behavior they produce can be highly complex, and can mimic many features of what we see in nature. And based on this result, Wolfram began a program of research...
Are mathematical equations the best way to model nature? For many years it had been assumed that they were. But in the early 1980s, Stephen Wolfram ma...
|
cena:
756,05 |
![]() |
10x10 Fillomino Logic Puzzles Volume 1: 180 Medium to Hard Brain Teaser Puzzles for Adults and Kids
ISBN: 9781086214239 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
43,26 |
![]() |
Formal Proofs in Maths: Book 1 First Order Algebra
ISBN: 9781514634448 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
137,76 |
![]() |
Principles and Practice of Constraint Programming: 25th International Conference, Cp 2019, Stamford, Ct, Usa, September 30 - October 4, 2019, Proceedi
ISBN: 9783030300470 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
The Game of Logic
ISBN: 9781507506943 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
55,06 |
![]() |
Rules and Reasoning: Third International Joint Conference, Ruleml+rr 2019, Bolzano, Italy, September 16-19, 2019, Proceedings
ISBN: 9783030310943 / Angielski / Miękka / 207 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Logic, Rationality, and Interaction: 7th International Workshop, Lori 2019, Chongqing, China, October 18-21, 2019, Proceedings
ISBN: 9783662602911 / Angielski / Miękka / 441 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
![]() |
Finite Automata
ISBN: 9780367394998 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
341,40 |
![]() |
Duality in Optimization and Variational Inequalities
ISBN: 9780367396152 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
331,64 |
![]() |
Fuzzy Automata and Languages: Theory and Applications
ISBN: 9780367396275 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
331,64 |