Конспект лекций О.Б. Лупанова по курсу «Введение в математическую логику»

Описание и характеристики

Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.
ID товара 3044444
Издательство МГУ
Год издания
ISBN 978-5-19-011840-7
Количество страниц 327
Размер 2.2x14.9x22.3
Тип обложки Твёрдый переплёт
Тираж 350
Вес, г 502
1 989 ₽
+ до 298 бонусов
Осталось мало

В магазины сети, бесплатно

ЗавтраАдреса магазинов

Другие способы доставки
2

Отзывы

15 бонусов

за полезный отзыв длиной от 300 символов

15 бонусов

если купили в интернет-магазине «Читай-город»

Полные правила начисления бонусов за отзывы
Оставьте отзыв и получите бонусы
Оставьте первый отзыв и получите за него бонусы.
Это поможет другим покупателям сделать правильный выбор.
Учебное пособие составлено на основе конспектов лекций академика РАН О. Б. Лупанова по курсу «Введение в математическую логику», прочитанных им на первом курсе механико-математического факультета МГУ имени М.В.Ломоносова в 1982-2006 гг. В пособии рассматриваются следующие вопросы: функции алгебры логики, функции многозначной логики, исчисление высказываний, логика и исчисление предикатов, логические сети, конечные автоматы, алгоритмы и вычислимые функции.
Для студентов и аспирантов.