Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов"

Замятин, А. П.

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	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

Show full item record Google Scholar