Математическая логика
Математика
  • формат djvu
  • размер 984.18 КБ
  • добавлен 22 февраля 2011 г.
Levitz K., Levitz H. Logical and Boolean Algebra
Copyright 1979 by Barren's Educational Series.

This book was intended for students who plan to study in the humanities and in the social and management sciences. Students interested in the physical and natural sciences, however, might also find its study rewarding. All that is presupposed is some high school algebra. The authors strongly urge that the topics be studied in the order in which they appear and that no topics be skipped. In recent years there has been considerable divergence of opinion among mathematics teachers as to the degree of abstraction, rigor, formality, and generality that is appropriate for elementary courses. We believe that the trend lately has been to go too far in these directions. Quite naturally, this book reflects our views on this question. Although the subject matter is considered from a mode point of view, we have consciously tried to emulate the informal and lucid style of the better writers of a generation ago. Manipulative skills are cultivated slowly, and the progression from the concrete to the abstract is very gradual.
We wish to extend our thanks to our typist Susan Schreck and to Matthew Marlin and Anne Park, who were students in a course from which this book evolved. We also wish to thank the editorial consultants of Barron's for their helpful suggestions.
Похожие разделы
Смотрите также

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

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

Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

Справочник
  • формат pdf
  • размер 8.35 МБ
  • добавлен 14 ноября 2011 г.
'Satisfiability (SAT) related topics have attracted researchers from various disciplines: logic, applied areas such as planning, scheduling, operations research and combinatorial optimization, but also theoretical issues on the theme of complexity and much more, they all are connected through SAT. My personal interest in SAT stems from actual solving: The increase in power of modern SAT solvers over the past 15 years has been phenomenal. It has b...

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

Schlechta K. Nonmonotonic Logics: Basic Concepts, Results, and Techniques

  • формат pdf
  • размер 5.06 МБ
  • добавлен 06 ноября 2011 г.
Издательство Springer, 1997, -248 pp. Nonmonotonic logics were created as an abstraction of some types of common sense reasoning. They have the surprising property - for logicians trained on classical logic - of being nonmonotonic in the following sense: increasing the axiom set will not necessarily result in an increase in the set of formulas deducible from these axioms. Such situations arise naturally, e.g., in the use of information of differ...

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

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

Van Benthem J.F., ter Meulen A. Handbook of Logic and Language

Справочник
  • формат pdf
  • размер 66.99 МБ
  • добавлен 21 декабря 2011 г.
Elsevier, 2011. - 1168 pages. This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providi...