|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Математическая логика в программировании: Сборник статейкнига
- Авторы: Захарьящев Михаил Викторович, Янов Юрий Иванович
- Год издания: 1991
- Место издания: Мир Москва
- Объём: 408 страниц (12,75 печатных листов)
- ISBN: 5-03-001635-Х
- Тираж: 7000 экз.
- Аннотация: Дж. Бэкус. Алгебра функциональных программ: мышление функционального уровня, линейные уравнения и обобщенные определения. Перевод Манциво- дыА.А 8 Дополнение переводчика 54 Д. С. Скотт. Области в денотационной семантике. Перевод Воронкова А. А. 56 Дж. Р. Хиндли. Комбинаторы и лямбда-исчисления. Краткий обзор. Перевод Найдича Д. Э. 119 С. Л. Пейтон Джоунз. Введение в суперкомбинаторы для вполне задержанных вычислений. Перевод Антимирова В. М. 141 Ж. Юэ, Д. Оппен. Равенства и правила переписывания. Обзор. Перевод Дегтярёва А. И, 176 Д. Миллер. Логический анализ модулей в логическом программировании. Перевод Воронкова А. А 233 Дж. А. Гоген, Ж. Мезегер. Модели и равенство в логическом программировании. Перевод Антимирова В. М. 274 К. А. Гоуд. Доказательства как описания вычислений. Перевод Воронкова А. А 311 В. М. Антимиров, А. А. Воронков, А. И. Дегтярёв, М. В. Захарьящев, В. С. Проценко. Математическая логика в программировании. Обзор 331
- Добавил в систему: Золин Евгений Евгеньевич