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 leaing 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 propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

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

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

Barwise J. (ed.) Handbook of Mathematical Logic

Справочник

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

Издательство Elsevier, 1977, -1165 pp. The Handbook of Mathematical Logic is an attempt to share with the entire mathematical community some modern developments in logic. We have selected from the wealth of topics available some of those which deal with the basic concerns of the subject, or are particularly important for applications to other parts of mathematics, or both. Mathematical logic is traditionally divided into four parts: model theor...

Bilanuik S. A Problem Course in Mathematical Logic

формат pdf
размер 676.29 КБ
добавлен 01 ноября 2011 г.

Department of Mathematics Trent University, 1991, -186 pp. This is a text for a problem-oriented undergraduate course in mathematical logic. It covers the basics of propositional and first-order logic through the Soundness, Completeness, and Compactness Theorems. Volume II, Computation, covers the basics of computability using Turing machines and recursive functions, the Incompleteness Theorems, and complexity theory through the P and NP. It co...

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...

Dov M. Gabbay. Handbooks of logic in computer science. Volume 5

Справочник

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

Volume 5. Logic and Algebraic Methods. The present Volume 5 continues with logical and algebraic methodologies basic to computer science. Chapter 1 covers Martin-L0f's type theory, originally developed to clarify the foundations of constructive mathematics it now plays a major role in theoretical computer science. The second chapter covers categorial logic, the interaction area between category theory and mathematical logic. It builds on the basi...

Ebbinghaus H.-D., Flum J., Thomas W. Mathematical Logic

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

Издательство Springer, 1984, -113 pp. Some of the central questions of mathematical logic are: What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathematical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers, the most pleasing of which is given by G?del's completeness theorem: It is possible to exhibit (in the...

Enderton H.B. A Mathematical Introduction to Logic

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

Harcourt/Academic Press, 2001. - 317 Pages. An accessible, flexible introduction to the subject of mathematical logic, the second edition of this popular and widely-adopted text has been revised to be appropriate for courses enrolling either advanced undergraduates or graduate students. Like the First Edition, this book is an introduction to the concepts of proof, truth, and computability. This Second Edition has additional examples and explana...

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...

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...