ค้นหาหนังสือ
หนังสือ
บริจาค
ลงชื่อเข้าใช้
ลงชื่อเข้าใช้
เพื่อเข้าถึงฟีเจอร์เพิ่มเติม
คำแนะนำส่วนตัว
บอท Telegram
ประวัติการดาวน์โหลด
ส่งไปยังอีเมล หรือ Kindle
จัดการรายการในบุ๊กลิสต์
บันทึกในรายการโปรด
ส่วนตัว
คำร้องขอเพิ่มหนังสือ
น่าสนใจ
Z-Recommend
รายชื่อหนังสือ
ได้รับความนิยมมากที่สุด
หมวดหมู่
การมีส่วนร่วม
บริจาค
รายการที่อัพโหลด
Litera Library
บริจาคหนังสือกระดาษ
เพิ่มหนังสือกระดาษ
Search paper books
จุด LITERA Point ของฉัน
ค้นหาคีย์เวิร์ด
Main
ค้นหาคีย์เวิร์ด
search
1
Комбинаторная логика в программировании
Юринфор
Вольфенгаген В.Э.
объектов
комбинаторной
функции
объекты
программирования
объекта
объект
переменные
задачи
вычислений
выражение
системы
выражения
переменных
схеме
функция
логики
задача
count
решение
области
тип
функций
вычисления
данных
комбинаторов
определение
cdr
комбинатор
абстракции
исчисления
качестве
комбинаторы
суперкомбинаторы
комбинаторная
определения
snd
терм
являются
ламбда
логика
letrec
сведения
теории
посредством
считается
упражнение
alpha
компьютерных
параметров
ปี:
2003
ภาษา:
russian
ไฟล์:
DJVU, 2.64 MB
แท็กของคุณ:
0
/
0
russian, 2003
2
Комбинаторная логика в программировании. Вычисления с объектами в примерах и задачах.
АО "Центр ЮрИнфоР"
Вольфенгаген В.Э.
объектов
комбинаторной
функции
объекты
программирования
объекта
объект
переменные
задачи
вычислений
выражение
системы
выражения
переменных
схеме
функция
логики
задача
count
решение
области
тип
функций
вычисления
данных
комбинаторов
определение
cdr
комбинатор
абстракции
исчисления
качестве
комбинаторы
суперкомбинаторы
комбинаторная
определения
snd
терм
являются
ламбда
логика
letrec
сведения
теории
посредством
считается
упражнение
alpha
компьютерных
параметров
ปี:
2003
ภาษา:
russian
ไฟล์:
DJVU, 2.63 MB
แท็กของคุณ:
0
/
0
russian, 2003
3
Комбинаторная логика в программировании: вычисления с объектами в примерах и задачах
МИФИ
Вольфенгаген В.Э
раздел
схеме
объектов
комбинаторной
функции
выражения
count
выражение
объекты
объект
объекта
задача
решение
snd
программирования
тип
задачи
cdr
вычислений
логики
функций
вычисления
переменные
letrec
функция
alpha
абстракции
исчисления
системы
переменных
комбинаторы
ламбда
append
constr
качестве
определение
теории
λx.x
определения
beta
получаем
комбинаторов
области
рассмотрим
π0
параметров
терм
env
данных
sqrt
ปี:
2000
ภาษา:
russian
ไฟล์:
PDF, 985 KB
แท็กของคุณ:
0
/
0
russian, 2000
1
ติดตาม
ลิงก์นี้
หรือค้นหาบอท "@BotFather" บน Telegram
2
ส่งคำสั่ง /newbot
3
ระบุชื่อสำหรับแชทบอทของคุณ
4
เลือกชื่อผู้ใช้สำหรับบอท
5
คัดลอกข้อความล่าสุดทั้งหมดจาก BotFather แล้ววางที่นี่
×
×