» książki » Mathematics - Logic
topmenu
 |
Thirty Five Years of Automating Mathematics
ISBN: 9789048164400 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before deciding in 1967 at the age of 49 to work on a new direction related to Automating Mathematics. By then, his contributions in mathematics were numerous and extremely influential. His book on advanced asymptotic methods, North- Holland 1958, was a classic and was subsequently turned into a book in the well known Dover book series. His work on combinatorics yielded influential notions and theorems of which we mention the de Bruijn-sequences of...
THIRTY FIVE YEARS OF AUTOMATING MATHEMATICS: DEDICATED TO 35 YEARS OF DE BRUIJN'S AUTOMATH N. G. de Bruijn was a well established mathematician before...
|
cena:
402,53 |
 |
A Modern Perspective on Type Theory: From Its Origins Until Today
ISBN: 9789048166398 / Angielski / Miękka / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions was at the heart of Russell's paradox. This led Russell to introduce type theory in order to avoid the paradox. Since, the twentieth century has seen an amazing number of theories concerned with types and functions and many applications. Progress in computer science also meant more and more emphasis on the use of logic, types and functions to study the syntax, semantics, design and implementation of programming languages and theorem provers,...
Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of functions...
|
cena:
523,30 |
 |
A Precis of Mathematical Logic
ISBN: 9789048183296 / Angielski / Miękka / 100 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical...
The work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out...
|
cena:
402,53 |
 |
Formal Logic
ISBN: 9789048183302 / Angielski / Miękka / 123 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Logic," one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, the scholastic art of disputation, the transcendental logic of the Kantian critique, the dialectical logic of Hegel, and the mathematical logic of the Principia Mathematica of Whitehead and Russell. The term "Formal Logic," following Kant is generally used to distinguish formal logical reasonings, precisely as formal, from the remaining universal truths based on reason. (Cf. SCHOLZ, 1931). A text-book example of a formal-logical inference which...
"Logic," one of the central words in Western intellectual history, compre hends in its meaning such diverse things as the Aristotelian syllogistic, th...
|
cena:
402,53 |
 |
Complementarity in Mathematics: A First Introduction to the Foundations of Mathematics and Its History
ISBN: 9789048183487 / Angielski / Miękka / 175 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As long as algebra and geometry The unreasonable effectiveness of proceeded along separate paths, mathematics in science ...Eugene Wigner their advance was slow and their applications limited. But when these sciences joined Weil, if you knows of a better 'oie, company, they drew from each go to it. Bruce Bairnsfather other fresh vitality and thence- forward marched on at a rapid pace What is now proved was once only towards perfeetion. imagined. Wi1liam Blake J oseph Louis Lagrange Growing specialization and diversification have brought a host of monographs and textbooks on increasingly...
As long as algebra and geometry The unreasonable effectiveness of proceeded along separate paths, mathematics in science ...Eugene Wigner their advanc...
|
cena:
603,81 |
 |
The Theory of Algorithms
ISBN: 9789048184538 / Angielski / Miękka / 369 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't see the problem. perhaps you will tind the tinal question. G. K. Chesterton. The Scandal of Father Brown 'The point of a Pin'. 'The Hermit CIad in Crane Feathers' in R. van Gulik's The Chinese Maze Murders. Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. However, the "tree" of knowledge of mathematics and related fields does not grow only by putting forth new branches....
Approach your problems from the right end It isn't that they can't see the solution. It is and begin with the answers. Then one day, that they can't s...
|
cena:
603,81 |
 |
Brouwer's Cambridge Lectures on Intuitionism
ISBN: 9780521177368 / Angielski / Miękka / 122 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan...
Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathe...
|
cena:
229,29 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813004 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
401,56 |
 |
Logic Colloquium '02: Lecture Notes in Logic 27
ISBN: 9781568813011 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.
Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emp...
|
cena:
225,25 |
 |
Aspects of Complexity: Minicourses in Algorithmics, Complexity and Computational Algebra. Mathematics Workshop, Kaikoura, January 7-15, 2000
ISBN: 9783110168105 / Angielski / Twarda / 178 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebra. Topics covered include basic models and questions of complexity theory, the Blum-Shub-Smale model of computation, probability theory applied to algorithmics (randomized alogrithms), parametric complexity, Kolmogorov complexity of finite strings, computational group theory, counting problems, and canonical models of ZFC providing a solution to continuum hypothesis. The text addresses students in computer science or mathematics,... The book contains 8 detailed expositions of the lectures given at the Kaikoura 2000 Workshop on Computability, Complexity, and Computational Algebr... |
cena:
467,22 |
 |
