Элементы математической логики. Алгоритмы и рекурсивные функции
View/
Full Text on Another Site
URI (for links/citations):
Compiler:
Рыбаков, Владимир Владимирович
Кияткин, Владимир Ростиславович
Corporate Contributor:
Сибирский федеральный университет
Date:
2012Bibliographic Citation:
Элементы математической логики. Алгоритмы и рекурсивные функции : учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»] / Сиб. федерал. ун-т, 2012. - Текст : электронный.Учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»].
Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.
Abstract:
Учебно-методическое пособие обеспечивает самостоятельную работу студентов по дисциплине «Элементы математической логики. Алгоритмы и рекурсивные функции». Содержит темы для самостоятельного изучения теоретического курса и задачи для самостоятельного решения. Предназначено для студентов направления подготовки 010100 «Математика».
Rights:
Для личного использования.