» książki » Mathematics - Logic
topmenu
 |
Reasoning in Simple Type Theory: Festschrift in Honor of Peter B. Andrews on His 70th Birthday
ISBN: 9781904987703 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contributed articles. For the reprints we have chosen a paper by Alonzo Church (introducing his simple theory of types), a paper by Leon Henkin (proving completeness of Church's type theory relative to Henkin's semantics) and some of the most important papers by Peter Andrews. The new articles were contributed by Peter Andrews and his students and collaborators as well as a number of researchers his work has influenced. The volume intends to show the...
Reasoning in Simple Type Theory is a collection of papers that includes reprints of eight seminal papers in this area as well as thirteen new contribu...
|
cena:
174,79 |
 |
Methods of Argumentation
ISBN: 9781107039308 / Angielski / Twarda / 318 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.
This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.
|
cena:
377,50 |
 |
Methods of Argumentation
ISBN: 9781107677333 / Angielski / Miękka / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.
This book, written by a leading expert, and based on the latest research, shows how to apply methods of argumentation to a range of examples.
|
cena:
169,67 |
 |
Mathematics & Mathematical Logic: New Research
ISBN: 9781606928622 / Angielski / Twarda / 271 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A computational model is a mathematical structure which is constructed in an easy way and is useful in performing certain computations on the structure. This book discusses how the idea of 'computational model' has been formalised by connecting the domain
A computational model is a mathematical structure which is constructed in an easy way and is useful in performing certain computations on the structur...
|
cena:
1211,49 |
 |
Fuzzy Logic: Theory, Programming & Applications
ISBN: 9781604569155 / Angielski / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book brings together the latest research in the field.
Fuzzy logic is a form of multi-valued logic derived from fuzzy set theory to deal with reasoning that is approximate rather than precise. This book br...
|
cena:
1211,49 |
 |
Foundations of Software Science and Computational Structures: 12th International Conference, Fossacs 2009, Held as Part of the Joint European Conferen
ISBN: 9783642005954 / Angielski / Miękka / 471 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was establishedin1998bycombininganumberofexistingandnewconferences. This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 22 satellite workshops (ACCAT, ARSPA-WITS, Bytecode, COCV, COMPASS, FESCA, FInCo, FORMED, GaLoP, GT-VMT, HFL, LDTA, MBT, MLQA, OpenCert, PLACES, QAPL, RC, SafeCert, TAASN, TERMGRAPH, and WING), fourtutorials, andseveninvitedlectures(excludingthosethatweres- ci?c to the satellite events). The ?ve main conferences...
ETAPS 2009 was the 12th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was es...
|
cena:
201,24 |
 |
Verification and Control of Hybrid Systems: A Symbolic Approach
ISBN: 9781441902238 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described by infinite models such as differential equations. This book addresses problems of verification and controller synthesis for hybrid systems. Although these problems are very difficult to solve for general hybrid systems, several authors have identified classes of hybrid systems that admit symbolic or finite models. The novelty of the book lies on the systematic presentation of these classes of hybrid systems along with the relationships between... Hybrid systems describe the interaction of software, described by finite models such as finite-state machines, with the physical world, described b... |
cena:
523,30 |
 |
A Transition to Advanced Mathematics: A Survey Course
ISBN: 9780195310764 / Angielski / Twarda / 768 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Transition to Advanced Mathematics: A Survey Course promotes the goals of a "bridge'' course in mathematics, helping to lead students from courses in the calculus sequence (and other courses where they solve problems that involve mathematical calculations) to theoretical upper-level mathematics courses (where they will have to prove theorems and grapple with mathematical abstractions). The text simultaneously promotes the goals of a survey'' course, describing the intriguing questions and insights fundamental to many diverse areas of mathematics, including Logic, Abstract Algebra,...
A Transition to Advanced Mathematics: A Survey Course promotes the goals of a "bridge'' course in mathematics, helping to lead students from ...
|
cena:
516,69 |
 |
