Маньшин, М. Е. Математическая логика и теория алгоритмов [Электронный ресурс] : учебное пособие / Маньшин М. Е. - Волгоград : Волгоградский институт бизнеса, Вузовское образование, 2013 ; Волгоград : Волгоградский институт бизнеса, 2009. - 106 с. - ISBN 978-5-9061-7260-0 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): математическая логика -- теоретический материал -- теория алгоритма Аннотация: В данном учебном пособии изложен теоретический материал, необходимый для изучения дисциплины, структурированный в соответствии с рабочей программой. Свободных экз. нет |
Теория алгоритмов [Электронный ресурс] : учебно-методический комплекс / сост.: А. М. Опабекова, К. У. Умбетбаев. - Алматы : Нур-Принт, 2012. - 79 с. - ISBN 9965-756-08-2 : Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): грамматика хомского -- детерминированный автомат -- конечный автомат -- машина тьюринга -- общерекурсивная функция -- оператор суперпозиции -- программирование алгоритма -- теория алгоритма Аннотация: Курс «Теория алгоритмов» рассчитан на один семестр и призван упрочить фундамент специальной подготовки будущих педагогов, способствовать дальнейшему формированию логической и алгоритмической культуры будущих учителей информатики и информационных технологий. Исходным пунктом курса служит недостаточность интуитивного определения алгоритма. Рассматривается описание вычислительного процесса, принимаемого в качестве формального определения понятия алгоритма, в терминах частично-рекурсивных функций и вычислительных устройств (машины Тьюринга и Поста). Далее рассматриваются примеры невычислимой функции, алгоритмически неразрешимых проблем математики и информатики. Доп.точки доступа: Опабекова, А. М. \сост.\; Умбетбаев, К. У. \сост.\ Свободных экз. нет |