Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/1601
Title: Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов"
Authors: Замятин, А. П.
Issue Date: 2008
Publisher: б. и.
Citation: Замятин, Алексей Петрович. Учебно-методический комплекс дисциплины "Математическая логика и теория алгоритмов" [Электронный ресурс] / А. П. Замятин ; Федер. агентство по образованию, Урал. гос. ун-т им. А. М. Горького, ИОНЦ "Информационная безопасность" [и др.]. — Электрон. дан. (4,15 Мб). — Екатеринбург : [б. и.], 2008.
Abstract: Курс " Математическая логика и теория алгоритмов" предназначен для студентов специальности "Компьютерная безопасность" и направления "Математика. Компьютерные науки". Излагаются основы математической логики и теории алгоритмов, а также приложения в компьютерных науках. УМКД включает учебное пособие, программу дисциплины, вопросы для самоконтроля, методические указания, экзаменационные материалы.
Keywords: ИНФОРМАТИКА
ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ
ЯЗЫК
УЧЕБНО-МЕТОДИЧЕСКИЕ ПОСОБИЯ ДЛЯ ВУЗОВ
ЛОГИКА ВЫСКАЗЫВАНИЙ
ЛОГИКА ПРЕДИКАТОВ
РАВНОСИЛЬНОСТЬ
ВЫВОДИМОСТЬ
МЕТОД РЕЗОЛЮЦИЙ
АЛГОРИТМ
МАШИНА ТЬЮРИНГА
НЕРАЗРЕШИМЫЕ ПРОБЛЕМЫ
СЛОЖНОСТЬ ВЫЧИСЛЕНИЙ
URI: http://hdl.handle.net/10995/1601
http://elar.urfu.ru/handle/10995/1601
Appears in Collections:Информационная безопасность

Files in This Item:
File Description SizeFormat 
1334887_exam.pdf115,23 kBAdobe PDFView/Open
1334887_methodinst.pdf137,65 kBAdobe PDFView/Open
1334887_tests.pdf111,71 kBAdobe PDFView/Open
1334887_schoolbook.pdf1,92 MBAdobe PDFView/Open
1334887_program.pdf202,91 kBAdobe PDFView/Open
Show full item record   Google Scholar





Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.