Библиографическое описание:Элементы математической логики. Алгоритмы и рекурсивные функции : учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»] / Сиб. федерал. ун-т ; сост.: В. В. Рыбаков, В. Р. Кияткин. - Электрон. текстовые дан. (PDF, 431 Кб). - Красноярск : СФУ, 2012. - Загл. с титул. экрана. - Библиогр.: с. 28. - Текст : электронный.
Аннотация:Учебно-методическое пособие обеспечивает самостоятельную работу студентов по дисциплине «Элементы математической логики. Алгоритмы и рекурсивные функции». Содержит темы для самостоятельного изучения теоретического курса и задачи для самостоятельного решения. Предназначено для студентов направления подготовки 010100 «Математика».