» książki » Mathematics - Logic
 |
Notes on Logic and Set Theory
ISBN: 9780521336925 / Angielski / Miękka / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitable for all introductory mathematics undergraduates, Notes on Logic and Set Theory covers the basic concepts of logic: first-order logic, consistency, and the completeness theorem, before introducing the reader to the fundamentals of axiomatic set theory. Successive chapters examine the recursive functions, the axiom of choice, ordinal and cardinal arithmetic, and the incompleteness theorems. Dr. Johnstone has included numerous exercises designed...
A succinct introduction to mathematical logic and set theory, which together form the foundations for the rigorous development of mathematics. Suitabl...
|
cena:
219,73 |
 |
Set Theory, Logic and Their Limitations
ISBN: 9780521479981 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Godel (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set...
In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel ...
|
cena:
219,73 |
 |
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
ISBN: 9781108711821 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in science, engineering, and beyond. Each chapter discusses a real-world application using category-theoretic tools, all of which are introduced in an accessible way with many examples and exercises.
Category theory reveals commonalities between structures of all sorts. This self-contained tour of applied category theory shows its potential in scie...
|
cena:
219,73 |
 |
Axiomatic Set Theory: An Introduction
ISBN: 9783032100399 / Angielski / 04-04-2026 Książka dostępna od: 04-04-2026 |
|
Termin ukazania się książki: 04-04-2026
Książkę można już zamówić z rabatem 5% |
|
209,06 |
 |
Godel's Theorem in Focus
ISBN: 9780415045759 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the significance of Godel's work in the light of Wittgenstein's criticisms.
A layman's guide to the mechanics of Godel's proof together with a lucid discussion of the issues which it raises. Includes an essay discussing the si...
|
cena:
220,35 |
 |
Logic in Wonderland: An Introduction to Logic Through Reading Alice's Adventures in Wonderland - Teacher's Guidebook
ISBN: 9789813209817 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technical. Our approach motivates the students through reading the classic novel Alice's Adventures in Wonderland, written by Lewis Caroll who was not only one of the best storytellers but also a logician.
Ordinary textbooks for such a course are purely mathematical in their nature, and students usually find the course difficult, boring and very technica...
|
cena:
220,40 |
 |
Transition to Proofs
ISBN: 9789811272325 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-answer problems to proof-based mathematics. It serves to guide students on how to write and understand mathematical proofs. It covers proof techniques that are commonly used in several areas of mathematics, especially number theory, combinatorics, and analysis. In addition to just teaching the mechanics of proofs, this book showcases key materials in these areas, thus introducing readers to interesting mathematics along with proof techniques.
This textbook is aimed at transitioning high-school students who have already developed proficiency in mathematical problem solving from numerical-ans...
|
cena:
220,40 |
 |
Thinking Matters: Critical Thinking as Creative Problem Solving
ISBN: 9789811216244 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
220,40 |
 |
Mischief of Math, The: Short Stories on Clowns, Contortionists and Court-Jesters
ISBN: 9789811287596 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
220,40 |
 |
Starting Category Theory
ISBN: 9789819819256 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the central highlights of this work is the exploration of the Yoneda lemma and its profound implications, during which intuitive explanations are provided, as well as detailed proofs, and specific examples. This book covers aspects of category theory often considered advanced in a clear and intuitive way, with rigorous mathematical proofs. It investigates universal properties, coherence, the relationship between categories and graphs, and treats monads and comonads on an equal footing, providing theorems, interpretations and concrete examples. Finally, this text contains an...
One of the central highlights of this work is the exploration of the Yoneda lemma and its profound implications, during which intuitive explanations a...
|
cena:
220,40 |
 |
Logic versus Approximation: Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday
ISBN: 9783540225621 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based approaches where logic is to be understood in a rather broad sense; usually these approaches are used in symbolic domains where numerical calculations are not the core challenge. On the other hand we find approximation oriented reasoning; methods of these kinds are mainly applied in numerical domains where approximation is part of the scientific methodology itself. However, from an abstract level all these approaches do focus on similar... Nowadays knowledge-based systems research and development essentially employs two paradigms of reasoning. There are on the one hand the logic-based... |
cena:
221,37 |
 |
Around Classification Theory of Models
ISBN: 9783540164487 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
221,37 |
 |
Formal Methods Teaching: 4th International Workshop and Tutorial, Fmtea 2021, Virtual Event, November 21, 2021, Proceedings
ISBN: 9783030915490 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions. The papers are organized in topical sections named: experiences and proposals related with online FM learning and teaching, integrating/embedding FM teaching/thinking within other computer science courses, teaching FM for industry, and innovative learning... This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress o... |
cena:
221,37 |
 |
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
ISBN: 9783031191343 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular/communicating automata; Petri nets; computational aspects of semigroups, groups, and rings; reachability in dynamical and hybrid systems;...
This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany...
|
cena:
221,37 |
 |
Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
ISBN: 9783031275333 / Angielski / Miękka / 105 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in...
|
cena:
221,37 |
 |
Moral Calculations: Game Theory, Logic, and Human Frailty
ISBN: 9780387984193 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Are people ever rational? Consider this: You auction off a one-dollar bill to the highest bidder, but you set the rules so that the second highest bidder also has to pay the amount of his last bid, even though he gets nothing. Would people ever enter such an auction? Not only do they, but according to Martin Shubik, the game's inventor, the average winning bid (for a dollar, remember) is $3.40. Many winners report that they bid so high only because their opponent "went completely crazy." This game lies at the intersection of three subjects of eternal fascination: human psychology, morality,...
Are people ever rational? Consider this: You auction off a one-dollar bill to the highest bidder, but you set the rules so that the second highest bid...
|
cena:
221,37 |
 |
Model Theory and Algebraic Geometry: An introduction to E. Hrushovski's proof of the geometric Mordell-Lang conjecture
ISBN: 9783540648635 / Angielski / Miękka / 216 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang conjecture, this book updates developments in the applications of model theory to algebraic geometry. The detailed text includes comments and examples for the specialist and uninitiated.
Illustrated by E. Hrushovski's model-theoretic proof of the geometric Mordell-Lang conjecture, this book updates developments in the applications of m...
|
cena:
221,37 |
 |
Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
ISBN: 9783540547068 / Angielski / Miękka / 496 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph requires no expertise in either representation theory or category theory. The topics introduced and studied include the Fourier co-transform, Tannaka duality for homogeneous spaces, braided tensor categories, Yang-Baxter operators, Knot invariants and quantum groups.
This monograph requires no expertise in either representation theory or category theory. The topics introduced and studied include the Fourier co-tran...
|
cena:
221,37 |
 |
Moral Calculations: Game Theory, Logic, and Human Frailty
ISBN: 9781461272328 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What does game theory tell us about rational behavior? Is there such a thing as rational behavior, and if so, is it of any use to us? In this fascinating book, renowned Hungarian economist Laszlo Mero shows how game theory provides insight into such aspects of human psychology as altruism, competition, and politics, as well as its relevance to disparate fields such as physics and evolutionary biology. This ideal guide shows us how mathematics can illuminate the human condition.
What does game theory tell us about rational behavior? Is there such a thing as rational behavior, and if so, is it of any use to us? In this fascinat...
|
cena:
221,37 |
 |
Constructive Commutative Algebra: Projective Modules Over Polynomial Rings and Dynamical Gröbner Bases
ISBN: 9783319194936 / Angielski / Miękka / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in well-known theorems concerning projective modules over polynomial rings (mainly the Quillen-Suslin theorem) and syzygies of multivariate polynomials with coefficients in a valuation ring. Simple and constructive proofs of some results in the theory of projective modules over polynomial rings are also given, and light is cast upon recent progress on the Hermite ring and Grobner ring conjectures. New conjectures on unimodular completion... The main goal of this book is to find the constructive content hidden in abstract proofs of concrete theorems in Commutative Algebra, especially in... |
cena:
221,37 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
