Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Автор: Ред. М. В. Захарьящев и Ю. И. Янов
Название: Математическая логика в программировании: Сб. статей 1980—1988 гг.
Издательство: Мир
Год: 1991
Страниц: 408
Формат: DJVU
Размер: 5,1 МБ
Качество: Отличное, 600дпи, цветные обложки
Сборник работ зарубежных специалистов, отражающий новые результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. В него включены статьи по функциональному программированию, лямбда-исчислению, автоматическому поиску логического вывода, методам работы с равенствами. Среди авторов статей—известные специалисты: Дж. Бэкус, Д. Оппен, Д. Скотт (США), Дж. Р. Хиндли, С. Л. Пейтон Джоунз (Англия). Для программистов разной квалификации, специалистов в области языков программирования и математической логики, аспирантов и студентов вузов.
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Буквоед".
Using the button above you can buy paper versions of this book and similar books on the website of the "Bookvoed" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: 5jtCeReLm1S3Xx3LfAELCUa.
Дата создания страницы: