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

Базы данных


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

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


    Фалина, И. Н.
    Элементы теории алгоритмов / И. Н. Фалина // Информатика. - 2004. - № 3. - Весь номер
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
Поста машина -- Тьюринга машина -- алгоритмы -- машина Поста -- машина Тьюринга -- теория алгоритмов
Аннотация: Понятие алгоритмов, их виды, способы записи, алгоритмы поиска, сортировки; методические указания по изучению темы на уроках.

Прямая ссылка
Найти похожие
2.


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


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


    Сукин, И. А.
    Machina ex nihilo, или Как и зачем упрощать систему команд / И. А. Сукин // Информатика - Первое сентября. - 2012. - № 10. - С. 26-41 : фот., рис. - (Языки программирования) ) . - Библиогр.: с. 41 (15 назв.)
. - Прил.
ББК 74.26
Рубрики: Образование. Педагогика
   Методика преподавания учебных предметов
Кл.слова (ненормированные):
Маркова алгорифмы -- Поста машина -- Тьюринга машина -- алгорифмы Маркова -- архитектура вычислительных систем -- вычислительные системы -- информатика -- машина Поста -- машина Тьюринга -- метапрограммирование -- минималистические системы -- программисты -- языки программирования
Аннотация: Понятия "вычислимость" и "полнота по Тьюрингу" - что это такое, как определить эту "полноту" в конкретных случаях.

Прямая ссылка
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)