Математическая логика
Математика
  • формат djvu
  • размер 1.88 МБ
  • добавлен 07 января 2010 г.
Carroll Lewis. Symbolic Logic
Title Page
[Титул]
Syllogism
[Силлогизм]
Advertisement
[Замечания]
Preface to the Fourth Edition
[Предисловие к четвертому изданию]
Introduction to Leaers
[Обращение к учащимся]
Table of Contents
[Оглавление]

Book I Things and Their Attributes
[Книга I. Предметы и их признаки]
Chapter I Introductory
[Глава I. Введение]
Chapter II Classification
[Глава II. Классификация]
Chapter III Division
[Глава III. Разбиение на подклассы]
Chapter IV Names
[Глава IV. Имена]
Chapter V Definitions
[Глава V. Определение]

Book II Propositions
[Книга II. Суждения]
Chapter I Propositions Generally
[Глава I. Общие сведения о суждениях]
Chapter II Propositions of Existence
[Глава II. Суждения существования]
Chapter III Propositions of Relation
[Глава III. Суждения отношения]

Book III The Bilateral Diagram
[Книга III. Двухбуквенная диаграмма]
Chapter I Symbols and Cells
[Глава I. Символы и клетки]
Chapter II Counters
[Глава II. Фишки]
Chapter III Representation of Propositions
[Глава III. Представление суждений на диаграмме]
Chapter IV Interpretation of Bilateral Diagram When Marked with Counters
[Глава IV. Интерпретация двухбуквенной диаграммы с расставленными на ней фишками]

Book IV The Trilateral Diagram
[Книга IV. Трехбуквенная диаграмма]
Chapter I Symbols and Cells
[Глава I. Символы и клетки]
Chapter II Representation of Propositions in Terms of x and m, or of y and m.
[Глава II. Представление суждений в терминах x и m или y и m]
Chapter III Representation of Two Propositions of Relation, One in Terms of x
and m, and the Other in Terms of y and m, on the Same Diagram.
[Глава III. Одновременное представление на одной диаграмме двух суждений отношения: одного — в терминах x и m, другого — в терминах y и m]
Chapter IV Interpretation, in Terms of x and y, of Trilateral Diagram, When
Marked with Counters or Digits.
[Глава IV. Интерпретация трехбуквенной диаграммы с расставленными на ней фишками или цифрами в терминах x и y]

Book V Syllogisms
[Книга V. Силлогизмы]
Chapter I Introductory
[Глава I. Введение]
Chapter II Problems In Syllogisms
[Глава II. Задачи на силлогизмы]

Book VI The Method of Subscripts
[Книга VI. Метод индексов]
Chapter I Introductory
[Глава I. Введение]
Chapter II Representation of Propositions of Relation
[Глава II. Представление суждений отношения]
Chapter III Syllogisms
[Глава III. Силлогизмы]

Book VII Soriteses
[Книга VII. Сориты]
Chapter I Introductory
[Глава I. Введение]
Chapter II Problems in Soriteses
[Глава II. Задачи на сориты]

Book VIII Examples, Answers, and Solutions
[Книга VIII. Примеры, ответы и решения]
Chapter I Examples
[Глава I. Примеры]
Chapter II Answers
[Глава II. Ответы]
Chapter II Solutions
[Глава III. Решения]

Notes
[Примечания]
Appendix, Addressed to Teachers
[Приложение, адресованное преподавателям]
Notes to Appendix
[Примечания к приложению]
Index
[Указатель]
Похожие разделы
Смотрите также

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

  • формат pdf
  • размер 84.59 МБ
  • добавлен 03 марта 2011 г.
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.

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

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

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

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

Steen S.W.P. Mathematical Logic with Special Reference to the Natural Numbers

  • формат pdf
  • размер 24.12 МБ
  • добавлен 16 августа 2011 г.
Cambridge University Press, 1972. - 654 pages. This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and t...