» książki » Mathematics - Logic
topmenu
 |
Ignorance: What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know
ISBN: 9780231221658 / Angielski / Twarda / 07-04-2026 / 344 str. Książka dostępna od: 07-04-2026 |
|
Termin ukazania się książki: 07-04-2026
Książkę można już zamówić z rabatem 5% |
|
132,37 |
 |
Isilc - Proof Theory Symposion: Dedicated to Kurt Schütte on the Occasion of His 65th Birthday. Proceedings of the International Summer Institute and
ISBN: 9783540075332 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,70 |
 |
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
ISBN: 9783540111702 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
140,70 |
 |
Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
ISBN: 9783540527725 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this field. Other topics covered include computational complexity theory, generalized recursion theory, proof theoretic questions in recursion theory, and recursive mathematics.
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the develo...
|
cena:
140,70 |
 |
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 |
 |
Stochastic Calculus with Infinitesimals
ISBN: 9783642331480 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geometry. This book proposes to solve the dilemma: by adopting E. Nelson's "radically elementary" theory of continuous-time stochastic processes.
Stochastic analysis is not only a thriving area of pure mathematics with intriguing connections to partial differential equations and differential geo...
|
cena:
140,70 |
 |
Amarts and Set Function Processes
ISBN: 9783540128670 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,70 |
 |
Category Theory: Applications to Algebra, Logic and Topology
ISBN: 9783540119616 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,70 |
 |
Proofs and Algorithms: An Introduction to Logic and Computability
ISBN: 9780857291202 / Angielski / Miękka / 156 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as reasoning and computation. Proofs and Algorithms: Introduction to Logic and Computability is an introduction to the fundamental concepts of contemporary logic - those of a proof, a computable function, a model and a set. It presents a series of results, both positive and negative, - Church's undecidability theorem, Godel's incompleteness theorem, the theorem asserting the semi-decidability of provability - that have profoundly changed...
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods to determine whether a statement is true, such as r...
|
cena:
140,70 |
 |
Amarts and Set Function Processes
ISBN: 9783662135358 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,70 |
 |
Loeb Measures in Practice: Recent Advances: EMS Lectures 1997
ISBN: 9783540413844 / Angielski / Miękka / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This expanded version of the 1997 European Mathematical Society Lectures given by the author in Helsinki, begins with a self-contained introduction to nonstandard analysis (NSA) and the construction of Loeb Measures, which are rich measures discovered in 1975 by Peter Loeb, using techniques from NSA. Subsequent chapters sketch a range of recent applications of Loeb measures due to the author and his collaborators, in such diverse fields as (stochastic) fluid mechanics, stochastic calculus of variations ("Malliavin" calculus) and the mathematical finance theory. The exposition is designed for...
This expanded version of the 1997 European Mathematical Society Lectures given by the author in Helsinki, begins with a self-contained introduction to...
|
cena:
140,70 |
 |
Banach Spaces and Descriptive Set Theory: Selected Topics
ISBN: 9783642121524 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These notes are devoted to the study of some classical problems in the Geometry of Banach spaces. The novelty lies in the fact that their solution relies heavily on techniques coming from Descriptive Set Theory. Thecentralthemeisuniversalityproblems.Inparticular, thetextprovides an exposition of the methods developed recently in order to treat questions of the following type: (Q) LetC be a class of separable Banach spaces such that every space X in the classC has a certain property, say property (P). When can we ?nd a separable Banach space Y which has property (P) and contains an isomorphic...
These notes are devoted to the study of some classical problems in the Geometry of Banach spaces. The novelty lies in the fact that their solution rel...
|
cena:
140,70 |
 |
Elements of Logic Via Numbers and Sets
ISBN: 9783540761235 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a formal logical proof. The purpose of this book is to describe why such proofs are important, what they are made of, how to recognize valid ones, how to distinguish different kinds, and how to construct them. This book is written for 1st year students with no previous experience of formulating proofs. Dave Johnson has drawn from his considerable experience to provide a text that concentrates on the most important elements of the subject using...
In mathematics we are interested in why a particular formula is true. Intuition and statistical evidence are insufficient, so we need to construct a f...
|
cena:
140,86 |
 |
Semantics of Data Types: International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
ISBN: 9783540133469 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of the International Symposium on the Semantics of Data Types.
Proceedings of the International Symposium on the Semantics of Data Types.
|
cena:
140,86 |
 |
Rewriting Techniques and Applications: Bordeaux, France, May 25-27, 1987. Proceedings
ISBN: 9783540172208 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87," held in Bordeaux, France, May 1987.
This volume contains the proceedings of the Second International Conference on Rewriting Techniques and Applications, "RTA 87," held in Bordeaux, Fran...
|
cena:
140,86 |
 |
Sets, Logic and Categories
ISBN: 9781852330569 / Angielski / Miękka / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axiom of Choice, Godel's Theorem, and the Skolem Paradox. But they are also rich mathematical theories in their own right, contributing techniques and results to working mathematicians such as the Compactness Theorem and module categories. The book is aimed at those who know some mathematics and want to know more about its building blocks. Set theory is first treated naively an axiomatic treatment is given after the basics of first-order logic have...
Set theory, logic and category theory lie at the foundations of mathematics, and have a dramatic effect on the mathematics that we do, through the Axi...
|
cena:
140,86 |
 |
Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium "Rekursive Kombinatorik" Held from May 23-28, 1983 at the Institut
ISBN: 9783540133315 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
 |
Computational Aspects of an Order-Sorted Logic with Term Declarations
ISBN: 9783540517054 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
140,86 |
 |
Stacs 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985
ISBN: 9783540139126 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
140,86 |
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
