Научная библиотека Нижнетагильского государственного социально-педагогического института

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Электронный каталог НТГСПИ

Картотека газет и журналов

Картотека статей

Полнотекстовая база изданий НТГСПИ

Полнотекстовая база ВКР

Область поиска

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=рекурсивные функции<.>)

Общее количество найденных документов : 4
Показаны документы с 1 по 4

Бессонов, А. В.
Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488

УДК

^a510.6

^a16

ББК 22.12 + 87.4
Рубрики: Логика
   Математика
   Математическая логика
   Общие вопросы логики
Кл.слова (ненормированные):
вычислимость (понятие) -- Тезис Черча -- Черча Тезис -- вычислимые функции -- рекурсивные функции -- алгоритмы (понятие) -- математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.

Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

Найти похожие

Очков, Валерий Федорович (доктор технических наук; профессор).
Немного о рекурсии, числовых рядах и фракталах [Текст] / В. Ф. Очков, Е. П. Богомолова // Информатика в школе. - 2015. - № 9 (112). - С. 56-59 : 5 рис. . - ISSN 2221-1993

УДК

^a004.41/.42

ББК 32.973-018
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
Фибоначчи числа -- головоломки -- компьютерные программы -- рекурсивные алгоритмы -- рекурсивные функции -- рекурсия -- факториалы -- целочисленные ряды -- целые числа -- числа Фибоначчи
Аннотация: Рассмотрены проблемы использования рекурсии для генерации рядов целых чисел и их анализа с помощью Интернета, а также для решения головоломок.

Доп.точки доступа:
Богомолова, Е. П.

Найти похожие

Долинский, Михаил Семенович (кандидат технических наук ; доцент).
Введение в решение задач с помощью рекурсивных процедур и функций [Текст] / М. С. Долинский // Информатика в школе. - 2016. - № 9. - С. 49-56. - Библиогр.: с. 56 (6 назв. ) . - ISSN 2221-1993

УДК

^a372.8

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

Найти похожие

Долинский, Михаил Семенович (кандидат технических наук; доцент).
Решение рекурсивных задач по определению [Текст] / М. С. Долинский // Информатика в школе. - 2020. - № 2. - С. 60-66 : ил. - Библиогр.: с. 66 (4 назв.) . - ISSN 2221-1993

УДК

^a372.8

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

Найти похожие

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