핵심어 검색

  • Main
  • 핵심어 검색
1
Теория формальных систем

Теория формальных систем

Смальян Р. (Смаллиан Р.)
множество
рекурсивно
системы
множества
множеств
теорема
функция
пара
отношение
доказательство
теоремы
следовательно
отношения
теории
представимо
сдвоенно
функции
чисел
формально
рекурсивная
посредством
отношений
представляет
перечислимо
система
теория
россера
число
предположим
совокупности
утверждение
fix
главы
числа
теореме
слабо
эффективно
предложение
функцией
существует
всякого
системе
предикат
относительно
равномерно
являются
продуктивна
взаимно
пары
формальной
년:
1981
언어:
russian
파일:
DJVU, 3.92 MB
0 / 0
russian, 1981
2
Рекурсивные пребразователи информации [Учеб. пособие для вузов по спец. '' Прикл. математика'']

Рекурсивные пребразователи информации [Учеб. пособие для вузов по спец. '' Прикл. математика'']

Анисимов А.В.
преобразователь
преобразователей
преобразователя
множество
памяти
конец
рис
состояние
алгоритмов
класс
программ
среды
локально
автомат
вычислительной
вида
сигнал
вычислений
состояний
схем
доказательство
рекурсивных
преобразователи
существует
оператор
состояния
схемы
эквивалентности
данных
информации
теорема
теории
рассмотрим
число
алгоритм
автомата
операторы
тьюринга
элемент
язык
называется
проблема
функции
элемента
языков
символ
являются
алгоритма
результат
операторов
년:
1987
언어:
russian
파일:
DJVU, 4.53 MB
0 / 0
russian, 1987
4
Мозговой Студень

Мозговой Студень

Эдвард Ли
년:
2019
언어:
russian
파일:
FB2 , 832 KB
0 / 0
russian, 2019
5
Введение в функциональное программирование

Введение в функциональное программирование

Гордон М.
дата
инв
подп
λx
выражение
λy
докум
взам
дубл
копирова
лист
подл
формат
измлист
false
выражения
функции
λf
упражнение
показать
λv
нормальной
iszero
означает
функция
конверсия
т.е
выражений
называется
функцию
snd
использовать
форме
suc
переменных
нормальную
форму
fst
определить
используя
предположим
представляет
функций
prefn
конверсии
переменная
представления
редукции
следующим
комбинатор
언어:
russian
파일:
PDF, 1.07 MB
0 / 0
russian
6
Основы функционального программирования

Основы функционального программирования

Паулсон Л
년:
1995
언어:
russian
파일:
PDF, 1.00 MB
0 / 0
russian, 1995
7
Теорема вложения для многообразий Кантора

Теорема вложения для многообразий Кантора

Шабунин Л. В.
년:
2001
언어:
russian
파일:
PDF, 1.38 MB
0 / 0
russian, 2001