» książki » Mathematics - Logic
 |
Lateral Solutions to Mathematical Problems
ISBN: 9781032376998 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students, undergraduates and postgraduates, looking for relief from technical material and also looking for insight into the methodology of mathematics.
This book offers a fresh approach to mathematical problem solving via lateral thinking. This book is appropriate for interested high school students,...
|
cena:
426,05 |
 |
Intuitive Axiomatic Set Theory
ISBN: 9781032581200 / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
426,05 |
 |
A Bridge to Higher Mathematics
ISBN: 9781498775250 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Bridge to Higher Mathematics is more than simply another book to aid the transition to advanced mathematics. The authors intend to assist students in developing a deeper understanding of mathematics and mathematical thought. The only way to understand mathematics is by doing mathematics. The reader will learn the language of axioms and theorems and will write convincing and cogent proofs using quantifiers. Students will solve many puzzles and encounter some mysteries and challenging problems. The emphasis is on proof. To progress towards... A Bridge to Higher Mathematics is more than simply another book to aid the transition to advanced mathematics. The authors intend to assis... |
cena:
426,05 |
 |
The Baseball Mysteries: Challenging Puzzles for Logical Detectives
ISBN: 9781032365480 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are solved by reasoning from the rules of the game and a few facts. The puzzles offer a unique and scintillating connection between abstract logic and gritty reality.
This book contains numerous logical baseball puzzles. To jump in, all you need is logic and a casual fan’s knowledge of the game. The puzzles are so...
|
cena:
426,05 |
 |
Coding the Universe
ISBN: 9780521280402 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set theory together with the Generalized Continuum Hypothesis by using a class 'forcing' construction. By this method they extend M to another model L a] with the same properties. L a] is Godels universe of 'constructible' sets L, together with a set of integers a which code all the cardinality and cofinality structure of M. Some applications are also considered. Graduate students and research workers in set theory and logic will be especially...
Axiomatic set theory is the concern of this book. More particularly, the authors prove results about the coding of models M, of Zermelo-Fraenkel set t...
|
cena:
426,47 |
 |
Monoidal Category Theory: Unifying Concepts in Mathematics, Physics, and Computing
ISBN: 9780262049399 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
427,73 |
 |
Principles Of Applied Mathematics : Transformation And Approximation
ISBN: 9780201483635 / Angielski / Miękka / 580 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "This book is written for beginning graduate students in applied mathematics, science, and engineering, and is appropriate as a one-year course in applied mathematical techniques (although I have never"
"This book is written for beginning graduate students in applied mathematics, science, and engineering, and is appropriate as a one-year course in app...
|
cena:
427,85 |
 |
The Development of Mathematical Logic
ISBN: 9780367420710 / Angielski / Twarda / 94 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
427,85 |
 |
Type-Theoretical Grammar
ISBN: 9780198538578 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of the concepts and techniques of logic, it remains relatively unknown among linguists and philosophers. This work presents constructive type theory from the point of view of linguistics and the philosophy of language, introducing its valuable approach to those in areas in which it has remained unfamiliar. The theory is then applied to...
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the f...
|
cena:
428,54 |
 |
Science Without Numbers
ISBN: 9780198777915 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science. Hartry Field argues that we can explain the utility of mathematics without assuming it true. Part of the argument is that good mathematics has a special feature ("conservativeness") that allows it to be applied to "nominalistic" claims (roughly, those neutral to the existence of mathematical entities) in a way that generates nominalistic consequences more easily without generating any new ones. Field goes on to argue...
Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of...
|
cena:
428,54 |
 |
Six Papers in Logic
ISBN: 9780821831113 / Angielski / Twarda / 79 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains six papers in logic translated from the Russian.
Contains six papers in logic translated from the Russian.
|
cena:
431,00 |
 |
Introduction to Mathematical Logic (Pms-13), Volume 13
ISBN: 9780691029061 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church was a pioneer in the field of mathematical logic, whose contributions to number theory and the theories of algorithms and computability laid the theoretical foundations of computer science. His first Princeton book, The Calculi of Lambda-Conversion (1941), established an invaluable tool that computer scientists still use today. Even beyond the accomplishment of that book, however, his second Princeton book,... Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonz... |
cena:
431,00 |
 |
Logic: Study Guide
ISBN: 9780195155822 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
433,13 |
 |
Labelled Deductive Systems: Volume 1
ISBN: 9780198538332 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the...
|
cena:
433,18 |
 |
Finite Ordered Sets: Concepts, Results and Uses
ISBN: 9781107013698 / Angielski / Twarda / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.
A comprehensive account that gives equal attention to the combinatorial, logical and applied aspects of partially ordered sets.
|
cena:
433,18 |
 |
Model Theory
ISBN: 9780521066365 / Angielski / Miękka / 788 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides the reader with much historical information and a full bibliography, enhancing the book's use as a reference.
Professor Hodges emphasizes definability and methods of construction, and introduces the reader to advanced topics such as stability. He also provides...
|
cena:
435,63 |
 |
Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry: Volume 1
ISBN: 9780521149761 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from the Langlands program over harmonic analysis, to non-Archimedean analysis, singularity theory and birational geometry. This book assembles the different theories of motivic integration and their applications for the first time, allowing readers to compare different approaches and assess their individual strengths. All of the necessary background is provided to make the book accessible to graduate students and researchers from algebraic geometry,...
The development of Maxim Kontsevich's initial ideas on motivic integration has unexpectedly influenced many other areas of mathematics, ranging from t...
|
cena:
435,63 |
| |
Axiomatic Set Theory, Part 2
ISBN: 9780821802465 / Angielski / Twarda / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
435,90 |
| |
Introduction to Potential Theory: Maximal Operators and Weights
ISBN: 9783110725964 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
437,47 |
 |
Arithmetic, Proof Theory, and Computational Complexity
ISBN: 9780198536901 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, propositional proof systems, length of proof, and similar themes, and the relations of these topics to computational complexity theory. Issuing from a two-year international collaboration, the book contains articles concerning the existence of the most general unifier, a special case of Kreisel's conjecture on length-of-proof, propositional logic proof size, a new alternating logtime algorithm for boolean formula evaluation and relation to branching...
This book principally concerns the rapidly growing area of what might be termed "Logical Complexity Theory": the study of bounded arithmetic, proposit...
|
cena:
437,82 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
