Книга: Гуров С.И. «Логика высказываний»
|
Серия: "Бакалавриат. Учебные пособия" Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э. Бета, семантика возможных мировС. Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями. Издательство: "Московский государственный университет имени М.В. Ломоносова (МГУ)" (2015)
ISBN: 978-5-19-011105-7 Купить за 574 руб в My-shop |
Другие книги автора:
| Книга | Описание | Год | Цена | Тип книги |
|---|---|---|---|---|
| Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры | Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные… — URSS, Основы защиты информации Подробнее... | бумажная книга | ||
| Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры | Главными инструментами математической кибернетики являются дискретная математика и алгебра. Основные… — URSS, Основы защиты информации Подробнее... | бумажная книга | ||
| Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособие | Данная книга представляет собой конспект лекций курса «Прикладная алгебра» бакалаврам факультета… — Книжный дом"Университет"(КДУ), - Подробнее... | бумажная книга | ||
| Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособие | Данная книга представляет собой конспект лекций курса Прикладная алгебра бакалаврам факультета… — (КДУ), Подробнее... | бумажная книга |
См. также в других словарях:
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
логика высказываний — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Большой Энциклопедический словарь
логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… … Словарь терминов логики
Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици … Википедия
логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… … Энциклопедический словарь
