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