» książki » Mathematics - Logic
topmenu
 |
Completeness and Reduction in Algebraic Complexity Theory
ISBN: 9783642086045 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the most important and successful theories in computational complex ity is that of NP-completeness. This discrete theory is based on the Turing machine model and achieves a classification of discrete computational prob lems according to their algorithmic difficulty. Turing machines formalize al gorithms which operate on finite strings of symbols over a finite alphabet. By contrast, in algebraic models of computation, the basic computational step is an arithmetic operation (or comparison) of elements of a fixed field, for in stance of real numbers. Hereby one assumes exact arithmetic....
One of the most important and successful theories in computational complex ity is that of NP-completeness. This discrete theory is based on the Turing...
|
cena:
402,53 |
 |
Robustness and Usability in Modern Design Flows
ISBN: 9789048176625 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up with this development. Therefore, today s design ?ow has to be improved to achieve a higher productivity. In this book the current design methodology and ver- cation methodology are analyzed, a number of de?ciencies are identi?ed, and solutions are suggested. Improvements in the methodology as well as in the underlying algorithms are proposed. An in-depth presentation of preliminary concepts makes the book self-contained. Based on this foundation...
The size of technically producible integrated circuits increases continuously. But the ability to design and verify these circuits does not keep up wi...
|
cena:
402,53 |
 |
Advanced Łukasiewicz calculus and MV-algebras
ISBN: 9789400708396 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent evaluation of continuously valued events, (Renyi) conditionals, and related algorithms.
This volume covers recent developments in Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finetti) coherent...
|
cena:
402,53 |
 |
A Bridge to Advanced Mathematics
ISBN: 9780486482194 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This helpful workbook-style "bridge" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically oriented calculus sequence and subsequent courses in algebra and analysis with a more theoretical slant.
Part 1 focuses on logic and number systems, providing the most basic tools, examples, and motivation for the manner, method, and concerns of higher mathematics. Part 2 covers sets, relations, functions, infinite sets, and mathematical proofs and reasoning. Author Dennis Sentilles also discusses the history and development of mathematics as... This helpful workbook-style "bridge" book introduces students to the foundations of advanced mathematics, spanning the gap between a practically orien...
|
cena:
96,15 |
 |
Logic in Elementary Mathematics
ISBN: 9780486482217 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The authors convey the material in a manner accessible to those trained in standard elementary mathematics but lacking any formal background in logic.
Topics include the statement calculus, proof and demonstration, abstract mathematical systems, and the restricted predicate calculus. The final chapter draws upon the methods of logical reasoning covered in previous chapters to develop solutions of linear and quadratic equations, definitions of order... This applications-related introductory treatment explores facets of modern symbolic logic useful in the exposition of elementary mathematics. The auth...
|
cena:
76,88 |
 |
Reflections on the Foundations of Mathematics: Essays in Honor of Solomon Feferman: Lecture Notes in Logic 15
ISBN: 9781568811697 / Angielski / Twarda / 450 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium ...
|
cena:
538,76 |
 |
Inexhaustibility: A Non-Exhaustive Treatment : Lecture Notes in Logic 16
ISBN: 9781568811758 / Angielski / Miękka / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any system of axioms for mathematics that we recognize as correct can be properly extended by adding as a new axiom a formal statement expressing that the original system is consistent. This suggests that our mathematical knowledge is inexhaustible, an essentially philosophical topic to which this book is devoted. presented, leading to a proof of incompleteness theorems. The inexhaustibility of mathematical knowledge is treated based on the concept...
Godels Incompleteness Theorems are among the most significant results in the foundation of mathematics. These results have a positive consequence: any...
|
cena:
249,73 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568811994 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
406,47 |
 |
Logic Colloquium '99: Lecture Notes in Logic 17
ISBN: 9781568812038 / Angielski / Miękka / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and research articles from some of the world's preeminent logicians. Two long articles are based on tutorials given at the meeting and present accessible expositions of current research in two active areas of logic, geometric model theory and descriptive set theory of group actions. The other articles cover current reseach topics in all areas of mathematical logic, including logic in computer science, proof theory, set theory, model theory,...
A compilation of papers presented at the 1999 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '99 includes surveys and...
|
cena:
225,25 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812762 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
242,26 |
 |
