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