Books in category Logic
2 3 4 5 6 7 8 9 10 11 12
Author: Homer, Steven ;Nerode, Anil ;Platek, Richard A.
Publisher : Springer
ISBN : 9783540527343
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to
Author: Aristotle
Publisher : Book Jungle
ISBN : 9781604245721
Aristotle was a student of Plato and a teacher of Alexander the Great. His writings include philosophy, logic, rhetoric, government, biology and zoology. The Catagories explains how every object can be placed in one of the categories. This was known as the praedicamenta. The text begins by defining, synonymous (univocal words), homonymous (equivocal words) and paronymous (demonstrative words).
Author: Colton, Simon ;Colton, S.
Publisher : Springer
ISBN : 9781852336097
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new conc
Author:
Publisher : Springer-Verlag TELOS
ISBN : 9780387946177
This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique familiar to any mathematic
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9780792351627
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive co
Author:
Publisher : Springer
ISBN : 9783540515272
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
Author:
Publisher : Springer
ISBN : 9783540122791
Author: W. Stanley Jevons
Publisher : University Press of the Pacific
ISBN : 9781410202703
W. Stanley Jevons, a pupil of Augustus de Morgan, was a major figure in the field of logic and economics. He was at the University of Manchester from 1866-1876. He then became professor of political economy at University College London, resigning in 1880. The main book of this period was Studies and Exercises in Deductive Logic (1884). He simplified and corrected Boole's earlier work on logic. His
Author: Schmidt, Stefan E.
Publisher : Birkhauser Boston
ISBN : 9783764351717
Author:
Publisher : Springer
ISBN : 9783540527725
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.
Author: Sippu, Seppo ;Soisalon-Soininen, Eljas
Publisher : Springer
ISBN : 9783540517320
Author: Priest, Graham (EDT)/ Beall, J. C. (EDT)/ Armour-Garb, Bradley P. (EDT)
Publisher : Oxford University Press
ISBN : 9780199265176
The Law of Non-Contradiction -- that no contradiction can be true -- has been a seemingly unassailable dogma since the work of Aristotle, in Book G of the Metaphysics. It is an assumption challenged from a variety of angles in this collection of original papers. Twenty-three of the world'sleading experts investigate the law, considering arguments for and against it and discussing methodological is
Author:
Publisher : Kluwer Academic Publishers
ISBN : 9781402013256
By Husserl's own account, he composed the Logical Investigations over a century ago in order to solve two problems: the problem of providing a scientific, self-reflexive account of logical form and method, as a condition of science, and the problem of relating the subjectivity of knowing with the objectivity of the content of knowledge. The project took shape as six distinct investigations into th
Author: Hersh, Reuben (EDT)
Publisher : NOT AVAIL
ISBN : 9780387257174
This book collects some of the most interesting recent writings that are tackling, from various points of view, the problem of giving an accounting of the nature, purpose, and justification of real mathematical practice--mathematics as actually done by real live mathematicians. What is the nature of the objects being studied? What determines the directions and styles in which mathematics progresse
Author:
Publisher : Springer
ISBN : 9783540581314
Author: Habel, Annegret
Publisher : Springer
ISBN : 9783540560050
Author:
Publisher : Springer
ISBN : 9783540578116
Author:
Publisher : Springer
ISBN : 9783540551799
Author: Boehm, Rudolf
Publisher : 101 Productions
ISBN : 9781402006296
Wahr oder unwahr scheinen Prdikate, die nur einer Aussage zukommen knnen. Die Frage, auf die eine Aussage antwortet, das Thema, worauf sie sich einlt, der Gegenstand, ber den sie sich ausspricht, scheinen nicht wahr oder verkehrt, sondern allenfalls interessant oder uninteressant sein zu knnen. Die Frage der Topik, wie sie hier gestellt und errtert wird, ist dahingegen die, ob sich nicht auch fr e
Author: D. S. Clarke
Publisher : Kluwer Academic Publishers
ISBN : 9781402030796
Through a variety of logical/linguistic investigations, the past century witnessed some of the most important advances in the history of philosophy. The outcome, however, has been the largely isolated results of a piece-meal approach to philosophy. In his landmark work Sign Levels, D.S. Clarke provides readers with an integrative framework designed to overcome this lack of sustained focus. Drawing
Logic and Computer Science
Author: Homer, Steven ;Nerode, Anil ;Platek, Richard A.Publisher : Springer
ISBN : 9783540527343
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to
Min Price: 29.00
Max Price: 29.00
The Categories
Author: Aristotle Publisher : Book Jungle
ISBN : 9781604245721
Aristotle was a student of Plato and a teacher of Alexander the Great. His writings include philosophy, logic, rhetoric, government, biology and zoology. The Catagories explains how every object can be placed in one of the categories. This was known as the praedicamenta. The text begins by defining, synonymous (univocal words), homonymous (equivocal words) and paronymous (demonstrative words).
Min Price: 8.00
Max Price: 8.00
Automated Theory Formation in Pure Mathematics
Author: Colton, Simon ;Colton, S. Publisher : Springer
ISBN : 9781852336097
In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new conc
Min Price: 168.00
Max Price: 168.00
An Accompaniment to Higher Mathematics
Author: Publisher : Springer-Verlag TELOS
ISBN : 9780387946177
This text prepares undergraduate mathematics students to meet two challenges in the study of mathematics, namely, to read mathematics independently and to understand and write proofs. The book begins by teaching how to read mathematics actively, constructing examples, extreme cases, and non-examples to aid in understanding an unfamiliar theorem or definition (a technique familiar to any mathematic
Min Price: 49.00
Max Price: 49.00
Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume 3: Belief Change
Author: Publisher : Kluwer Academic Publishers
ISBN : 9780792351627
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art picture of its formal foundations. It deals with the addition, deletion and combination of pieces of information and, more generally, with the revision, updating and fusion of knowledge bases. The book offers an extensive co
Min Price: 378.00
Max Price: 378.00
Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987
Author: Publisher : Springer
ISBN : 9783540515272
These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.
Min Price: 54.00
Max Price: 54.00
Nonstandard Analysis - Recent Developments
Author: Publisher : Springer
ISBN : 9783540122791
Min Price: 54.00
Max Price: 54.00
Elementary Lessons in Logic: Deductive and Inductive
Author: W. Stanley JevonsPublisher : University Press of the Pacific
ISBN : 9781410202703
W. Stanley Jevons, a pupil of Augustus de Morgan, was a major figure in the field of logic and economics. He was at the University of Manchester from 1866-1876. He then became professor of political economy at University College London, resigning in 1880. The main book of this period was Studies and Exercises in Deductive Logic (1884). He simplified and corrected Boole's earlier work on logic. His
Min Price: 1.00
Max Price: 28.00
Grundlegungen Zu Einer Allgemeinen Affinen Geometrie
Author: Schmidt, Stefan E. Publisher : Birkhauser Boston
ISBN : 9783764351717
Min Price: 76.00
Max Price: 76.00
Recursion Theory Week
Author: Publisher : Springer
ISBN : 9783540527725
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.
Min Price: 54.00
Max Price: 54.00
Parsing Theory II
Author: Sippu, Seppo ;Soisalon-Soininen, Eljas Publisher : Springer
ISBN : 9783540517320
Min Price: 177.00
Max Price: 177.00
The Law of Non-Contradiction
Author: Priest, Graham (EDT)/ Beall, J. C. (EDT)/ Armour-Garb, Bradley P. (EDT)Publisher : Oxford University Press
ISBN : 9780199265176
The Law of Non-Contradiction -- that no contradiction can be true -- has been a seemingly unassailable dogma since the work of Aristotle, in Book G of the Metaphysics. It is an assumption challenged from a variety of angles in this collection of original papers. Twenty-three of the world'sleading experts investigate the law, considering arguments for and against it and discussing methodological is
Min Price: 127.00
Max Price: 127.00
Husserl's Logical Investigations
Author: Publisher : Kluwer Academic Publishers
ISBN : 9781402013256
By Husserl's own account, he composed the Logical Investigations over a century ago in order to solve two problems: the problem of providing a scientific, self-reflexive account of logical form and method, as a condition of science, and the problem of relating the subjectivity of knowing with the objectivity of the content of knowledge. The project took shape as six distinct investigations into th
Min Price: 144.00
Max Price: 144.00
18 Unconventional Essays on the Nature of Mathematics
Author: Hersh, Reuben (EDT)Publisher : NOT AVAIL
ISBN : 9780387257174
This book collects some of the most interesting recent writings that are tackling, from various points of view, the problem of giving an accounting of the nature, purpose, and justification of real mathematical practice--mathematics as actually done by real live mathematicians. What is the nature of the objects being studied? What determines the directions and styles in which mathematics progresse
Min Price: 49.00
Max Price: 49.00
Results and Trends in Theoretical Computer Science
Author: Publisher : Springer
ISBN : 9783540581314
Min Price: 114.00
Max Price: 114.00
Hyperedge Replacement: Grammars and Languages
Author: Habel, Annegret Publisher : Springer
ISBN : 9783540560050
Min Price: 81.00
Max Price: 81.00
Algorithms and Complexity
Author: Publisher : Springer
ISBN : 9783540578116
Min Price: 76.00
Max Price: 76.00
Computer Aided Verification
Author: Publisher : Springer
ISBN : 9783540551799
Min Price: 117.00
Max Price: 117.00
Topik
Author: Boehm, Rudolf Publisher : 101 Productions
ISBN : 9781402006296
Wahr oder unwahr scheinen Prdikate, die nur einer Aussage zukommen knnen. Die Frage, auf die eine Aussage antwortet, das Thema, worauf sie sich einlt, der Gegenstand, ber den sie sich ausspricht, scheinen nicht wahr oder verkehrt, sondern allenfalls interessant oder uninteressant sein zu knnen. Die Frage der Topik, wie sie hier gestellt und errtert wird, ist dahingegen die, ob sich nicht auch fr e
Min Price: 89.00
Max Price: 89.00
Sign Levels, Language and Its Evolutionary Antecedents, Philosophical Studies Ser. Vol 96
Author: D. S. ClarkePublisher : Kluwer Academic Publishers
ISBN : 9781402030796
Through a variety of logical/linguistic investigations, the past century witnessed some of the most important advances in the history of philosophy. The outcome, however, has been the largely isolated results of a piece-meal approach to philosophy. In his landmark work Sign Levels, D.S. Clarke provides readers with an integrative framework designed to overcome this lack of sustained focus. Drawing
Min Price: 49.00
Max Price: 49.00
Find book
books-az.com all rights reserved
