Please use this identifier to cite or link to this item:
http://elar.urfu.ru/handle/10995/1601
Title: | Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" |
Authors: | Замятин, А. П. |
Issue Date: | 2008 |
Publisher: | б. и. |
Citation: | Замятин, Алексей Петрович. Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" [Электронный ресурс] / А. П. Замятин ; Федер. агентство по образованию, Урал. гос. ун-т им. А. М. Горького, ИОНЦ "Информационная безопасность" [и др.]. — Электрон. дан. (4,15 Мб). — Екатеринбург : [б. и.], 2008. |
Abstract: | Курс " Математическая логика и теория алгоритмов" предназначен для студентов специальности "Компьютерная безопасность" и направления "Математика. Компьютерные науки". Излагаются основы математической логики и теории алгоритмов, а также приложения в компьютерных науках. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы. |
Keywords: | ИНФОРМАТИКА ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ ЯЗЫК УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ ДЛЯ ВУЗОВ ЛОГИКА ВЫСКАЗЫВАНИЙ ЛОГИКА ПРЕДИКАТОВ РАВНОСИЛЬНОСТЬ ВЫВОДИМОСТЬ МЕТОД РЕЗОЛЮЦИЙ АЛГОРИТМ МАШИНА ТЬЮРИНГА НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ |
URI: | http://elar.urfu.ru/handle/10995/1601 |
Appears in Collections: | Информационная безопасность |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1334887_exam.pdf | 115,23 kB | Adobe PDF | View/Open | |
1334887_methodinst.pdf | 137,65 kB | Adobe PDF | View/Open | |
1334887_tests.pdf | 111,71 kB | Adobe PDF | View/Open | |
1334887_schoolbook.pdf | 1,92 MB | Adobe PDF | View/Open | |
1334887_program.pdf | 202,91 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.