Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Suche nach den Begriffen

  • Main
  • Suche nach den Begriffen
1
Теория формальных систем

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

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

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

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

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

Эдвард Ли
Jahr:
2019
Sprache:
russian
Datei:
FB2 , 832 KB
0 / 0
russian, 2019
5
Введение в функциональное программирование

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

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

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

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

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

Шабунин Л. В.
Jahr:
2001
Sprache:
russian
Datei:
PDF, 1.38 MB
0 / 0
russian, 2001