Полное описание

Д11-24/30750
51/П 901
Путилов, Сергей Васильевич. Математическая логика : алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний / С. В. Путилов, М. А. Корпачёва, М. М. Сорокина. - Изд. 2-е, испр. - Москва : URSS : ЛЕНАНД, 2024. - 173, [1] с. : ил. - Библиогр. в конце кн. - Тираж не указ. - ISBN 978-5-00237-016-0 : 350 р. - Текст (визуальный) : непосредственный.

ГРНТИ	УДК
27.03.19	510.6

Рубрики:
Математическая логика

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

Имеются экземпляры в отделах: всего 2 : ЗПН (1), ФО26 (1)
Свободны: ЗПН (1), ФО26 (1)
Обложка

Заказать
Заказ фрагмента документа ₽