Das Ist O. B. D. A. Trivial!: Tipps Und Tricks Zur Formulierung Mathematischer Gedanken
ISBN: 9783834807717 / Niemiecki / Miękka / 96 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Was Sie schon immer uber die Kunst, mathematische Texte zu formulieren, wissen wollten, aber nie zu fragen wagten: Was bedeutet "trivial," "wohldefiniert," "Korollar," "eindeutig," "o. B. d. A.," ...? Was sind gute Bezeichnungen? Wie organisiert man einen Beweis?
Dieses Buch hilft den Studierenden der Mathematik mit vielen Beispielen und konkreten Ratschlagen bei der Formulierung mathematischer Ubungsaufgaben, Seminararbeiten und Examensarbeiten." Was Sie schon immer uber die Kunst, mathematische Texte zu formulieren, wissen wollten, aber nie zu fragen wagten: Was bedeutet "trivial," "wohldefini...
|
cena:
105,32 |
 |
Formal Languages and Compilation
ISBN: 9781849968171 / Angielski / Miękka / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language theory, on compiler and l- guage design, and to a lesser extent on natural language processing. In the turmoil of information technology developments, the subject of the book has kept the same fundamental principles over half a century, and its relevance for theory and practice is as important as in the early days. This state of a?airs of a topic, which is central to computer science and is based on consolidated principles, might lead us to...
State of books on compilers The book collects and condenses the experience of years of teaching compiler courses and doing research on formal language...
|
cena:
281,76 |
 |
Models and Games
ISBN: 9780521518123 / Angielski / Twarda / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht Fraisse game; and the model existence game. The third game has not been isolated in the literature before but it underlies the concepts of Beth tableaux and consistency properties. Jouko Vaananen shows that these games are closely related and in turn govern the three interrelated concepts of logic: truth, elementary equivalence and proof. All three methods are developed not only for first order logic but also for infinitary logic and generalized...
This gentle introduction to logic and model theory is based on a systematic use of three important games in logic: the semantic game; the Ehrenfeucht ...
|
cena:
321,81 |
 |
The Q-Theory of Finite Semigroups
ISBN: 9781441935366 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Discoveries in finite semigroups have influenced several mathematical fields, including theoretical computer science, tropical algebra via matrix theory with coefficients in semirings, and other areas of modern algebra. This comprehensive, encyclopedic text will provide the reader - from the graduate student to the researcher/practitioner - with a detailed understanding of modern finite semigroup theory, focusing in particular on advanced topics on the cutting edge of research. Key features: (1) Develops q-theory, a new theory that provides a unifying approach to finite semigroup... Discoveries in finite semigroups have influenced several mathematical fields, including theoretical computer science, tropical algebra via matrix t... |
cena:
402,53 |
 |
Logica: Metodo Breve
ISBN: 9788847018839 / Włoski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Godel, Lowenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi."
Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, complete...
|
cena:
112,68 |
 |
Methods of Cut-Elimination
ISBN: 9789400703193 / Angielski / Twarda / 290 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs). The first part investigates traditional reductive methods from the point of view of proof rewriting. Within this general framework, generalizations of Gentzen's and Sch utte-Tait's cut-elimination methods are defined and shown terminating with ACNFs of the original proof.... This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence o... |
cena:
402,53 |
 |
Information and Randomness: An Algorithmic Perspective
ISBN: 9783642077937 / Angielski / Miękka / 468 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I said: "The research in algorithmic information theory is already some 30 years old. However, only the recent years have witnessed a really vigorous growth in this area. . . . The present book by Calude fits very well in our series. Much original research is presented. . . making the approach richer in consequences than the classical one. Remarkably, however, the text is so self-contained and coherent that the book may also serve as a textbook....
The first edition of the monograph Information and Randomness: An Algorithmic Perspective by Crist ian Calude was published in 1994. In my Foreword I ...
|
cena:
229,43 |
 |
Boolean Functions and Computation Models
ISBN: 9783642082177 / Angielski / Miękka / 602 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures deciding the validity of mathematical statements. The first example of such a problem was the undecidability of the Halting Problem which is essentially the question of debugging a computer program: Will a given program eventu- ally halt? Computational complexity today addresses the quantitative aspects of the solutions obtained: Is the problem to be solved tractable? But how does one measure the intractability of computation? Several ideas were...
The foundations of computational complexity theory go back to Alan Thring in the 1930s who was concerned with the existence of automatic procedures de...
|
cena:
301,73 |
 |
Algebraic Complexity Theory
ISBN: 9783642082283 / Angielski / Miękka / 618 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuitive notion of algorithm. It is only in this century that metamathematical problems have led to the intensive search for a precise and sufficiently general formalization of the notions of computability and algorithm. In the 1930s, a number of quite different concepts for this purpose were pro posed, such as Turing machines, WHILE-programs, recursive functions, Markov algorithms, and Thue systems. All these concepts turned out to be equivalent, a...
The algorithmic solution of problems has always been one of the major concerns of mathematics. For a long time such solutions were based on an intuiti...
|
cena:
563,56 |
 |
Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application
ISBN: 9783642082306 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. In the early 1970s, when the book Formal Languages by the second- mentioned editor appeared, it was still quite feasible to write a comprehensive book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes...
The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some yea...
|
cena:
925,87 |
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
