Главная Упрощенный режим

Базы данных


Труды учёных ПГНИУ - результаты поиска

Вид поиска

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


    Перескокова, О. И.
    Изучение основ алгоритмизации и рекурсии на базе исполнителей, работающих в обстановке / О. И. Перескокова // Рождественские чтения: тезисы докладов XI Всерос. науч.-метод. конф. по вопросам применения ИКТ в образовании 9-10 января 2007 г. - 2007. - С. 78-79
УДК
ББК 74с
Рубрики: Образование. Педагогика
   Применение вычислительной техники в педагогике

Кл.слова (ненормированные):
изучение программирования -- алгоритмические конструкции -- воспитание алгоритмического мышления -- составление алгоритмов


Найти похожие
2.
004.43
З-24


    Залогова, Л. А.
    Формальное описание механизма логического вывода в Прологе / Л. А. Залогова // Вестник Пермского университета. Сер.: Математика. Механика. Информатика. - 2014. - Вып. 4 (27). - С. 84-91. - Библиогр.: с. 90 (4 назв.)
УДК
ББК 32.973-018.1
Рубрики: Вычислительная техника
   Языки программирования

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


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