везде Расширенный поиск
книги Наука, техника, медицина Естественные науки Точные науки Математика Научные издания Математическая логика

Т. В. Погодина

Математическая логика. Учебник и практикум

Код 4454160

Бумажная книга

Нет в продаже

Сообщить о появлении

Аннотация к книге "Математическая логика. Учебник и практикум"

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

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу:

Издательство: Юрайт
Серия: Бакалавр. Академический курс
Дата выхода: сентябрь 2016
ISBN: 978-5-9916-7711-0
Объём: 211 страниц

Вместе с этой книгой покупают

Долина страха. Повесть
Долина страха. Повесть бумажная книга
Артур Конан Дойль
Нет в продаже
Античное искусство Испании и Португалии
Античное искусство Испании и Португалии бумажная книга
Татьяна Каптерева
Нет в продаже
Джанлуиджи Буффон. Номер 1
Джанлуиджи Буффон. Номер 1 бумажная книга
Джанлуиджи Буффон
Нет в продаже
Сын утренней звезды. Сказки индейцев Нового Света
Сын утренней звезды. Сказки индейцев Нового Света бумажная книга
Ника Гольц
21.45 USD
В корзину
Чистый код. Создание, анализ и рефакторинг
Чистый код. Создание, анализ и рефакторинг бумажная книга
Роберт С. Мартин
Нет в продаже
Хакни рутину. Как алгоритмы помогают справляться с беспорядком, не тупить в супермаркете и жить проще
Хакни рутину. Как алгоритмы помогают... бумажная книга
Али Альмоссави
1
Нет в продаже