შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

საკვანძო სიტყვების ძებნა

  • 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
8
Систематическое конструирование однокомбинаторного базиса для λ-термов

Систематическое конструирование однокомбинаторного базиса для λ-термов

Фоккер Е.
ენა:
russian
ფაილი:
PDF, 122 KB
0 / 0
russian