» książki » Mathematics - Logic
topmenu
 |
Algebraic Logic
ISBN: 9780821841389 / Angielski / Twarda / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book is a complete collection of Paul Halmos's articles written on the subject of algebraic logic (the theory of Boolean functions). Altogether, there are ten articles, which were published between 1954-1959 in eight different journals spanning four countries. The articles appear in an order that allows the reader unfamiliar with the subject to read them without many prerequisites. In particular, the first article in the book is an accessible introduction to algebraic logic.
The book is a complete collection of Paul Halmos's articles written on the subject of algebraic logic (the theory of Boolean functions). Altogether, t...
|
cena:
303,66 |
 |
Information, Randomness & Incompleteness: Papers on Algorithmic Information Theory
ISBN: 9789971504809 / Angielski / Miękka / 284 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
303,66 |
 |
Categoricity
ISBN: 9780821848937 / Angielski / Miękka / 235 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncountable cardinal (i.e., is categorical in cardinality) if and only if the same holds in all uncountable cardinals. Over the last 35 years Shelah made great strides in extending this result to infinitary logic, where the basic tool of compactness fails. He invented the notion of an Abstract Elementary Class to give a unifying semantic account of theories in first-order, infinitary logic and with some generalized quantifiers. Zilber developed...
Modern model theory began with Morley's categoricity theorem: A countable first-order theory that has a unique (up to isomorphism) model in one uncoun...
|
cena:
303,66 |
 |
Notes on Forcing Axioms
ISBN: 9789814571579 / Angielski / Twarda / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in mathematics, the Baire category method is also behind a number of fundamental results such as the Open Mapping Theorem or the Banach-Steinhaus Boundedness Principle. This volume brings the Baire category method to another level of sophistication via the internal version of the set-theoretic forcing technique. It is the first systematic account of applications of the higher forcing axioms with the stress on the technique of building forcing notions...
In the mathematical practice, the Baire category method is a tool for establishing the existence of a rich array of generic structures. However, in ma...
|
cena:
303,66 |
 |
Generalized Descriptive Set Theory and Classification Theory
ISBN: 9780821894750 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the generalization where countable is replaced by uncountable. They explore properties of generalized Baire and Cantor spaces equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical countable case. They also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic...
Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper the authors study the g...
|
cena:
303,66 |
 |
A Sequential Introduction to Real Analysis
ISBN: 9781783267828 / Angielski / Twarda / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented. It is a core subject in any mathematics degree, and also one which many students find challenging. A Sequential Introduction to Real Analysis gives a fresh take on real analysis by formulating all the underlying concepts in terms of convergence of sequences. The result is a coherent, mathematically rigorous, but conceptually simple development of the standard theory of differential and integral calculus ideally suited to undergraduate students learning...
Real analysis provides the fundamental underpinnings for calculus, arguably the most useful and influential mathematical idea ever invented. It is a c...
|
cena:
303,66 |
 |
Programs as Diagrams: From Categorical Computability to Computable Categories
ISBN: 9783031348297 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
305,50 |
 |
Subsystems of Second Order Arithmetic
ISBN: 9780521150149 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many...
Foundations of mathematics is the study of the most basic concepts and logical structure of mathematics, with an eye to the unity of human knowledge. ...
|
cena:
307,24 |
 |
An Investigation of the Laws of Thought: On Which Are Founded the Mathematical Theories of Logic and Probabilities
ISBN: 9781108001533 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Self-taught mathematician and father of Boolean algebra, George Boole (1815 1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as a system one can use to understand the human mind. In the first 12 chapters, he sets down the rules...
Self-taught mathematician and father of Boolean algebra, George Boole (1815 1864) published An Investigation of the Laws of Thought in 1854. In this h...
|
cena:
307,51 |
 |
Formal Logic: Or, the Calculus of Inference, Necessary and Probable
ISBN: 9781108070782 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the end of antiquity to the middle of the nineteenth century it was generally believed that Aristotle had said all that there was to say concerning the rules of logic and inference. One of the ablest British mathematicians of his age, Augustus De Morgan (1806-71) played an important role in overturning that assumption with the publication of this book in 1847. He attempts to do several things with what we now see as varying degrees of success. The first is to treat logic as a branch of mathematics, more specifically as algebra. Here his contributions include his laws of complementation...
From the end of antiquity to the middle of the nineteenth century it was generally believed that Aristotle had said all that there was to say concerni...
|
cena:
307,51 |
 |
Abelian Model Category Theory
ISBN: 9781009449465 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
307,85 |
 |
Topological Duality for Distributive Lattices
ISBN: 9781009349697 / Twarda / 365 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
307,85 |
 |
Category Theory
ISBN: 9780199237180 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians, but also researchers and students of computer science, logic, linguistics, cognitive science, philosophy, and any of the other fields in which the ideas are being applied. Containing clear definitions of the essential concepts, illuminated with numerous accessible examples, and providing full proofs of all important propositions and theorems, this book aims to make the basic ideas, theorems, and methods of category theory understandable to...
Category theory is a branch of abstract algebra with incredibly diverse applications. This text and reference book is aimed not only at mathematicians...
|
cena:
307,90 |
 |
Visual Thinking in Mathematics
ISBN: 9780199285945 / Angielski / Twarda / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Visual thinking - visual imagination or perception of diagrams and symbol arrays, and mental operations on them - is omnipresent in mathematics. Is this visual thinking merely a psychological aid, facilitating grasp of what is gathered by other means? Or does it also have epistemological functions, as a means of discovery, understanding, and even proof? By examining the many kinds of visual representation in mathematics and the diverse ways in which they are used, Marcus Giaquinto argues that visual thinking in mathematics is rarely just a superfluous aid; it usually has epistemological...
Visual thinking - visual imagination or perception of diagrams and symbol arrays, and mental operations on them - is omnipresent in mathematics. Is th...
|
cena:
307,90 |
 |
Lambda-Calculus, Combinators and Functional Programming
ISBN: 9780521114295 / Angielski / Miękka / 192 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text...
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematica...
|
cena:
311,83 |
 |
Mathematics as a Science of Patterns
ISBN: 9780198236085 / Angielski / Twarda / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist.
This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathe...
|
cena:
312,53 |
 |
Categories for Types
ISBN: 9780521457019 / Angielski / Miękka / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory, which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic...
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theor...
|
cena:
312,53 |
 |
A Shorter Model Theory
ISBN: 9780521587136 / Angielski / Miękka / 324 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theory. Besides standard results such as the compactness and omitting types theorems, it also describes various links with algebra, including the Skolem-Tarski method of quantifier elimination, model completeness, automorphism groups and omega-categoricity, ultraproducts, O-minimality and structures of finite Morley rank. The material on back-and-forth equivalences, interpretations and zero-one laws can serve as an introduction to applications of...
This is an up-to-date textbook of model theory taking the reader from first definitions to Morley's theorem and the elementary parts of stability theo...
|
cena:
312,53 |
 |
Proof and Disproof in Formal Logic: An Introduction for Programmers
ISBN: 9780198530275 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms, which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of...
Proof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic wo...
|
cena:
312,53 |
 |
Elements of ∞-Category Theory
ISBN: 9781108837989 / Angielski / Twarda / 750 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
312,53 |
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
