М34 Математическая логика в программировании [] : пер. с англ. / под ред.: М. В. Захарьящева, Ю. И. Янова. - Москва : Мир, 1991. - 408 с. : рис. - (Математическое обеспечение ЭВМ). - Лит.: с. 395-407. - ISBN 5-03-001635-X : 7.00 крб
Рубрики: Програмування--Математична логіка--Теорія--Практика--Наукові видання фывфывфыв: функциональные программы -- функціональні програми -- мышление функционального уровня -- мислення функціонального рівня -- линейные уравнения -- лінійні рівняння -- денотационная семантика -- денотаційна семантика -- неразделенные лямбда-абстракции -- нерозділені лямбда-абстракції -- комбинаторы -- комбінатори -- суперкомбинаторы -- суперкомбінатори -- логический анализ модулей -- логічний аналіз модулей -- описания вычислений -- опис обчислень Аннотация: Результаты в теоретическом и практическом программировании на основе применения идей и методов математической логики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Захарьящев, М. В. \ред.\; Янов, Ю. И. \ред.\ Экземпляры всего: 2 ВВ (1), ФОНД (1) Свободны: ВВ (1), ФОНД (1) |