Поиск :
Личный кабинет :
Электронный каталог: Гуров, С. И. - Логика высказываний
Гуров, С. И. - Логика высказываний
Нет экз.
Электронный ресурс
Автор: Гуров, С. И.
Логика высказываний : учебное пособие
Серия: Бакалавриат. Учебные пособия
Издательство: Московский Государственный Университет, 2015 г.
ISBN 978-5-19-011105-7
Автор: Гуров, С. И.
Логика высказываний : учебное пособие
Серия: Бакалавриат. Учебные пособия
Издательство: Московский Государственный Университет, 2015 г.
ISBN 978-5-19-011105-7
На полку
Электронный ресурс
Гуров, С. И.
Логика высказываний : учебное пособие. – Москва : Московский Государственный Университет, 2015. – 269 с. – (Бакалавриат. Учебные пособия) . – URL: https://biblioclub.ru/index.php?page=book&id=595581. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-19-011105-7.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул.Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
510.63
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы
Гуров, С. И.
Логика высказываний : учебное пособие. – Москва : Московский Государственный Университет, 2015. – 269 с. – (Бакалавриат. Учебные пособия) . – URL: https://biblioclub.ru/index.php?page=book&id=595581. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр. в кн . – На рус. яз. – ISBN 978-5-19-011105-7.
Предлагаемое учебное пособие предназначено для студентов, начинающих изучать математическую логику, оно также может быть использовано при самообразовании.Подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул.Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.
510.63
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы