» książki » Mathematics - Logic
topmenu
 |
Aspects of Mathematical Logic: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968
ISBN: 9783642110788 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Aspects of Mathematical Logic".
"Aspects of Mathematical Logic".
|
cena:
140,70 |
 |
Recursion Theory and Computational Complexity: Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
ISBN: 9783642110719 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in Higgler recursion.- R.I. Soare: Construction in the recursively enumerable degrees.- W. Maass: Recursively invariant recursion theory.
S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sack...
|
cena:
140,70 |
 |
Teoria Algebrica Dei Meccanismi Automatici: Lectures Given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Varenn
ISBN: 9783642109300 / Włoski / Miękka / 537 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. H. Soubies-Camy: Lalgebre logique appliquee aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: Lalgebre logique appliquee aux techniques binaires, II parte: disegni.- J. Piesch: Switching Algebra.- J.P. Roth: Una teoria per la progettazione logica dei Meccanismi Automatici."
H. Soubies-Camy: Lalgebre logique appliquee aux techniques binaires, I parte: lezioni.- H. Soubies-Camy: Lalgebre logique appliquee aux techniques bin...
|
cena:
180,96 |
 |
Classification Theory for Abstract Elementary Classes: Volume 2
ISBN: 9781904987727 / Angielski / Miękka / 702 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An abstract elementary class (AEC) is a class of structures of a fixed vocabulary satisfying some natural closure properties. These classes encompass the normal classes defined in model theory and natural examples arise from mathematical practice, e.g. in algebra not to mention first order and infinitary logics. An AEC is always endowed with a special substructure relation which is not always the obvious one. Abstract elementary classes provide one way out of the cul de sac of the model theory of infinitary languages which arose from over-concentration on syntactic criteria. This is the...
An abstract elementary class (AEC) is a class of structures of a fixed vocabulary satisfying some natural closure properties. These classes encompass ...
|
cena:
174,79 |
 |
Witnessed Years: Essays in Honour of Petr Hajek
ISBN: 9781904987635 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Readers of this volume are invited on a journey through a logician's life, as witnessed by his colleagues and friends. They will have the opportunity to immerse themselves in the regions of set theory, arithmetic, data analysis, algebra, fuzzy logic and other topics that Petr Hajek has shared with the contributors. Each of the contributions is unique in its approach as well as its personal envoi, helping to create a full-blooded, vivid and genuine picture of the man who has been so emphatically influential to so many of us. Mature and fresh ideas blend in the texts which will, hopefully, make...
Readers of this volume are invited on a journey through a logician's life, as witnessed by his colleagues and friends. They will have the opportunity ...
|
cena:
135,95 |
 |
Henkin-Keisler Models
ISBN: 9780792343660 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisler modified the Henkin construction at that point at which new' individual constants are introduced and did so in a way that illuminates a connection between Henkin-Keisler models and ultraproducts. The resulting construction can be viewed both as a specialization of the Henkin construction and as an alternative to the ultraproduct construction. These aspects of the Henkin-Keisler construction are utilized here to present a perspective on...
Henkin-Keisler models emanate from a modification of the Henkin construction introduced by Keisler to motivate the definition of ultraproducts. Keisle...
|
cena:
201,24 |
 |
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 |
 |
Operator Metaphysics: A New Metaphysics Based on a New Operator Logic and a New Quantum Operator Logic That Lead to a Mathematical Basis for
ISBN: 9780981904962 / Angielski / Twarda / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
172,42 |
 |
Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
ISBN: 9783642119989 / Angielski / Miękka / 179 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on June 28, 2009 in Bras ?lia, Brazil. Previous WFLP meetings were held in Siena (2008), Paris (2007), Madrid (2006), Tallinn (2005), Aachen (2004), Valencia (2003), Grado(2002), Kiel(2001), Benicassim(2000), Grenoble(1999), Bad Honnef (1998), Schwarzenberg (1997, 1995, and 1994), Marburg (1996), Rattenberg (1993), and Karlsruhe (1992). The aim of the WFLP series is to bring together researchers interested in functional programming, (constraint)...
Thisvolumecontainsaselectionofthepaperspresentedatthe18thInternational Workshop on Functional and (Constraint) Logic Programming (WFLP 2009), held on ...
|
cena:
201,24 |
 |
