Языки и исчисления

: Литература по курсу
Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 722 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Специальности: Программист
  • 1.
    А. Ахо, Дж. Ульман, Дж. Хопкрофт
    Построение и анализ вычислительных алгоритмов
  • 2.
    Дж. Булос, Р. Джеффри
    Вычислимость и логика
  • 3.
    Н. Бурбаки
    Начала математики. Первая часть. Основные структуры анализа. Книга первая. Теория множеств
  • 4.
    Б. Л. ван дер Варден
    Алгебра
  • 5.
    А. Шень, Н. К. Верещагин
    Лекции по математической логике и теории алгоритмов. Вычислимые функции
  • 6.
    А. Шень, Верещагин
    Лекции по математической логике и теории алгоритмов. Начала теории множеств
  • 7.
    А. Гейтинг
    Интуиционизм. Введение
  • 8.
    Д. Гильберт, П. Бернайс
    Основания математики. Логические исчисления и формализация арифметики
  • 9.
    С. Г. Гиндикин
    Алгебра логики в задачах
  • 10.
    А. В. Гладкий
    Математическая логика
  • 11.
    М. Дэвис
    Прикладной нестандартный анализ
  • 12.
    Е. А. Палютин, Ю. Л. Ершов
    Математическая логика
  • 13.
    Г. Кейслер, Ч. Ч. Чэн
    Теория моделей
  • 14.
    А. Г. Курош
    Лекции по общей алгебре, издание второе
  • 15.
    С. К. Клини
    Введение в метаматематику
  • 16.
    С. К. Клини
    Математическая логика
  • 17.
    Р. Весли, С. Клини
    Основания интуиционистской математики с точки зрения теории рекурсивных функций
  • 18.
    Р. Ривест, Т. Кормен, Ч. Лейзерсон
    Алгоритмы: построение и анализ
  • 19.
    И. А. Лавров, Л. Л. Максимова
    Задачи по теории множеств, математической логике и теории алгоритмов, издание второе
  • 20.
    Р. Линдон
    Заметки по логике
  • 21.
    Ю. И. Манин
    Доказуемое и недоказуемое
  • 22.
    А. Робинсон
    Введение в теорию моделей и метаматематику алгебры
  • 23.
    Рэймонд М. Смаллиан
    Как же называется эта книга?
  • 24.
    Р. Смальян
    Теория формальных систем
  • 25.
    Справочная книга по математической логике в четырёх частях под ред. Дж. Барвайса. Часть II. Теория множеств
  • 26.
    Справочная книга по математической логике в четырёх частях под ред. Дж. Барвайса. Часть III. Теория рекурсии
  • 27.
    В. А. Успенский
    Что такое нестандартный анализ?
  • 28.
    В. А. Успенский
    Нестандартный, или неархимедов, анализ
  • 29.
    Х. Фрейденталь
    Язык логики
  • 30.
    А. Чёрч
    Введение в математическую логику
  • 31.
    Дж. Шенфилд
    Математическая логика
  • 32.
    Э. Энгелер
    Метаматематика элементарной математики
  • 33.
    С. В. Яблонский
    Введение в дискретную математику, издание второе
  • 34.
    H. J. Keisler
    Elementary Calculus