Вид документа : Однотомное издание Шифр издания : 22.12я73 Автор(ы) : Игошин, Владимир Иванович Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для вузов . -2-е изд., стереотип. Выходные данные : Москва: Академия, 2006 Колич.характеристики :304 с Серия: Высшее профессиональное образование ISBN, Цена 5-7695-2914-8: 50 р. ББК : 22.12я73 Предметные рубрики: Математика-- Математическая логика Ключевые слова (''Своб.индексиров.''): алгебра высказываний--булевы функции--задачи--логика предикатов--пособия для вузов--теория алгоритмов--упражнения--учебники для вузов--учебные пособия для вузов--формализованное исчисление высказываний Аннотация: Содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)