» książki » Mathematics - Logic
topmenu
 |
An Den Grenzen Des Endlichen: Das Hilbertprogramm Im Kontext Von Formalismus Und Finitismus
ISBN: 9783642296536 / Niemiecki / Miękka / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monographie zum Thema bietet der Autor neue Deutungen des Hilbertprogramms. Ausgehend von den historischen Quellen stellt er die Frage neu, ob Hilbert eine formalistische Philosophie der Mathematik voraussetzte. Er macht die Fulle der Ideen sichtbar, die Hilbert und seine Schuler formulierten, diskutiert anspruchsvolle philosophische Implikationen und raumt mit einer Reihe von Fehlinterpretationen auf.
Der Mathematiker David Hilbert entwickelte mit seiner Beweistheorie ein Programm zur Grundlegung der Mathematik. In der ersten deutschsprachigen Monog...
|
cena:
263,32 |
 |
Formalisieren Und Beweisen: Logik Für Informatiker
ISBN: 9783528147570 / Niemiecki / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach " Der Computer rechnet und rechnet und gibt schliesslich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an," schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung...
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzahlt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ei...
|
cena:
263,32 |
 |
Forcing for Mathematicians
ISBN: 9789814566001 / Angielski / Twarda / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set theory, forcing has been seen by the general mathematical community as a subject of great intrinsic interest but one that is technically so forbidding that it is only accessible to specialists. In the past decade, a series of remarkable solutions to long-standing problems in C*-algebra using set-theoretic methods, many achieved by the author and his collaborators, have renewed interest in this subject. This is the first book aimed at explaining...
Ever since Paul Cohen's spectacular use of the forcing concept to prove the independence of the continuum hypothesis from the standard axioms of set t...
|
cena:
264,47 |
 |
Reflections: The Magic, Music and Mathematics of Raymond Smullyan
ISBN: 9789814644587 / Angielski / Twarda / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - together with thoughts that come to his mind as he recalls them. This book includes topics from some of Smullyan's twenty-six books, as well as many of his favorite anecdotes and jokes. It also presents some generalizations of theorems of the great logicians Godel and Tarski, and discusses logic in general, and how he won his wife with a logic trick! Smullyan also relates some of his teaching experiences, and expresses his views on mathematical...
This is an exciting if not rambling account of events of Raymond Smullyan's four lives - as a mathematical logician, musician, magician, and author - ...
|
cena:
264,47 |
 |
Saturated Model Theory (2nd Edition)
ISBN: 9789812833815 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book include saturated model criteria for model completeness and elimination of quantifiers; Morley rank and degree of element types; categoricity in power; two-cardinal theorems; existence and uniqueness of prime model extensions of substructures of models of totally transcendental theories; and homogeneity of models of ϖ1-categorical theories.
This book contains the material for a first course in pure model theory with applications to differentially closed fields. Topics covered in this book...
|
cena:
264,47 |
 |
Jewels of Stringology: Text Algorithms
ISBN: 9789810248970 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The term "stringology" is a popular nickname for text algorithms, or algorithms on strings. This book deals with the most basic algorithms in the area. Most of them can be viewed as "algorithmic jewels" and deserve reader-friendly presentation. One of the main aims of the book is to present several of the most celebrated algorithms in a simple way by omitting obscuring details and separating algorithmic structure from combinatorial theoretical background. The book reflects the relationships between applications of text-algorithmic techniques and the classification of algorithms according to...
The term "stringology" is a popular nickname for text algorithms, or algorithms on strings. This book deals with the most basic algorithms in the area...
|
cena:
264,47 |
 |
Advances in Soft Computing: 16th Mexican International Conference on Artificial Intelligence, Micai 2017, Enseneda, Mexico, October 23-28, 2017, P
ISBN: 9783030028367 / Angielski / Miękka / 367 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,66 |
 |
Advances in Computational Intelligence: 16th Mexican International Conference on Artificial Intelligence, Micai 2017, Enseneda, Mexico, October 23-28,
ISBN: 9783030028398 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,66 |
 |
