Книга: Гуров С.И. «Логика высказываний. Учебное пособие»
|
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э. Бета, семантика возможных мировС. Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями. Содержание:https://totbook.ru/upload/iblock/3e6/3e68dd9e5ed76571642d22fad0de2728.pdf Издательство: "Издательство МГУ" (2015) Формат: Обложка, 268 стр.
ISBN: 978-5-19-011105-7 |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры | Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные… — URSS, Основы защиты информации Подробнее... | бумажная книга | ||
| Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры | Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные… — URSS, Основы защиты информации Подробнее... | бумажная книга | ||
| Логика высказываний | Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно… — Московский государственный университет имени М.В. Ломоносова (МГУ), Бакалавриат. Учебные пособия Подробнее... | бумажная книга | ||
| Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособие | Данная книга представляет собой конспект лекций курса «Прикладная алгебра» бакалаврам факультета… — Книжный дом"Университет"(КДУ), - Подробнее... | бумажная книга | ||
| Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособие | Данная книга представляет собой конспект лекций курса Прикладная алгебра бакалаврам факультета… — (КДУ), Подробнее... | бумажная книга |
См. также в других словарях:
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
