» książki » Mathematics - Logic
topmenu
 |
Three Views of Logic: Mathematics, Philosophy, and Computer Science
ISBN: 9780691160443 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic... Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate ... |
cena:
269,38 |
 |
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
ISBN: 9789811201929 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
269,38 |
 |
Agent_zero: Toward Neurocognitive Foundations for Generative Social Science
ISBN: 9780691158884 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new theoretical entity: Agent_Zero. This software individual, or "agent," is endowed with distinct emotional/affective, cognitive/deliberative, and social modules. Grounded in contemporary neuroscience, these internal components interact to generate observed, often far-from-rational, individual behavior. When multiple agents of this new type move and interact spatially, they collectively generate an astonishing range of dynamics spanning the... The Final Volume of the Groundbreaking Trilogy on Agent-Based Modeling In this pioneering synthesis, Joshua Epstein introduces a new t... |
cena:
269,38 |
 |
Number Theory: An Introduction Via the Density of Primes
ISBN: 9783319829319 / Angielski / Miękka / 413 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
269,68 |
 |
Theories of Computability
ISBN: 9780521153430 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "the" theory of computability (the theory created by Alan Turing and others in the 1930s), but also a variety of other theories (of Boolean functions, automata and formal languages) as theories of computability. These are addressed from the classical perspective of their generation by grammars and from the more modern perspective as rational cones. The treatment of the classical theory of computable functions and relations takes the form of a...
Broad in coverage, mathematically sophisticated, and up to date, this book provides an introduction to theories of computability. It treats not only "...
|
cena:
270,55 |
 |
A Course in Model Theory
ISBN: 9780521763240 / Angielski / Twarda / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.
This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplic...
|
cena:
270,77 |
 |
Logicism and Its Philosophical Legacy
ISBN: 9781107029804 / Angielski / Twarda / 281 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject Frege, Russell, Ramsey...
The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it...
|
cena:
270,77 |
 |
The Philosophy of Mathematics Today
ISBN: 9780199262625 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figures in the field. All essays deal with foundational issues, from the nature of mathematical knowledge and mathematical existence to logical consequence, abstraction, and the notions of set and natural number. The contributors also represent and criticize a variety of prominent approaches to the philosophy of mathematics, including platonism, realism, normalism, constructivism, and formalism.
This comprehensive volume gives a panorama of the best current work in this lively field, through twenty specially written essays by the leading figur...
|
cena:
270,77 |
 |
A Primer of Infinistesimal Analysis
ISBN: 9780521887182 / Angielski / Twarda / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the most remarkable recent occurrences in mathematics is the re-founding, on a rigorous basis, the idea of infinitesimal quantity, a notion which played an important role in the early development of the calculus and mathematical analysis. In this new and updated edition, basic calculus, together with some of its applications to simple physical problems, are presented through the use of a straightforward, rigorous, axiomatically formulated concept of 'zero-square', or 'nilpotent' infinitesimal - that is, a quantity so small that its square and all higher powers can be set, to zero. The...
One of the most remarkable recent occurrences in mathematics is the re-founding, on a rigorous basis, the idea of infinitesimal quantity, a notion whi...
|
cena:
270,77 |
 |
Computational Complexity: A Modern Approach
ISBN: 9780521424264 / Angielski / Twarda / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set.
This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no...
|
cena:
270,77 |
 |
Proofs 101: An Introduction to Formal Mathematics
ISBN: 9780367536817 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
274,23 |
 |
Proof and Knowledge in Mathematics
ISBN: 9781138009356 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning the nature of justification in mathematics and possible sources of that justification. Among these are the question of whether mathematical justification is a priori or a posteriori in character, whether logical and mathematical differ, and if formalization plays a significant role in mathematical justification,
These questions arise from any attempt to discover an epistemology for mathematics. This collection of essays considers various questions concerning t...
|
cena:
274,23 |
 |
Infinity and Truth
ISBN: 9789814571036 / Angielski / Twarda / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of Singapore, from 25 to 29 July 2011. The chapters cover topics in mathematical and philosophical logic that examine various aspects of the foundations of mathematics. The theme of the volume focuses on two basic foundational questions: (i) What is the nature of mathematical truth and how does one resolve questions that are formally unsolvable within the Zermelo-Fraenkel Set Theory with the Axiom of Choice, and (ii) Do the discoveries in...
This volume is based on the talks given at the Workshop on Infinity and Truth held at the Institute for Mathematical Sciences, National University of ...
|
cena:
274,27 |
 |
A Beginner's Further Guide to Mathematical Logic
ISBN: 9789814730990 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, contains a bit on formal systems and recursion, and concludes with chapters on Gödel's famous incompleteness theorem, along with related results.The present volume begins with a bit more on propositional and first-order logic, followed by what I would call a 'fein' chapter, which simultaneously generalizes some results from recursion theory, first-order arithmetic systems, and what I dub a 'decision machine.' Then come five chapters on...
This book is a sequel to my Beginner's Guide to Mathematical Logic.The previous volume deals with elements of propositional and first-order logic, con...
|
cena:
274,27 |
 |
The Search for Certainty: A Philosophical Account of Foundations of Mathematics
ISBN: 9780198752448 / Angielski / Twarda / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for mathematics. From the late nineteenth century to the present day, this project has stimulated some of the most original and influential work in logic and philosophy.
Marcus Giaquinto tells the compelling story of one of the great intellectual adventures of the modern era: the attempt to find firm foundations for ma...
|
cena:
275,42 |
 |
Computability and Randomness
ISBN: 9780199652600 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject. The complexity and the randomness aspect of a set of natural numbers are closely related. Traditionally, computability theory is concerned with the complexity aspect. However, computability theoretic tools can also be used to introduce mathematical counterparts for the intuitive notion of randomness of a set. Recent research shows that, conversely, concepts and methods originating from randomness...
The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerou...
|
cena:
275,42 |
 |
Quantum Groups: A Path to Current Algebra
ISBN: 9780521695244 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Algebra has moved well beyond the topics discussed in standard undergraduate texts on 'modern algebra'. Those books typically dealt with algebraic structures such as groups, rings and fields: still very important concepts However Quantum Groups: A Path to Current Algebra is written for the reader at ease with at least one such structure and keen to learn algebraic concepts and techniques. A key to understanding these new developments is categorical duality. A quantum group is a vector space with structure. Part of the structure is standard: a multiplication making it an 'algebra'. Another...
Algebra has moved well beyond the topics discussed in standard undergraduate texts on 'modern algebra'. Those books typically dealt with algebraic str...
|
cena:
275,42 |
 |
Threshold Logic
ISBN: 9780520329553 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
275,77 |
 |
Theory of Recursive Functions and Effective Computability
ISBN: 9780262680523 / Angielski / Miękka / 506 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. (Reprint of the 1967 edition) (Reprint of the 1967 edition) |
cena:
276,05 |
 |
Constructivism in Mathematics: An Introduction Volume 121
ISBN: 9780444705068 / Angielski / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
276,05 |
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
