Библиотека АГГПУ

Головна

Спрощенний режим

Опис

Бази даних

Каталог статей- результати пошуку

Вид пошуку

Каталог книг

Труды преподавателей

Каталог периодических изданий

Каталог редких книг

Каталог статей

IPRbooks периодика

IPRbooks книги

Межвузовская электронная библиотека

ФЭРУ

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=Тьюринга машина<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

Опарин, Игорь.
Жизнь и судьба Алана Тьюринга [Текст] / Игорь Опарин // Смена. - 2011. - N 7. - С. 25-33

ББК 32.97г
Рубрики: Вычислительная техника
История вычислительной техники
Кл.слова (ненормовані):
компьютеры -- компьютерные языки -- машина Тьюринга -- Тьюринга машина -- ЭВМ -- электронно-вычислительные машины -- биографии математиков
Анотація: Жизнь и деятельность английского математика Алана Тьюринга.

Дод.точки доступу:
Тьюринг, А. М. (математик ; 1912-1954)
Знайти схожі

Поляков, К. Ю.
Элементы теории алгоритмов [Текст] / К. Ю. Поляков, Е. А. Еремин // Информатика - Первое сентября. - 2012. - № 1. - С. 4-22 : фот., ил., рис.

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормовані):
педагогика -- теория информатики -- алгоритмы -- теория алгоритмов -- универсальный исполнитель -- машина Тьюринга -- тезис Черча-Тьюринга -- машина Поста -- Черча-Тьюринга тезис -- Поста машина -- Тьюринга машина -- нормальные алгорифмы Маркова -- вычислимые функции -- невычислимые функции -- алгоритмически неразрешимые задачи -- Маркова нормальные алгорифмы -- асимптотическая сложность -- алгоритмы поиска -- алгоритмы сортировки -- правильность программы -- алгоритм Евклида -- Евклида алгоритм -- инвариант цикла -- доказательное программирование -- спецификации -- программы
Анотація: Исчерпывающее и систематическое изложение одной из самых глубоких и интересных тем профильного курса информатики.

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

Сукин, И. А.
Machina ex nihilo, или Как и зачем упрощать систему команд [Текст] / И. А. Сукин // Информатика - Первое сентября. - 2012. - № 10. - С. 26-41 : фот., рис. - Библиогр.: с. 41 (15 назв. ). - Прил.

ББК 74.26
Рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Кл.слова (ненормовані):
алгорифмы Маркова -- архитектура вычислительных систем -- вычислительные системы -- информатика -- машина Поста -- машина Тьюринга -- метапрограммирование -- минималистические системы -- программисты -- языки программирования -- Поста машина -- Тьюринга машина -- Маркова алгорифмы
Анотація: Понятия "вычислимость" и "полнота по Тьюрингу" - что это такое, как определить эту "полноту" в конкретных случаях.

Знайти схожі

Сто лет Алану Тьюрингу [Текст] // Информатика в школе. - 2012. - № 6 (79). - С. 56 : фот.

ББК 32.97г
Рубрики: Вычислительная техника
История вычислительной техники
Кл.слова (ненормовані):
компьютеры -- машина Тьюринга -- Тьюринга машина -- биографии математиков -- математики -- вычисления -- вычислительная техника -- алгоритмы -- искусственный интеллект -- искусственный разум -- биографические данные -- биографические сведения -- премии -- награждения -- премия Тьюринга -- Тьюринга премия
Анотація: Краткие биографические сведения об английском математике Алане Тьюринге, который внес огромный вклад в теорию алгоритмов, которая легла в основу развития вычислительной техники.

Дод.точки доступу:
Тьюринг, А. (английский математик ; 1912-1954); Ассоциация вычислительной техники
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)