Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/1601
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.author | Замятин, А. П. | ru |
dc.date.accessioned | 2008-12-27T09:43:43Z | - |
dc.date.available | 2008-12-26T07:08:50Z | - |
dc.date.issued | 2008 | - |
dc.identifier.citation | Замятин, Алексей Петрович. Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" [Электронный ресурс] / А. П. Замятин ; Федер. агентство по образованию, Урал. гос. ун-т им. А. М. Горького, ИОНЦ "Информационная безопасность" [и др.]. — Электрон. дан. (4,15 Мб). — Екатеринбург : [б. и.], 2008. | ru |
dc.identifier.uri | http://elar.urfu.ru/handle/10995/1601 | - |
dc.description.abstract | Курс " Математическая логика и теория алгоритмов" предназначен для студентов специальности "Компьютерная безопасность" и направления "Математика. Компьютерные науки". Излагаются основы математической логики и теории алгоритмов, а также приложения в компьютерных науках. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы. | ru |
dc.format.extent | 117998 bytes | ru |
dc.format.mimetype | application/pdf | en |
dc.publisher | б. и. | ru |
dc.subject | ИНФОРМАТИКА | ru |
dc.subject | ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ | ru |
dc.subject | КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ | ru |
dc.subject | ЯЗЫК | ru |
dc.subject | УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ ДЛЯ ВУЗОВ | ru |
dc.subject | ЛОГИКА ВЫСКАЗЫВАНИЙ | ru |
dc.subject | ЛОГИКА ПРЕДИКАТОВ | ru |
dc.subject | РАВНОСИЛЬНОСТЬ | ru |
dc.subject | ВЫВОДИМОСТЬ | ru |
dc.subject | МЕТОД РЕЗОЛЮЦИЙ | ru |
dc.subject | АЛГОРИТМ | ru |
dc.subject | МАШИНА ТЬЮРИНГА | ru |
dc.subject | НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ | ru |
dc.subject | СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ | ru |
dc.title | Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" | ru |
dc.type | Other | en |
dc.type | info:eu-repo/semantics/other | en |
dc.type | info:eu-repo/semantics/publishedVersion | en |
Располагается в коллекциях: | Информационная безопасность |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
1334887_exam.pdf | 115,23 kB | Adobe PDF | Просмотреть/Открыть | |
1334887_methodinst.pdf | 137,65 kB | Adobe PDF | Просмотреть/Открыть | |
1334887_tests.pdf | 111,71 kB | Adobe PDF | Просмотреть/Открыть | |
1334887_schoolbook.pdf | 1,92 MB | Adobe PDF | Просмотреть/Открыть | |
1334887_program.pdf | 202,91 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.