Основы теории алгоритмов методические указания

Приведены три наиболее распространенных строгих математических определения алгоритма: частично-рекурсивная функция, машина Тьюринга, нормальные алгоритмы; примеры использования этих понятий для разрешения задачи алгоритмической неразрешимости, а также задания на тему Алгоритмы и необходимая литера...

Full description

Bibliographic Details
Main Author: Красовская, Т. Ф.
Format: Book
Language:Russian
Published: Санкт-Петербург СПбГУТ им. М.А. Бонч-Бруевича 2013
Subjects:
Online Access:ЭБС Лань
ЭБС Лань
Перейти в каталог НТБ ТГАСУ
LEADER 02323nam a22002891 4500
005 20230306235144.0
007 cr bn uu|uu
008 210916s2013 ru Wk 000 m rus d
040 |a RU-ToGUA  |b rus  |c RU-ToGUA  |e PSBO 
080 |a 51 
100 1 |a Красовская, Т. Ф.  |9 307687 
245 1 0 |a Основы теории алгоритмов  |h Электронный ресурс  |b методические указания  |c Красовская Т. Ф. 
260 |a Санкт-Петербург  |b СПбГУТ им. М.А. Бонч-Бруевича  |c 2013 
300 |a 27 с. 
520 3 |a Приведены три наиболее распространенных строгих математических определения алгоритма: частично-рекурсивная функция, машина Тьюринга, нормальные алгоритмы; примеры использования этих понятий для разрешения задачи алгоритмической неразрешимости, а также задания на тему Алгоритмы и необходимая литература. Предназначены для студентов, обучающихся по дисциплине Математическая логика и теория алгоритмов по профилю 230105.68 Программное обеспечение вычислительной техники и автоматизированных систем. 
540 |a Книга из коллекции СПбГУТ им. М.А. Бонч-Бруевича - Информатика 
650 4 |a 230105.68  |9 310106 
650 4 |a частично-рекурсивная функция  |9 310107 
650 4 |a нормальные алгоритмы  |9 310108 
650 4 |a машина Тьюринга  |9 310109 
650 4 |a алгоритмическая неразрешимость  |9 310110 
695 |i учебная 
856 4 |u https://e.lanbook.com/book/181474  |y ЭБС Лань 
856 4 1 |u https://e.lanbook.com/img/cover/book/181474.jpg  |y ЭБС Лань 
856 |y Перейти в каталог НТБ ТГАСУ  |u https://catalog.tsuab.ru/cgi-bin/koha/opac-detail.pl?biblionumber=812597 
999 |c 812597  |d 812597 
039 |z 2  |b 2