Bibel W. Deduction: Automated Logic

формат djvu
размер 2.01 МБ
добавлен 14 сентября 2011 г.

Academic Press, 1993. - 253 Pages.

Deduction: Automated Logic presents the broad topic of automated deductive reasoning in a concise and comprehensive manner. This book features broad coverage of deductive methods on the level of propositional and first-order logic, the strategic aspects of automated deduction, the applications of deduction mechanisms to a range of different areas, and their realization in concrete systems.
This book can be used both by readers seeking a broad survey of the area, and by those requiring a reference for more detailed analysis on individual topics. It is an invaluable text for students of artificial intelligence, cognitive science, and theorum- proving at the advanced undergraduate and graduate level.
Intended for readers who wish to become familiar with the area as a whole, or with selected topics, in a relatively short time.

Serves as a reference book for consultation on individual topics.
Contains one of the most comprehensive collections of different deduction mechanisms which has ever appeared in a single book, all presented in a uniform framework.
Contains extensive references and exercises.
Thoroughly cross-referenced.

Похожие разделы

Смотрите также

Crossley J.N. What is Mathematical Logic?

формат djvu
размер 882.84 КБ
добавлен 22 декабря 2011 г.

C. J. Ash (Author), J. N. Crossley (Author), C. J. Brickhill (Author), J. C. Stillwell (Author), N. H. Williams (Author) This introduction to the main ideas and results of mathematical logic is a serious treatment geared toward non-logicians. Starting with a historical survey of logic in ancient times, it traces the 17th-century development of calculus and discusses modern theories, including set theory, the continuum hypothesis, and other ideas.

Detlefsen M., McCarty D.C., Bacon J.B. Logic from A to Z

формат pdf
размер 1.1 МБ
добавлен 30 ноября 2011 г.

Routledge, 1999. - 128 pages. First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy. Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics. Over 500 entries include key terms found in the study of. * Logic: Argument, Turing Machine, Variable. * Set and model theory: Isomorphism, Function. * Computability theory: Algor...

Hedman S. A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

формат pdf
размер 6.84 МБ
добавлен 03 декабря 2011 г.

Oxford University Press, 2004. - 452 pages. The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering...

Hinman P.G. Fundamentals of Mathematical Logic

формат djvu
размер 6.61 МБ
добавлен 11 октября 2011 г.

AK Pеters, 2005. - 896 pages. This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and G?del’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory. Based on the author’s more than 35 years of teaching experience, the book develops students’ intuition by presenting complex ideas in the simplest context f...

Mendelson E. Introduction to Mathematical Logic

формат pdf
размер 10.39 МБ
добавлен 25 июня 2011 г.

Chapman & Hall/CRC, 1997. - 456 pages. The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and a...

Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

формат pdf
размер 8.28 МБ
добавлен 06 ноября 2011 г.

Издательство Springer, 1997, -248 pp. One of the most interesting recent developments within the field of automated deduction is inductive logic programming, an area that combines logic programming with machine learning. Within a short time this area has grown to an impressive field, rich in spectacular applications and full of techniques calling for new theoretical insights. This is the first book that provides a systematic introduction to the...

Padawitz P. Deduction and Declarative Programming

формат djvu
размер 1.4 МБ
добавлен 31 января 2012 г.

Издательство Cambridge University Press, 1992, -285 pp. This monograph promotes specification and programming on the basis of Horn logic with equality. As was pointed out in [Pad88a], this theoretical background equips us with a number of deductive methods for reasoning about specifications and designing correct programs. The term declarative programming stands for the combination of functional (or applicative) and relational (or logic) programmi...

Rautenberg W. A Concise Introduction to Mathematical Logic

формат pdf
размер 2.44 МБ
добавлен 11 декабря 2010 г.

Springer, 2006. - 260 pages. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics. It steadily developed during the 20th century into a broad discipline with several sub-areas and numerous applications in mathematics, informatics, linguisti...

Shoenfield J.R. Mathematical Logic

формат djvu
размер 4.59 МБ
добавлен 25 августа 2011 г.

AK Pеters/CRС Prеss, 2001. - 356 pages. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems, which face the mathematician. The author presents the basic concepts in an unusually clear and accessible f...

Smullyan R.M. Logical Labyrinths

формат pdf
размер 3.64 МБ
добавлен 18 октября 2011 г.

AK Peters, 2009. - 275 pages. This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for...