Математическое введение в декларативное программирование:...

Математическое введение в декларативное программирование: Учебное пособие

Зюзысов В.М.
0 / 0
0 comments
你有多喜欢这本书？
下载文件的质量如何？
下载该书，以评价其质量
下载文件的质量如何？
В пособии рассматриваются математические основы декларативного программирования: формальные аксиоматические теории, исчисление высказываний, теории первого порядка, классические методы доказательства, автоматическое доказательство теорем, ламбда-исчисление и другие вопросы
种类:
Mathematics - Applied Mathematics
年:
2003
出版社:
ТГУ
语言:
russian
页:
83
文件:
PDF, 2.06 MB
IPFS:
CID , CID Blake2b
russian, 2003
下载 (pdf, 2.06 MB)
  • Checking other formats...
  • 转换后的文件可能与原始文件不同。如果可能的话，最好下载原始格式的文件
正在转换
转换为 失败

关键词

 
функции
теории
формулы
порядка
формула
λx
называется
программирования
множество
первого
функция
false
помощью
программы
выражение
правило
переменных
исчисления
правила
программирование
выражения
теорема
формул
функций
вывода
доказательства
утверждение
языки
ламбда
терм
функцию
λy
доказательство
чисел
язык
число
integer
foldr
переменные
языка
языке
высказываний
интерпретации
алгоритм
определение
определения
существует
являются
haskell
дизъюнктов
переменной
списка
исчисление
множества
предикатов
вида
вычисления
любой
prefn
значения

关联书单