Bergmann M., Moor J., Nelson J. The Logic Book



Bergmann M., Moor J., Nelson J. The Logic Book
03.03.2011 в 15:34 84.59 Мб pdf 16 раз
McGraw-Hill, 2003. - 576 pages.

This outstanding book is a leading text for symbolic or formal logic courses. All techniques and concepts are presented with clear, comprehensive explanations and numerous, carefully constructed examples. Its flexible organization (all chapters are complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.

Комментарии


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


Smullyan R.M. Logical Labyrinths

Smullyan R.M. Logical Labyrinths

разное
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 mathematic...
18.10.2011 в 23:31 3.64 Мб 2 раза
Shoenfield J.R. Mathematical Logic

Shoenfield J.R. Mathematical Logic

разное
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 i...
25.08.2011 в 10:29 4.59 Мб 5 раз
Nienhuys-Cheng S.-H., de Wolf R. Foundations of Inductive Logic Programming

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

разное
Издательство 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...
06.11.2011 в 21:14 8.28 Мб 2 раза
Hinman P.G. Fundamentals of Mathematical Logic

Hinman P.G. Fundamentals of Mathematical Logic

разное
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 mo...
11.10.2011 в 01:10 6.61 Мб 4 раза
Bibel W. Deduction: Automated Logic

Bibel W. Deduction: Automated Logic

разное
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 appl...
14.09.2011 в 00:32 2.01 Мб 3 раза
Нет изображения

Rautenberg W. A Concise Introduction to Mathematical Logic

разное
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 ...
11.12.2010 в 17:35 2.44 Мб 14 раз
Detlefsen M., McCarty D.C., Bacon J.B. Logic from A to Z

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

разное
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 st...
30.11.2011 в 12:46 1.1 Мб 1 раз
Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

Michael huth, Mark ryan. Logic in computer science modelling and Reasoning about Systems

разное
Our motivation for (re)writing this book
One of the leitmotifs of writing the first edition of our book was the observation
that most logics used in the design, specification and verification of
computersystems fundamentally deal with a satisfaction relation
M ?
where M is some sort of situation or model of a...
22.12.2011 в 12:43 2.13 Мб 1 раз
Mendelson E. Introduction to Mathematical Logic

Mendelson E. Introduction to Mathematical Logic

разное
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,...
25.06.2011 в 01:56 10.39 Мб 7 раз
Hamburger H., Richards D. Logic and Language Models for Computer Science

Hamburger H., Richards D. Logic and Language Models for Computer Science

разное
Prentice Hall, 2002. - 341 Pages.

This book invites the reader to explore abstractions that are crucial to computer science. The authors bring a sense of excitement to logics, formal languages and automata-motivating topics by linking them to computing and to computational applications, sometime with whole chapters. The...
25.12.2010 в 20:20 16.21 Мб 8 раз