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