Новые поступления (книга в стадии обработки) Игошин, В. И. Задачи и упражнения по математической логике и теории алгоритмов [Текст] : учеб. пособие / В. И. Игошин. - 4-е изд., стер. - М. : ИЦ "Академия", 2008. - 304 с. : рис. ; 22 см. - (Высшее профессиональное образование). - Библиогр.: с. 301 (22 назв.). - ISBN 978-5-7695-5272-4 : 291.50 р. Гриф: допущено М-вом образования РФ в качестве учеб. пособия для студ. вузов, обучающихся по спец. 050201 "Математика"
Рубрики: Математика--Математическая логика Математика--Теория алгоритмов Кл.слова (ненормированные): АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ЛОГИКА ПРЕДИКАТОВ -- МАШИНА ТЬЮРИНГА -- РЕКУРСИВНЫЕ ФУНКЦИИ Аннотация: Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. |