Катрин87 · 26-Июн-07 17:47(18 лет назад, ред. 20-Апр-16 14:31)
Подборка книг по функциональному и логическому программированию.( LISP, PROLOG) Формат:DjVu, PDF, Word, RTF Описание: 1. Аппликативные вычисления (Исмаилова, Гольцева, Вольфенгаген)
2. АРХИТЕКТУРЫ ПРОЦЕССОРОВ (Ульянов М.В.)
3. Логика предикатов (В.И. Маркин)
4. Математическая логика (Миронов А. М.)
5. Системы искусственного интеллекта (А.В. Гаврилов)
6. Функциональное программирование (Филд, Харрисон )
7. Программирование на языке Prolog (Клоксин, Меллиш)
8. Мир LISPa - 2 тома (Хьювенен, Сепенянин) Дополнительно статьи: Языки и системы программирования
Частичные применения функций и каррирование
Аппликативные вычислительные системы
Декларативный язык программирования
СТРУКТУРЫ ДАННЫХ И БАЗИСНЫЕ ОПЕРАЦИИ
язык программирования Prolog
Основы лямбда-исчисления и теории комбинаторов
Примеры решения некоторых задач
По поводу книги АРХИТЕКТУРЫ ПРОЦЕССОРОВ (Ульянов М.В.)
Простор великолепна. Я скажу больше - Ульянов М.В. был нашем преподавателем по таким дисциплинам, как Рекурсивные алгоритмы, Разработка эффективных алгоритмов, Теория вычислительных процессов (Архитектура процессоров) и прочее. Гениальный преподаватель, а его книги - супер!