Mybrary.info
mybrary.info » Книги » Справочная литература » Энциклопедии » Большая Советская Энциклопедия (ИС) - Большая Советская Энциклопедия "БСЭ" (читать книги регистрация txt) 📗

Большая Советская Энциклопедия (ИС) - Большая Советская Энциклопедия "БСЭ" (читать книги регистрация txt) 📗

Тут можно читать бесплатно Большая Советская Энциклопедия (ИС) - Большая Советская Энциклопедия "БСЭ" (читать книги регистрация txt) 📗. Жанр: Энциклопедии. Так же Вы можете читать полную версию (весь текст) онлайн без регистрации и SMS на сайте mybrary.info (MYBRARY) или прочесть краткое содержание, предисловие (аннотацию), описание и ознакомиться с отзывами (комментариями) о произведении.
Назад 1 ... 141 142 143 144 145 Вперед
Перейти на страницу:

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 14—20; Марков А. А., Теория алгорифмов, М.—Л., 1954 (Тр. Математического института им. В. А. Стеклова, т. 42); Карри Х. Б., Основания математической логики, пер. с англ., М., 1969, гл. 2; Математическая теория логического вывода, Сборник переводов, под ред. А. В. Идельсона, Г. Е. Минца, М., 1967; Логические и логико-математические исчисления, 1, Сб. работ, под ред. В. П. Оревкова, Л., 1968.

  Ю. Л. Гастев.

Исчисление высказываний

Исчисле'ние выска'зываний, исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле.

Исчисление предикатов

Исчисле'ние предика'тов, раздел математической логики — совокупность логико-математических исчислений, формализующих те разделы современной логики, в которых отображаются и изучаются (в связи с рассмотрением субъектно-предикатной структуры предложений) правила оперирования с кванторами. См. Высказывание, Логика предикатов.

Назад 1 ... 141 142 143 144 145 Вперед
Перейти на страницу:

Большая Советская Энциклопедия "БСЭ" читать все книги автора по порядку

Большая Советская Энциклопедия "БСЭ" - все книги автора в одном месте читать по порядку полные версии на сайте онлайн библиотеки mybrary.info.


Большая Советская Энциклопедия (ИС) отзывы

Отзывы читателей о книге Большая Советская Энциклопедия (ИС), автор: Большая Советская Энциклопедия "БСЭ". Читайте комментарии и мнения людей о произведении.


Уважаемые читатели и просто посетители нашей библиотеки! Просим Вас придерживаться определенных правил при комментировании литературных произведений.

  • 1. Просьба отказаться от дискриминационных высказываний. Мы защищаем право наших читателей свободно выражать свою точку зрения. Вместе с тем мы не терпим агрессии. На сайте запрещено оставлять комментарий, который содержит унизительные высказывания или призывы к насилию по отношению к отдельным лицам или группам людей на основании их расы, этнического происхождения, вероисповедания, недееспособности, пола, возраста, статуса ветерана, касты или сексуальной ориентации.
  • 2. Просьба отказаться от оскорблений, угроз и запугиваний.
  • 3. Просьба отказаться от нецензурной лексики.
  • 4. Просьба вести себя максимально корректно как по отношению к авторам, так и по отношению к другим читателям и их комментариям.

Надеемся на Ваше понимание и благоразумие. С уважением, администратор mybrary.info.


Прокомментировать
Подтвердите что вы не робот:*