Библиографическое описание:Вайнштейн, Юлия Владимировна. Математическая логика и теория алгоритмов : методические указания по выполнению контрольной работы / Ю. В. Вайнштейн ; Сиб. федер. ун-т, Ин-т космич. и информ. технологий. - Красноярск : ИПК СФУ, 2009. - 54 с. - Библиогр.: с. 53. - 200 экз. - Текст : непосредственный + Текст : электронный.
Аннотация:Приведен краткий теоретический материал по основным разделам дисциплины. Даны варианты заданий для выполнения контрольных работ. Рассмотрены примеры решения заданий.