Катленд Н. Вычислимость. Введение в теорию рекурсивных функций
Файл формата
djvu
размером 4,47 МБ
Добавлен пользователем Даша, дата добавления неизвестна
Описание отредактировано
Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами машинной математики.
Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
М.: Мир, 1982. — 416 с.
300 dpi
Монография американских ученых, посвященная вопросам сложности решения комбинаторных задач, возникающих в дискретной оптимизации, математическом программировании, алгебре, теории чисел, теории автоматов, математической логике, теории множеств, теории графов и т. п. Книга отличается строгим и систематическим изложением теории, в приложении...
Пер. с англ. Б. И. Копылова. — М.: Лаборатория базовых знаний, 2002. — 832 с. — ISBN 5-93208-119-8. В книге излагаются методы анализа и синтеза современных систем автоматического управления (САУ). Показано, как с использованием принципа обратной связи могут быть созданы высокоэффективные системы управления различного назначения (аэрокосмическая техника, промышленные работы,...
М.: КомКнига, 2006. — 240 с. — (Классический университетский учебник). В настоящее издание включены учебники А.Н. Колмогорова и А.Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», содержащие классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики....
Ноден П., Китте К. Алгебраическая алгоритмика (с упражнениями и решениями): пер. с фран. М.: Мир, 1999. - 720 с. Книга известных французских математиков — это по существу энциклопедия алгоритмов алгебры и теории чисел от Евклида и до наших дней. В ней прослеживается общая идея — представить основные алгебраические структуры и концепции в виде объектов, поддающихся машинной...
М.: Горячая линия - Телеком, 2006. — 452 с.
Книга посвящена вопросам "интеллектуальных вычислений". Содержит базовые знания о генетических алгоритмах, эволюционном программировании, нечетких системах, а также связях этих направлений с нейронными сетями.
Для научных и инженерно-технических работников в области информатики и вычислительной техники,занимающихся созданием и...
Пер. с англ. — 2-е изд., испр. — М.: Вильямс, 2006. — 1104 с. — ISBN 5-8459-0890-6. В книге рассматриваются основные парадигмы искусственных нейронных сетей. Представленный материал содержит строгое математическое обоснование всех нейросетевых парадигм, иллюстрируется примерами, описанием компьютерных экспериментов, содержит множество практических задач, а также обширную...
