Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов"
Электронный научный архив УРФУ
Информация об архиве | Просмотр оригинала| Поле | Значение | |
| Заглавие |
Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов"
|
|
| Автор |
Замятин, А. П.
|
|
| Тематика |
ИНФОРМАТИКА
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ ЯЗЫК УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ ДЛЯ ВУЗОВ ЛОГИКА ВЫСКАЗЫВАНИЙ ЛОГИКА ПРЕДИКАТОВ РАВНОСИЛЬНОСТЬ ВЫВОДИМОСТЬ МЕТОД РЕЗОЛЮЦИЙ АЛГОРИТМ МАШИНА ТЬЮРИНГА НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ |
|
| Описание |
Курс " Математическая логика и теория алгоритмов" предназначен для студентов специальности "Компьютерная безопасность" и направления "Математика. Компьютерные науки". Излагаются основы математической логики и теории алгоритмов, а также приложения в компьютерных науках. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы.
|
|
| Дата |
2008-12-27T09:43:43Z
2008-12-26T07:08:50Z 2008 |
|
| Тип |
Other
Other (info:eu-repo/semantics/other) Published version (info:eu-repo/semantics/publishedVersion) |
|
| Идентификатор |
Замятин, Алексей Петрович. Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" [Электронный ресурс] / А. П. Замятин ; Федер. агентство по образованию, Урал. гос. ун-т им. А. М. Горького, ИОНЦ "Информационная безопасность" [и др.]. — Электрон. дан. (4,15 Мб). — Екатеринбург : [б. и.], 2008.
http://elar.urfu.ru/handle/10995/1601 |
|
| Формат |
117998 bytes
application/pdf |
|
| Издатель |
б. и.
|
|