Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=рекурсивные функции<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бессонов А. В., Хлебалин А. В., Целищев В. В.
Заглавие : Можно ли доказать тезис Черча?
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 2. - С.44-61. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 60-61 (17 назв. )
УДК : 510.6 + 16
ББК : 22.12 + 87.4
Предметные рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): вычислимость (понятие)--тезис черча--черча тезис--вычислимые функции--рекурсивные функции--алгоритмы (понятие)--математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Найти похожие

2.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Очков, Валерий Федорович (доктор технических наук; профессор), Богомолова Е. П.
Заглавие : Немного о рекурсии, числовых рядах и фракталах
Серия: Занимательная информатика
Место публикации : Информатика в школе. - 2015. - № 9 (112). - С.56-59: 5 рис. - ISSN 2221-1993. - ISSN 2221-1993
УДК : 004.41/.42
ББК : 32.973-018
Предметные рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): фибоначчи числа--головоломки--компьютерные программы--рекурсивные алгоритмы--рекурсивные функции--рекурсия--факториалы--целочисленные ряды--целые числа--числа фибоначчи
Аннотация: Рассмотрены проблемы использования рекурсии для генерации рядов целых чисел и их анализа с помощью Интернета, а также для решения головоломок.
Найти похожие

3.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Долинский, Михаил Семенович (кандидат технических наук ; доцент)
Заглавие : Введение в решение задач с помощью рекурсивных процедур и функций
Серия: Задачи
Место публикации : Информатика в школе. - 2016. - № 9. - С.49-56. - ISSN 2221-1993. - ISSN 2221-1993
Примечания : Библиогр.: с. 56 (6 назв. )
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): информатика--олимпиады по информатике--рекурсия--дистанционное обучение--задачи--рекурсивные функции
Аннотация: Описана методика изучения темы "Рекурсия" при подготовки школьников к олимпиадам по информатике.
Найти похожие

4.

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Долинский, Михаил Семенович (кандидат технических наук; доцент)
Заглавие : Решение рекурсивных задач по определению
Серия: Задачи
Место публикации : Информатика в школе. - 2020. - № 2. - С.60-66: ил. - ISSN 2221-1993. - ISSN 2221-1993
Примечания : Библиогр.: с. 66 (4 назв.)
УДК : 372.8
ББК : 74.26
Предметные рубрики: Образование. Педагогика
Методика преподавания учебных предметов
Ключевые слова (''Своб.индексиров.''): дистанционное обучение--информатика в школе--методика обучения информатике--обучение программированию--олимпиады--олимпиады по информатике--предметные олимпиады--рекурсивные задачи--рекурсивные функции--рекурсии
Аннотация: В статье описана методика изучения темы "Решение рекурсивных задач по определению" при подготовке школьников к олимпиадам по информатике. Технической основой является разработанная под управлением автора инструментальная система дистанционного обучения (http: //dl. gsu. by).
Найти похожие

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