1. Электронный научный архив УрФУ
  2. 00. Общеуниверситетские коллекции
  3. Инновационное образование
  4. Информационная безопасность
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/1601
Полная запись метаданных
Поле DCЗначениеЯзык
dc.contributor.authorЗамятин, А. П.ru
dc.date.accessioned2008-12-27T09:43:43Z-
dc.date.available2008-12-26T07:08:50Z-
dc.date.issued2008-
dc.identifier.citationЗамятин, Алексей Петрович. Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" [Электронный ресурс] / А. П. Замятин ; Федер. агентство по образованию, Урал. гос. ун-т им. А. М. Горького, ИОНЦ "Информационная безопасность" [и др.]. — Электрон. дан. (4,15 Мб). — Екатеринбург : [б. и.], 2008.ru
dc.identifier.urihttp://elar.urfu.ru/handle/10995/1601-
dc.description.abstractКурс " Математическая логика и теория алгоритмов" предназначен для студентов специальности "Компьютерная безопасность" и направления "Математика. Компьютерные науки". Излагаются основы математической логики и теории алгоритмов, а также приложения в компьютерных науках. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы.ru
dc.format.extent117998 bytesru
dc.format.mimetypeapplication/pdfen
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.typeOtheren
dc.typeinfo:eu-repo/semantics/otheren
dc.typeinfo:eu-repo/semantics/publishedVersionen
Располагается в коллекциях:Информационная безопасность

Файлы этого ресурса:
Файл Описание РазмерФормат 
1334887_exam.pdf115,23 kBAdobe PDFПросмотреть/Открыть
1334887_methodinst.pdf137,65 kBAdobe PDFПросмотреть/Открыть
1334887_tests.pdf111,71 kBAdobe PDFПросмотреть/Открыть
1334887_schoolbook.pdf1,92 MBAdobe PDFПросмотреть/Открыть
1334887_program.pdf202,91 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Статистика  Google Scholar





Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.