Model Theory of Fields: Lecture Notes in Logic 5, Second Edition
ISBN: 9781568812816 / Angielski / Twarda / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields to Hrushovksi's recent proof of the Mordell-Lang conjecture for function fields. This volume provides an insightful introduction to this active area, concentrating on connections to stability theory.
The model theory of fields is a fascinating subject stretching from Tarski's work on the decidability of the theories of the real and complex fields t...
|
cena:
538,76 |
 |
Logic Colloquium '03: Lecture Notes in Logic 24
ISBN: 9781568812939 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials a...
|
cena:
288,92 |
 |
Logic Colloquium '03 : Lecture Notes in Logic 24
ISBN: 9781568812946 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research articles from some of the world's preeminent logicians. It also covers research topics in almost all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Philosophy.
Contains the papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic. This book includes tutorials and research art...
|
cena:
146,88 |
 |
Logic in Tehran: Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, Held October 18-22, 2003, Lecture Notes
ISBN: 9781568812953 / Angielski / Twarda / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories of arithmetic. Other papers address interpretability theory, computable analysis, modal logic, and the history of mathematical logic in Iran. The conference was held in Tehran, Iran, in October 2003, with the expressed purpose of bringing together researchers with connections to Iranian logicians and promoting further research in mathematical logic in Iran.
This proceedings volume contains research papers in mathematical logic, especially in model theory and its applications to algebra and formal theories...
|
cena:
269,33 |
 |
Logic in Tehran : Proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003, Lecture Notes in Logic 26
ISBN: 9781568812960 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and formal theories of arithmetic. Other papers address category theory, computability, modal logic, and the history of mathematical logic in Iran.
Based on a conference that was held in Tehran, Iran, this collection of papers gives emphasis to model theory and its applications to algebra and form...
|
cena:
146,88 |
 |
Model Theory: An Introduction
ISBN: 9781441931573 / Angielski / Miękka / 345 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theory can be a useful tool in analyzing classical mathematical structures
Assumes only a familiarity with algebra at the beginning graduate level; Stresses applications to algebra; Illustrates several of the ways Model Theor...
|
cena:
201,09 |
 |
Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23
ISBN: 9781568812755 / Angielski / Twarda / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In Logicism Renewed, the author revisits this concept in light of advances in mathematical logic and the need for languages that can be understood by both humans and computers that require distinguishing between the intension and extension of predicates. Using Intensional Type Theory (ITT) the author provides a unified foundation for mathematics and computer science, yielding a much simpler foundation for recursion...
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamenta...
|
cena:
587,73 |
 |
Reverse Mathematics 2001: Lecture Notes in Logic 21
ISBN: 9781568812632 / Angielski / Twarda / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic.
Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms...
|
cena:
406,47 |
 |
Inexhaustibility: A Non-Exhaustive Treatment: Lecture Notes in Logic 16
ISBN: 9781568811741 / Angielski / Twarda / 263 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion theory is presented, leading to a proof of incompleteness theorems.
This text is concerned with the concept that our mathematical knowledge is inexhaustible. Basic material in predicate logic, set theory and recursion ...
|
cena:
514,26 |
 |
Goedel 96: Logical Foundations of Mathematics, Computer Science, and Physics : Lecture Notes in Logic 6
ISBN: 9781568811536 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in Brno, Czech Republic on the 90th anniversary of his birth. The wide and continuing importance of Godel s work in the logical foundations of mathematics, computer science, and physics is confirmed by the broad range of speakers who participated in making this gathering a scientific event.
This volume contains the proceedings of the conference Logical Foundations of Mathematics, Computer Science, and Physics-Kurt Godel's Legacy, held in ...
|
cena:
186,06 |
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
