| Дата публикации | 2012 | |
| Библиографическое описание | Элементы математической логики. Алгоритмы и рекурсивные функции : учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»] / Сиб. федерал. ун-т, 2012. - Текст : электронный. | |
| Описание | Учеб.-метод. пособие [для практич. занятий для студентов напр. 010100 «Математика»]. | |
| Описание | Доступ к полному тексту открыт из сети СФУ, вне сети доступ возможен для читателей Научной библиотеки СФУ или за плату. | |
| Аннотация | Учебно-методическое пособие обеспечивает самостоятельную работу студентов по дисциплине «Элементы математической логики. Алгоритмы и рекурсивные функции». Содержит темы для самостоятельного изучения теоретического курса и задачи для самостоятельного решения. Предназначено для студентов направления подготовки 010100 «Математика». | |
| Язык | rus | |
| Издатель | СФУ | |
| Права на использование | Для личного использования. | |
| Тема | теория алгоритмов | |
| Тема | теория множеств | |
| Тема | практические занятия | |
| Тема | учебно-методические пособия | |
| Название | Элементы математической логики. Алгоритмы и рекурсивные функции | |
| Тип | Book | |
| УДК | 517.9(07) | |
| Коллективный автор | Сибирский федеральный университет | |
| Место издания | Красноярск | |
| Полный текст на другом сайте | https://bik.sfu-kras.ru/elib/view?id=BOOK1-%D0%91%D0%91%D0%9A+22.1%2F%D0%AD503-437371 | |
| Шифр в ИРБИС | RU/НБ СФУ/BOOK1/ББК 22.1/Э503-437371 | |
| Составитель | Рыбаков, Владимир Владимирович | |
| Составитель | Кияткин, Владимир Ростиславович | |
