Математическая логика в программировании [Сборник переводов статей]
Захарьящев М.В., Янов Ю.И. (ред)
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей-известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Կատեգորիաներ:
Տարի:
1991
Հրատարակչություն:
МИР
Լեզու:
russian
Էջեր:
408
Սերիաներ:
Математическое обеспечение ЭВМ
Ֆայլ:
DJVU, 6.24 MB
IPFS:
,
russian, 1991
Litres
Ցանկանու՞մ եք գրախանութ ավելացնել: Խնդրում ենք կապնվել մեզ հետ support@z-lib.do միջոցով
File converter
Բացել որոնման արդյունքները
More benefits 
![Захарьящев М.В., Янов Ю.И. (ред) — Математическая логика в программировании [Сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b0729b5d70c93615513e36872523c157f93672a410755506d945ed5f6d7818a8.jpg)
