Сбор средств 15 Сентября 2024 – 1 Октября 2024
О сборе средств
поиск книг
книги
Сбор средств:
23.9% достигнуто
Войти
Войти
авторизованным пользователям доступны:
персональные рекомендации
Telegram бот
история скачиваний
отправить на Email или Kindle
управление подборками
сохранение в избранное
Личное
Запросы книг
Изучение
Z-Recommend
Подборки книг
Самые популярные
Категории
Участие
Поддержать
Загрузки
Litera Library
Пожертвовать бумажные книги
Добавить бумажные книги
Search paper books
Мой LITERA Point
Поиск ключевых слов
Main
Поиск ключевых слов
search
1
Einfuehrung in den Lamdba Kalkuel 001
Addison Wesley Publishing Company
Chris Reade
λx
reduktion
kalkül
λy
variablen
abschnitt
abstraktion
ausdruck
funktionen
λf
ausdrücke
curry
d.h
redex
untypisierter
funktion
konversion
menge
typ
auftreten
beispiel
gilt
normalform
λz
gebunden
konstanten
regeln
führt
läßt
argument
ausdrucks
bezeichnet
cond
typen
frei
freie
kontext
programmiersprachen
z.b
λn
abstraktionen
aor
besitzen
betrachtet
kalküls
konfluenz
realisierung
typisierbar
applikation
argumente
Год:
1989
Язык:
german
Файл:
PDF, 319 KB
Ваши теги:
0
/
0
german, 1989
1
Перейдите по
этой ссылке
или найдите бота "@BotFather" в Telegram
2
Отправьте команду /newbot
3
Укажите имя для вашего бота
4
Укажите имя пользователя для бота
5
Скопируйте последнее сообщение от BotFather и вставьте его сюда
×
×