» książki » Mathematics - Logic
topmenu
 |
Natural Deduction: A Proof-Theoretical Study
ISBN: 9780486446554 / Angielski / Miękka / 113 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system of inference. Gerhard Gentzen invented proof-theoretic semantics in the early 1930s, and Dag Prawitz, the author of this study, extended its analytic proofs to systems of natural deduction. Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics.
The concept of natural deduction follows a truly natural progression, establishing... An innovative approach to the semantics of logic, proof-theoretic semantics seeks the meaning of propositions and logical connectives within a system ...
|
cena:
43,04 zł |
 |
Mathematical Logic: A First Course
ISBN: 9780486450186 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgrounds -- including mathematics, philosophy, linguistics, computer science, and engineering. It features numerous exercises of varying levels of difficulty, many with solutions.
A survey of the propositional calculus is followed by chapters on first-order logic and first-order recursive arithmetic. An examination of the arithmetization of syntax follows, along with a review of the incompleteness theorems and other applications of the Liar Paradox.... Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying background...
|
cena:
64,67 zł |
 |
Topoi: The Categorial Analysis of Logic
ISBN: 9780486450261 / Angielski / Miękka / 592 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The... A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate s...
|
cena:
129,56 zł |
 |
Convex Sets and Their Applications
ISBN: 9780486458038 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Suitable for advanced undergraduates and graduate students, this text introduces the broad scope of convexity by highlighting diverse applications. Topics include characterizations of convex sets, polytopes, duality, optimization, and convex functions. Exercises appear throughout the text, with solutions, hints, and references at the end. 1982 edition.
Suitable for advanced undergraduates and graduate students, this text introduces the broad scope of convexity by highlighting diverse applications. To...
|
cena:
64,67 zł |
 |
Computability and Unsolvability
ISBN: 9780486614717 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialists and non-specialists alike.
In Part One (Chapters 1-5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader. Part Two... In this classic text, Dr. Davis provides a clear introduction to computability, at an advanced undergraduate level, that serves the needs of specialis...
|
cena:
73,32 zł |
 |
First-Order Logic
ISBN: 9780486683706 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in -analytic- or -cut-free- methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here. This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification ... |
cena:
47,37 zł |
 |
Extensions of First-Order Logic
ISBN: 9780521019026 / Angielski / Miękka / 412 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from MSL. To make the book accessible to readers from...
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is a...
|
cena:
442,67 zł |
 |
Multiple Forcing
ISBN: 9780521266598 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important applications. Product forcing, iterated forcing and proper forcing have proved powerful tools when studying the foundations of mathematics, for instance in consistency proofs. The book is based on graduate courses though some results are also included, making the book attractive to set theorists and logicians.
In this 1987 text Professor Jech gives a unified treatment of the various forcing methods used in set theory, and presents their important application...
|
cena:
553,85 zł |
 |
Numbers, Sets and Axioms: The Apparatus of Mathematics
ISBN: 9780521287616 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure mathematics relies. The author's intention is to remove some of the mystery that surrounds the foundations of mathematics. He emphasises the intuitive basis of mathematics; the basic notions are numbers and sets and they are considered both informally and formally. The role of axiom systems is part of the discussion but their limitations are pointed...
Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a descr...
|
cena:
252,89 zł |
 |
Model Theory
ISBN: 9780521304429 / Angielski / Twarda / 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:
1106,33 zł |
 |
Varieties of Constructive Mathematics
ISBN: 9780521318020 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop??'s school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop??'s s...
|
cena:
243,03 zł |
 |
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:
223,30 zł |
 |
Introduction to Higher Order Categorical Logic
ISBN: 9780521356534 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. In Part I, they show that typed lambda-calculi, a formulation of higher-order logic, and cartesian closed categories, are essentially the same. Part II demonstrates that another formulation of higher-order logic, (intuitionistic) type theories, is closely related to topos theory. Part III is devoted to recursive functions. Numerous applications of the close relationship between traditional logic and the algebraic language of category theory are...
In this volume, Lambek and Scott reconcile two different viewpoints of the foundations of mathematics, namely mathematical logic and category theory. ...
|
cena:
287,43 zł |
 |
Logic for Mathematicians
ISBN: 9780521368650 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use...
Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the...
|
cena:
287,43 zł |
 |
Proof Theory: A Selection of Papers from the Leeds Proof Theory Programme 1990
ISBN: 9780521414135 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from ackno...
|
cena:
548,92 zł |
 |
Modelling with Differential and Difference Equations
ISBN: 9780521440691 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theme of this book is modeling the real world using mathematics. The authors concentrate on the techniques used to set up mathematical models and describe many systems in full detail, covering both differential and difference equations in depth. Among the broad spectrum of topics studied in this book are: mechanics, genetics, thermal physics, economics and population studies.
The theme of this book is modeling the real world using mathematics. The authors concentrate on the techniques used to set up mathematical models and ...
|
cena:
499,54 zł |
 |
Categories for Types
ISBN: 9780521450928 / Angielski / Twarda / 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:
598,25 zł |
 |
Bounded Arithmetic, Propositional Logic and Complexity Theory
ISBN: 9780521452052 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. Then more advanced topics are treated, including polynomial simulations and conservativity results, various witnessing...
This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic with emphasis on independe...
|
cena:
642,64 zł |
 |
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:
317,03 zł |
 |
Complexity: Knots, Colourings and Counting
ISBN: 9780521457408 / Angielski / Miękka / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of these notes is to link algorithmic problems arising in knot theory with statistical physics and classical combinatorics. Apart from the theory of computational complexity needed to deal with enumeration problems, introductions are given to several of the topics, such as combinatorial knot theory, randomized approximation models, percolation, and random cluster models.
The aim of these notes is to link algorithmic problems arising in knot theory with statistical physics and classical combinatorics. Apart from the the...
|
cena:
252,89 zł |
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
