Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Статьи- результаты поиска

Вид поиска
Электронный каталог
Периодика МИБС
Периодика Новокузнецка
Статьи
Краеведческие статьи
Списанные книги
Область поиска
Поисковый запрос: (<.>K=алгоритмически неразрешимые задачи<.>)
Общее количество найденных документов : 1
1.


    Поляков, К. Ю.
    Элементы теории алгоритмов / К. Ю. Поляков, Е. А. Еремин // Информатика - Первое сентября. - 2012. - № 1. - С. 4-22 : фот., ил., рис. - (Профиль) )
УДК
^A372.8
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
Евклида алгоритм -- Маркова нормальные алгорифмы -- Поста машина -- Тьюринга машина -- Черча-Тьюринга тезис -- алгоритм Евклида -- алгоритмически неразрешимые задачи -- алгоритмы -- алгоритмы поиска -- алгоритмы сортировки -- асимптотическая сложность -- вычислимые функции -- доказательное программирование -- инвариант цикла -- машина Поста -- машина Тьюринга -- невычислимые функции -- нормальные алгорифмы Маркова -- педагогика -- правильность программы -- программы -- спецификации -- тезис Черча-Тьюринга -- теория алгоритмов -- теория информатики -- универсальный исполнитель
Аннотация: Исчерпывающее и систематическое изложение одной из самых глубоких и интересных тем профильного курса информатики.


Доп.точки доступа:
Еремин, Е. А.; Тьюринг, А. (английский математик ; 1912-1956); Пост, Э. Л. (американский математик ; 1897-1954); Марков, А. А. (советский математик ; 1897-1954); Матиясевич, Ю. В. (советский математик ; 1947-); Черч, А (американский математик ; 1903-1995); Дейкстра, Э. В. (нидерландский ученый ; 1930-); Ершов, А. П. (теоретик программирования в СССР ; 1931-1988)
Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)