Gibilisco S. Math Proofs Demystified

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

Математическая логика для чайников

McGraw-Hill Professional, 2005. - 290 pages.

Almost every student has to study some sort of mathematical proofs, whether it be in geometry, trigonometry, or with higher-level topics. In addition, mathematical theorems have become an interesting course for many students outside of the mathematical arena, purely for the reasoning and logic that is needed to complete them. Therefore, it is not uncommon to have philosophy and law students grappling with proofs. This book is the perfect resource for demystifying the techniques and principles that gove the mathematical proof area, and is done with the standard Demystified level, questions and answers, and accessibility.

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

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

Barwise J., Etchemendy J. Language, Proof and Logic

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

Издательство Seven Bridges Press, 1999, -597 pp. What do the fields of astronomy, economics, finance, law, mathematics, medicine, physics, and sociology have in common? Not much in the way of subject matter, that's for sure. And not all that much in the way of methodology. What they do have in common, with each other and with many other fields, is their dependence on a certain standard of rationality. In each of these fields, it is assumed that...

Chaitin G.J. The Unknowable

формат pdf
размер 527.56 КБ
добавлен 31 января 2012 г.

Издательство Springer, 1999, -128 pp. Having published four books on this subject, why a fifth? Because there’s something new: I compare and contrast G?del’s, Turing’s and my work in a very simple and straight-forward manner using LISP. Up to now I never wanted to examine G?del’s and Turing’s work too closely - I wanted to develop my own viewpoint. But there is no longer any danger. So I set out to explain the mathematical essence of three very...

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

Kneebone G.T. Mathematical Logic and the Foundations of Mathematics. An Introductory Survey

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

Издательство Van Nostrand, 1963, -224 pp. This introduction to mathematical logic and the philosophy of mathematics is based on courses of lectures given in the University of London, and attended both by undergraduates in the final year of an honours course in mathematics and by graduates beginning research for higher degrees. Planned with a variety of needs in mind, it is addressed both to readers who require only a general survey of the topics...

Paulson L.C. Logic and Computation. Interactive Proof with Cambridge LCF

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

Издательство Cambridge University Press, 1987, -316 pp. Growing numbers of computer scientists recognise the importance of formal methods of system design [48]. LCF and ML are often mentioned, seldom understood. There is a wide literature, as the bibliography attests. Gordon, Milner, and Wadsworth [41] describe Edinburgh LCF, with a few remarkable examples. The present book aims to make Cambridge LCF accessible to a wide audience. Serious stude...

Smith P. Introduction to G?del's Theorems

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

Издательство Cambridge University Press, 2005, -173 pp. In 1931, the young Kurt G?del published his First and Second Incompleteness Theorems; very often, these are simply referred to as ‘G?del’s Theorems’. His startling results settled (or at least, seemed to settle) some of the crucial questions of the day concerning the foundations of mathematics. They remain of the greatest significance for the philosophy of mathematics – though just what tha...

Smullyan Raymond What is the Name of This Book? The Riddle of Dracula & Other Logical Puzzles

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

New Jersey, Englewood Cliffs: Prentice-Hall, 1978. - 241p In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems — puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions. "The most original, most profound, and most humorous collection of recreational logic and math problems ever written. " —...