Foundations of Software Science and Computational Structures: 13th International Conference, Fossacs 2010, Held as Part of the Joint European Conferen
ISBN: 9783642120312 / Angielski / Miękka / 389 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
Includes the refereed proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2010, ...
|
cena:
201,24 |
 |
Fundamentals of Mathematics
ISBN: 9780470551387 / Angielski / Twarda / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and understanding mathematical proofs, Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers introduces key concepts from logic and set theory as well as the fundamental definitions of algebra to prepare readers for further study in the field of mathematics. The author supplies a seamless, hands-on presentation of number systems, utilizing key elements of logic and set theory and encouraging readers to abide by the... An accessible introduction to abstract mathematics with an emphasis on proof writing
Addressing the importance of constructing and und... |
cena:
422,49 |
 |
Abstract State Machines, Alloy, B and Z
ISBN: 9783642118104 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework, centeredaroundthe notionsofstateand operation, andpromotemathematicalprecisioninthemodeling, veri?cation, and construction of highly dependable systems. These...
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu ebec, during February22 25,2010, midwaythroughthe Ca- dian...
|
cena:
201,24 |
 |
Foundations of Information and Knowledge Systems: 6th International Symposium, Foiks 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
ISBN: 9783642118289 / Angielski / Miękka / 363 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was held in So?a, Bulgaria during February 15 19, 2010. The FoIKS symposia provide a biennial forum for presenting and discussing theoreticalandappliedresearchoninformationandknowledgesystems.Thegoal is to bring together researchers with an interest in this subject, share research experiences, promote collaboration and identify new issues and directions for future research. FoIKS 2010 solicited original contributions dealing with any foundational...
This volume contains the articles presented at the 6th International Symposium on Foundationsof Informationand KnowledgeSystems (FoIKS 2010)which was ...
|
cena:
201,24 |
 |
Nonlinear Dynamics Perspective of Wolfram's New Kind of Science, a (Volume IV)
ISBN: 9789814317306 / Angielski / Twarda / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reveals a novel quasi-ergodicity phenomenon involving orbits meandering among omega-limit orbits of complex (group 5) and hyper (group 6) Bernoulli rules. This title uses rigorous analyses to identify 67, out off 256 , local rules whose asymptotic behaviors consist of robust period-l orbits.
Reveals a novel quasi-ergodicity phenomenon involving orbits meandering among omega-limit orbits of complex (group 5) and hyper (group 6) Bernoulli ru...
|
cena:
773,84 |
 |
Multiple Forcing
ISBN: 9780521063845 / Angielski / Miękka / 146 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:
229,29 |
 |
Logic Colloquium 2007
ISBN: 9780521760652 / Angielski / Twarda / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, Logic Colloquium 2007, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. This volume covers many areas of contemporary logic: model theory, proof theory, set theory, and computer science, as well as philosophical logic, including tutorials on cardinal arithmetic, on Pillay s conjecture, and on...
The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings i...
|
cena:
516,69 |
 |
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
ISBN: 9780521168465 / Angielski / Miękka / 342 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of...
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text i...
|
cena:
298,06 |
 |
The Foundations of Mathematics in the Theory of Sets
ISBN: 9780521172714 / Angielski / Miękka / 446 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of "natural number" and "set." The book contains an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, and the analysis of proof by induction and definition by recursion. The book should appeal to both philosophers and mathematicians with an interest in the foundations of...
This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is ...
|
cena:
398,96 |
 |
Constructivism in Mathematics, Vol 2: Volume 123
ISBN: 9780444703583 / Angielski / Twarda / 129 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric spaces, algebra, and finite-type arithmetic and theories of operators. Discussions focus on intuitionistic finite-type arithmetic, theories of operators and classes, rings and modules, linear algebra, polynomial rings, fields and local rings, complete separable metric spaces, and... Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various ... |
cena:
244,84 |
 |
Cabal Seminar 76-77: Proceedings, Caltech-UCLA Logic Seminar 1976-77
ISBN: 9783540090861 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
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
