8 (812) 320-06-69

Каталог

Категории
Высшее образование (16+) (44671)
Высшее образование
Естественные науки (2770)
Естественные науки
Общественные науки (3854)
Общественные науки
Информатика и компьютерные технологии (4975)
Информатика и компьютерные технологии
Инженерное дело (1487)
Инженерное дело
Телекоммуникации, электроника, электротехника и радиотехника (1412)
Телекоммуникации, электроника, электротехника и радиотехника
Строительство. Архитектура (819)
Строительство. Архитектура
Строительство. Архитектура. Журналы (17)
Строительство. Архитектура. Журналы
Бетон и железобетон (3)
Бетон и железобетон
Жилищное строительство (7)
Жилищное строительство
Строительные материалы (7)
Строительные материалы
Юридические науки.Право (4557)
Юридические науки.Право
Отрасли права (2870)
Отрасли права
Гуманитарные науки (6444)
Гуманитарные науки
Иностранные языки (2420)
Иностранные языки
Экономика. Экономические науки (7774)
Экономика. Экономические науки
Образование. Педагогические науки (4112)
Образование. Педагогические науки
Медицина и здравоохранение (993)
Медицина и здравоохранение
Физическая культура и спорт (510)
Физическая культура и спорт
Среднее профессиональное образование (14+) (3312)
Среднее профессиональное образование
Коллекции (48316)
Коллекции
Издательские коллекции (47897)
Издательские коллекции
Журналы (1146)
Журналы
Остаться в выбранном разделе
Назад к каталогу

Логика высказываний: Учебное пособие. (Бакалавриат. Учебные пособия).

Логика высказываний: Учебное пособие. (Бакалавриат. Учебные пособия). ISBN 978-5-19-011105-7
ISBN 978-5-19-011105-7
Авторы: 
Гуров С. И.
Тип издания: 
Учебное пособие
Издательство: 
Москва: Московский государственный университет
Год: 
2015
Количество страниц: 
268
Аннотация

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

Библиографическое описание Скопировать библиографическое описание

Гуров С. И. Логика высказываний: Учебное пособие. (Бакалавриат. Учебные пособия). / С.И. Гуров. - Москва : Московский государственный университет, 2015. - 268 с. - ISBN 978-5-19-011105-7. - URL: http://m.ibooks.ru/bookshelf/369980/reading (дата обращения: 18.07.2025). - Текст: электронный.