Вид документа : Однотомное издание Шифр издания : 517/З-981 Автор(ы) : Зюзьков В. М., Шелупанов А. А. Заглавие : Математическая логика и теория алгоритмов : учебное пособие Выходные данные : Томск: Томский межвузовский центр дистанционного образования, 2001 Колич.характеристики :154 с Коллективы : Томский государственный университет систем управления радиоэлектроники (ТУСУР) Цена : 105.60, 105.60, р. ГРНТИ : 27.03.19 + 27.03.17 УДК : 510.6 + 510.51](075.8) Предметные рубрики: Математическая логика Алгоритмы-- Теория Ключевые слова (''Своб.индексиров.''): множеств теория--логика высказываний--булевы алгебры--логика предикатов Экземпляры : всего : Х(1), ЧЗЕ(1), АБУ(8) Свободны : Х(1), ЧЗЕ(1), АБУ(8) Доп.точки доступа: Шелупанов, А. А.; Томский государственный университет систем управления радиоэлектроники (ТУСУР) |