Language and Automata Theory and Applications: Third International Conference, Lata 2009, Tarragona, Spain, April 2-8, 2009. Proceedings
ISBN: 9783642009815 / Angielski / Miękka / 754 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (LATA 2009), held in Tarragona, Spain, during April 2-8, 2009. The scope of LATA is rather broad, including: algebraic language theory; algorithms on automata and words; automata and logic; automata for s- tem analysis and program veri?cation; automata, concurrency and Petri nets; biomolecular nanotechnology; cellular automata; circuits and networks; c- binatorics on words; computability; computational, descriptional, communi- tion and...
These proceedings contain all the papers that were presented at the Third - ternational Conference on Language and Automata Theory and Applications (L...
|
cena:
402,53 |
 |
The Classical Decision Problem
ISBN: 9783540423249 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these disci- plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ- ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic...
This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these d...
|
cena:
724,58 |
 |
Godel's Theorem Simplified
ISBN: 9780819138699 / Angielski / Miękka / 88 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and directly, this book is intended for the student and general reader and presumes no specialized knowledge of mathematics or logic.
This helpful volume explains and proves Godel's theorem, which states that arithmetic cannot be reduced to any axiomatic system. Written simply and di...
|
cena:
276,71 |
 |
Tbilisi Mathematical Journal. Volume 1 (2008)
ISBN: 9781904987475 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers should satisfy the high standards and only works of high quality will be recommended for publication. The Management Committee may occasionally decide to invite the submission of survey and expository papers of the highest quality. Unsolicited submissions of survey and expository papers will not be considered for publication. Volume 1 (2008) contains eight research papers by outstanding mathematicians in areas ranging from functional analysis to...
Tbilisi Mathematical Journal (TMJ) is a fully refereed international journal, publishing original research papers in all areas of mathematics. Papers ...
|
cena:
94,95 |
 |
The Pattern of the Primes
ISBN: 9781425187569 / Angielski / Miękka / 266 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This elementary and original book explains the pattern that the prime numbers are following. Light is shed on some unsolved prime problems: Prime Twins, Goldbach and the nth prime.
This elementary and original book explains the pattern that the prime numbers are following. Light is shed on some unsolved prime problems: Prime Twin...
|
cena:
134,25 |
 |
The Algebra of Thought & Reality: Second Edition: The Mathematical Basis for Plato's Theory of Ideas, and Reality Extended to Include a Priori Observe
ISBN: 9780981904931 / Angielski / Miękka / 164 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Second Edition extends the First Edition of The Algebra Of Thought & Reality: A New Operator Formulation For Classical & Quantum Logic Obviating Logic Paradoxes & Godel's Undecidability Theorem; and Giving a Mathematical Basis For Plato's Theory Of Ideas, And Reality - The Standard Model Of Particles in several ways. There are three important new sections. One section discusses Observers both in the formulation of Operator Logic and in the Quantum Reality in which we live. The second new section discusses space-time. It shows the need for Time since, for example, proofs are stated in...
This Second Edition extends the First Edition of The Algebra Of Thought & Reality: A New Operator Formulation For Classical & Quantum Logic Obviating ...
|
cena:
172,42 |
 |
Sweet Reason : A Field Guide to Modern Logic
ISBN: 9780470414187 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Sweet Reason is a unique introductory logic text that covers both the basic rudiments of formal and informal logic as well as the real world where the discipline of logic adds substance and meaning to human discourse. As the text alternately discusses, instructs, questions, teases and challenges, readers will find themselves absorbing the fundamentals of the discipline, becoming fluent in the language of logic, understanding how logic works in the real world, and enjoying logic's ability to entertain, surprise, discover, and enlighten.
Sweet Reason is a unique introductory logic text that covers both the basic rudiments of formal and informal logic as well as the real world where the...
|
cena:
567,05 |
 |
Classification Theory for Abstract Elementary Classes
ISBN: 9781904987710 / Angielski / Miękka / 824 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that generalizes the relation "A is a substructure (or an elementary substructure) of B." The requirements are that the class is closed under isomorphism, and that isomorphic structures have isomorphic (generalized) substructures; we also require that our classes share some of the most basic properties of elementary classes, like closure under unions of increasing chains of substructures. We would like to classify this general family; in the sense of...
An abstract elementary class is a class of structures of the same vocabulary (like a class of rings, or a class of fields), with a partial order that ...
|
cena:
174,79 |
 |
The Theory of Partial Algebraic Operations
ISBN: 9780792346098 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Nowadays algebra is understood basically as the general theory of algebraic oper ations and relations. It is characterised by a considerable intrinsic naturalness of its initial notions and problems, the unity of its methods, and a breadth that far exceeds that of its basic concepts. It is more often that its power begins to be displayed when one moves outside its own limits. This characteristic ability is seen when one investigates not only complete operations, but partial operations. To a considerable extent these are related to algebraic operators and algebraic operations. The tendency to...
Nowadays algebra is understood basically as the general theory of algebraic oper ations and relations. It is characterised by a considerable intrinsic...
|
cena:
402,53 |
 |
Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday
ISBN: 9783642017476 / Angielski / Miękka / 245 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebratory symposium held on May 24-25, 2009, in Haifa, Israel.
Celebrating 65th birthday of Nissim Francez, this title contains 15 papers, written by friends and colleagues, many of whom congregated at a celebrato...
|
cena:
201,24 |
 |
Perspectives in Computation
ISBN: 9780226288550 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occupied for many decades pondering which problems can be solved by which procedures, and, for those that can be solved, how this can most efficiently be done. In recent years, quantum mechanics has augmented our understanding of the process of computation and of its limitations.
"Perspectives in Computation" covers three broad topics: the computation process and its limitations, the search for computational efficiency, and the role of quantum... Computation is the process of applying a procedure or algorithm to the solution of a mathematical problem. Mathematicians and physicists have been occ...
|
cena:
144,35 |
 |
The International Directory of Logicians: Who's Who in Logic
ISBN: 9781904987901 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The International Directory of Logicians is a listing of over 260 of the world's most foremost living logicians, representing the most important and influential developments of our day. It provides a compact summary of each entrant's eduction, professional appointments, honours and awards, principal publications, as well as a description of the nature and significance of his or her contributions to logic, and a "vision statement" concerning logic's future prospects. Logic here is understood in its broad sense, encompassing all branches of mathematical logic, philosophical logic and the...
The International Directory of Logicians is a listing of over 260 of the world's most foremost living logicians, representing the most important and i...
|
cena:
135,95 |
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
