Книга: Гуров С.И. «Логика высказываний»

Логика высказываний

Серия: "Бакалавриат. Учебные пособия"

Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании. При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э. Бета, семантика возможных мировС. Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.

Издательство: "Московский государственный университет имени М.В. Ломоносова (МГУ)" (2015)

ISBN: 978-5-19-011105-7

Купить за 574 руб в My-shop

Другие книги автора:

КнигаОписаниеГодЦенаТип книги
Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примерыГлавными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки… — URSS, Основы защиты информации Подробнее...2013568бумажная книга
Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примерыГлавными инструментами математической кибернетики являются дискретная математика и алгебра. Основные понятия и свойства математических структур этих наук - частично упорядоченные множества, решетки… — URSS, Основы защиты информации Подробнее...2013885бумажная книга
Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособиеДанная книга представляет собой конспект лекций курса «Прикладная алгебра» бакалаврам факультета вычислительной математики и кибернетики МГУ имени М. В. Ломоносова. В начале рассматриваются… — Книжный дом"Университет"(КДУ), - Подробнее...2018506бумажная книга
Конечные поля и группы перестановок: приложение в теории кодирования и комбинаторике. Учебное пособиеДанная книга представляет собой конспект лекций курса Прикладная алгебра бакалаврам факультета вычислительной математики и кибернетики МГУ имени М. В. Ломоносова. В начале рассматриваются… — (КДУ), Подробнее...2018655бумажная книга

См. также в других словарях:

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • логика высказываний —         ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий         сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …   Энциклопедия эпистемологии и философии науки

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т. н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… …   Большой Энциклопедический словарь

  • логика высказываний — (Пропозициональная логика) раздел логики, формализующий употребление логических связок и , или , не , если, то и т. п., служащих для образования сложных высказываний из простых. Высказывание называется простым, если оно не включает в себя другие… …   Словарь терминов логики

  • Логика высказываний — Для улучшения этой статьи желательно?: Проставив сноски, внести более точные указания на источники. Логика высказываний (или пропозици …   Википедия

  • логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из так называемых элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью… …   Энциклопедический словарь

  • Логика высказываний —         раздел математической логики (См. Логика), посвященный изучению логических форм сложных высказываний, образованных из элементарных высказываний с помощью связок, аналогичных союзам «и», «или», «если..., то...», отрицания («не») и др …   Большая советская энциклопедия

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в к ром вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из т.н. элементарных (далее не разлагаемых и не анализируемых) высказываний с помощью логич.… …   Естествознание. Энциклопедический словарь

  • Логика высказываний — раздел логики, в котором вопрос об истинности или ложности высказываний рассматривается и решается на основе изучения способа построения высказываний из, так называемых, элементарных высказываний с помощью логических операций коньюкции («и»),… …   Исследовательская деятельность. Словарь

  • ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА — раздел дедуктивной логики, в котором вопрос об истинности (или ложности) высказываний (т. е. суждений, рассматриваемых без их субъектно предикатной структуры) в умозаключениях рассматривается на основе изучения следующего средства их выражения т …   Современный философский словарь

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»