KI 2019: Advances in Artificial Intelligence: 42nd German Conference on Ai, Kassel, Germany, September 23-26, 2019, Proceedings
ISBN: 9783030301781 / Angielski / Miękka / 354 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,66 |
 |
Logic, Language, Information, and Computation: 25th International Workshop, Wollic 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
ISBN: 9783662576687 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018.
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Work...
|
cena:
265,66 |
 |
Formal Concept Analysis: 15th International Conference, Icfca 2019, Frankfurt, Germany, June 25-28, 2019, Proceedings
ISBN: 9783030214616 / Angielski / Miękka / 349 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
265,66 |
 |
Computational Complexity and Statistical Physics
ISBN: 9780195177381 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at the junction of these fields, connecting insights from statistical physics with basic computational challenges. Researchers have successfully applied techniques from the study of phase transitions to analyze NP-complete problems such as satisfiability and graph coloring. This is leading to a new understanding of the structure of these problems, and of how algorithms perform on them. Computational Complexity and Statistical Physics...
Computer science and physics have been closely linked since the birth of modern computing. In recent years, an interdisciplinary area has blossomed at...
|
cena:
266,13 |
 |
Foundations Without Foundationalism: A Case for Second-Order Logic
ISBN: 9780198250296 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first-...
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develo...
|
cena:
266,13 |
 |
Wittgenstein, Finitism, and the Foundations of Mathematics
ISBN: 9780199550470 / Angielski / Miękka / 280 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and by philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than on any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed...
Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been un...
|
cena:
266,13 |
 |
The Theory of Sets of Points
ISBN: 9781108005302 / Angielski / Miękka / 336 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The theory of sets, described in the preface to this book as 'Georg Cantor's magnificent theory' was first developed in the 1870s, and was recognised as one of the most important new branches of mathematical science. W. H. Young and his wife Grace Chisholm Young wrote this book, published in 1906, as a 'simple presentation'; but they warn that it is effectively a work in progress: the writing 'has necessarily involved attempts to extend the frontier of existing knowledge, and to fill in gaps which broke the connexion between isolated parts of the subject.' The Young's were a dynamic force in...
The theory of sets, described in the preface to this book as 'Georg Cantor's magnificent theory' was first developed in the 1870s, and was recognised ...
|
cena:
266,51 |
 |
The Core Model Iterability Problem
ISBN: 9783540619383 / Angielski / Miękka / 115 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal universes, or "core models," satisfying them. Since Godel's pioneering work on the universe of constructible sets, several larger core models satisfying stronger hypotheses have been constructed, and these have proved quite useful. Here the author extends this theory so that it can produce core models satisfying "There is a Woodin cardinal," a large cardinal hypothesis which is the focus of much current research. The book is intended for...
Large cardinal hypotheses play a central role in modern set theory. One important way to understand such hypotheses is to construct concrete, minimal ...
|
cena:
266,99 |
 |
Logic for Physicists
ISBN: 9781643270173 / Angielski / Twarda / 57 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
267,05 |
 |
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 |
 |
Handbook of Mathematical Induction: Theory and Applications
ISBN: 9781138199019 / Angielski / Miękka / 921 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This comprehensive book covers the theory, the structure of the written proof, all standard exercises, and hundreds of application examples from nearly every area of mathematics. In the first part of the book, the author discusses different inductive techniques, including well-ordered sets, basic mathematical induction, strong induction, double induction, infinite descent, downward induction, and several variants. He then introduces... Handbook of Mathematical Induction: Theory and Applications shows how to find and write proofs via mathematical induction. This co... |
cena:
269,33 |
 |
The Two-Valued Iterative Systems of Mathematical Logic. (Am-5), Volume 5
ISBN: 9780691095707 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming. The description for this book, The Two-Valued Iterative Systems of Mathematical Logic. (AM-5), Volume 5, will be forthcoming. |
cena:
269,38 |
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
