» książki » Mathematics - Logic
topmenu
 |
Introduction to Cardinal Arithmetic
ISBN: 9783034603270 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axiom of choice. It splits into three parts. Part one, which is contained in Chapter 1, describes the classical cardinal arithmetic due to Bernstein, Cantor, Hausdorff, Konig, and Tarski. The results were found in the years between 1870 and 1930. Part two, which is Chapter 2, characterizes the development of cardinal arith metic in the seventies, which was led by Galvin, Hajnal, and Silver. The third part, contained in Chapters 3 to 9, presents the...
This book is an introduction to modern cardinal arithmetic, developed in the frame of the axioms of Zermelo-Fraenkel set theory together with the axio...
|
cena:
241,50 |
 |
Pell and Pell-Lucas Numbers with Applications
ISBN: 9781461484882 / Angielski / Twarda / 431 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Pell and Pell-Lucas numbers, like the well-known Fibonacci and Catalan numbers, continue to intrigue the mathematical world with their beauty and applicability. They offer opportunities for experimentation, exploration, conjecture, and problem-solving techniques, connecting the fields of analysis, geometry, trigonometry, and various areas of discrete mathematics, number theory, graph theory, linear algebra, and combinatorics. Pell and Pell-Lucas numbers belong to an extended Fibonacci family as a powerful tool for extracting numerous interesting properties of a vast array of number... Pell and Pell-Lucas numbers, like the well-known Fibonacci and Catalan numbers, continue to intrigue the mathematical world with their beauty and a... |
cena:
241,50 |
 |
Biological Models Via Interval Type-2 Fuzzy Sets
ISBN: 9783030645298 / Angielski / Miękka / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and Analysis
ISBN: 9783030871734 / Angielski / Twarda / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the underpinning key ideas. Part 2 discusses the number systems of common practice, while the backgrounds needed to solve equations and inequalities are developed in Part 3.
This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the under...
|
cena:
241,50 |
 |
Effective Kan Fibrations in Simplicial Sets
ISBN: 9783031188992 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective Kan fibrations are maps of simplicial sets equipped with a structured collection of chosen lifts that satisfy certain non-trivial properties. Here it is revealed that fundamental properties of ordinary Kan fibrations can be extended to explicit constructions on effective Kan fibrations. In particular, a constructive (explicit) proof is given that...
This book introduces the notion of an effective Kan fibration, a new mathematical structure which can be used to study simplicial homotopy theory. The...
|
cena:
241,50 |
 |
Algorithms for Constructing Computably Enumerable Sets
ISBN: 9783031269035 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists.Specifically, the book explains, organizes, and compares various algorithmic techniques used in computability theory (which was formerly called "classical recursion theory"). This area of study has produced some of the most beautiful and subtle algorithms ever developed for any problems. These algorithms are little-known outside of a niche within the mathematical logic...
Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniqu...
|
cena:
241,50 |
 |
Essential Mathematics for Undergraduates: A Guided Approach to Algebra, Geometry, Topology and Analysis
ISBN: 9783030871765 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the underpinning key ideas. It guides STEM students towards developing knowledge and skills to enrich their scientific education. In doing so it avoids the common mechanical approach to problem-solving based on the repetitive application of dry formulas. The presentation preserves the mathematical rigour throughout and still stays accessible to undergraduates. The didactical focus is threaded through the assortment of subjects and reflects in the...
This textbook covers topics of undergraduate mathematics in abstract algebra, geometry, topology and analysis with the purpose of connecting the under...
|
cena:
241,50 |
 |
Simple Type Theory: A Practical Logic for Expressing and Reasoning about Mathematical Ideas
ISBN: 9783031211140 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Algorithms for Constructing Computably Enumerable Sets
ISBN: 9783031269066 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Logic in Computer Science
ISBN: 9789819798155 / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
104 Number Theory Problems: From the Training of the USA Imo Team
ISBN: 9780817645274 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains 104 of the best problems used in the training and testing of the U. S. International Mathematical Olympiad (IMO) team. It is not a collection of very dif?cult, and impenetrable questions. Rather, the book gradually builds students number-theoretic skills and techniques. The ?rst chapter provides a comprehensive introduction to number theory and its mathematical structures. This chapter can serve as a textbook for a short course in number theory. This work aims to broaden students view of mathematics and better prepare them for possible participation in various mathematical...
This book contains 104 of the best problems used in the training and testing of the U. S. International Mathematical Olympiad (IMO) team. It is not a ...
|
cena:
241,50 |
 |
Lattices and Ordered Sets
ISBN: 9781441927040 / Angielski / Miękka / 305 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is intended to be a thorough introduction to the subject of order and lattices, with an emphasis on the latter. It can be used for a course at the graduate or advanced undergraduate level or for independent study. Prerequisites are kept to a minimum, but an introductory course in abstract algebra is highly recommended, since many of the examples are drawn from this area. This is a book on pure mathematics: I do not discuss the applications of lattice theory to physics, computer science or other disciplines. Lattice theory began in the early 1890s, when Richard Dedekind wanted to...
This book is intended to be a thorough introduction to the subject of order and lattices, with an emphasis on the latter. It can be used for a course ...
|
cena:
241,50 |
 |
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life
ISBN: 9781447169901 / Angielski / Miękka / 875 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Philosophy's Loss of Logic to Mathematics: An Inadequately Understood Take-Over
ISBN: 9783030069841 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Numerical Methods of Mathematics Implemented in FORTRAN
ISBN: 9789811371134 / Angielski / Twarda / 467 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Artificial Life and Evolutionary Computation: 13th Italian Workshop, Wivace 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers
ISBN: 9783030217327 / Angielski / Miękka / 163 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Numerical Methods of Mathematics Implemented in FORTRAN
ISBN: 9789811371165 / Angielski / Miękka / 467 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Laws and Explanations; Theories and Modal Possibilities
ISBN: 9783030188481 / Angielski / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification
ISBN: 9783030878818 / Angielski / Twarda / 232 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...
This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of c...
|
cena:
241,50 |
 |
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:
241,50 |
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
