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

Учебное пособие создано в соответствии с Федеральным государственным образовательным стандартом по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Фундаментальная информатика и информационные технологии" (квалификация "бакалавр"). Изложены основные понятия математической логики, а также качественной и количественной теории алгоритмов. Рассмотрены элементы теории множеств, логика высказываний, исчисление высказываний, логика предикатов, элементарные языки, исчисление предикатов, элементарные теории, теория моделей, начальные понятия теории алгоритмов, начала алгоритмической теории множеств, машины Тьюринга и связанный с ними подход к формализации понятия алгоритма, нормальные алгоритмы, рекурсивные функции, наиболее известные результаты об алгоритмической неразрешимости, формальная арифметика, метод резолюций, интуиционистская логика, элементы теории сложности вычислений. Для студентов учреждений высшего профессионального образования. Может быть полезно широкому кругу читателей, интересующихся основами математической логики и теории вычислимости.

У тебя выйдет заказать а и введенский логика как часть теории познания у одного из наших компаньонов: . Предлагается 1 интернет-магазинов, а типичная цена продукта порядка 405.54 рублей. Посмотрев рекомендации про а и введенский логика как часть теории познания допустимо не задумываясь советовать бренд как достойную доверия и одну из лучших фирму.

Последние поиски

Пару слов о нас

Мы молодая, но талантливая компания программистов и маркетологов, разрабатывающих иновационный сервис подбора товаров и сравнения цен в лучших интернет-магазинах Рунета. Наш дивиз: зачем платить больше, если цену можно выбрать!

Наши контакты
8-495-535-03-93
Москва, ул. Алабяна 13, к1, офис 8
Skype: Soft56
Социализация