Элементы математической логики. Алгоритмы и рекурсивные функции

Элементы математической логики. Алгоритмы и рекурсивные функции

Дата публикации: 2012

Дата публикации в реестре: 2020-03-31T23:36:34Z

Аннотация:

Учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»].

Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату.

Учебно-методическое пособие обеспечивает самостоятельную работу студентов по дисциплине «Элементы математической логики. Алгоритмы и рекурсивные функции». Содержит темы для самостоятельного изучения теоретического курса и задачи для самостоятельного решения. Предназначено для студентов направления подготовки 010100 «Математика».

Ключевые слова:
теория алгоритмов, теория множеств, практические занятия, учебно-методические пособия, 517.9(07)

Тип: Book