Языки и исчисления
: Литература по курсу
Опубликован: 24.04.2007 | Доступ: свободный | Студентов: 722 / 35 | Оценка: 4.60 / 4.30 | Длительность: 25:56:00
Специальности: Программист
Теги:
- 1.Построение и анализ вычислительных алгоритмовМ.:Мир, 1979
- 2.Вычислимость и логикаМ.:Мир, 1994. 396 с
- 3.Начала математики. Первая часть. Основные структуры анализа. Книга первая. Теория множествМ.:Мир, 1965
- 4.АлгебраМ.:Наука, главная редакция физико-математической литературы, 1976
- 5.Лекции по математической логике и теории алгоритмов. Вычислимые функцииМ.:МЦНМО, 1999. 176 с
- 6.Лекции по математической логике и теории алгоритмов. Начала теории множествМ.:МЦНМО, 1999. 128 с
- 7.Интуиционизм. ВведениеМ.:Мир, 1965. 200 с
- 8.Основания математики. Логические исчисления и формализация арифметикиМ.:Наука, главная редакция физико-математической литературы, 1979. 560 с
- 9.Алгебра логики в задачахМ.:Наука, главная редакция физико-математической литературы, 1972. 288 с
- 10.Математическая логикаМ.:Российcкий государственный гуманитарный университет, 1998. 479 с
- 11.Прикладной нестандартный анализМ.:Мир: 1980. 236 с
- 12.Математическая логикаМ.:Наука, главная редакция физико-математической литературы, 1979
- 13.Теория моделейМ.:Мир, 1977. 614 с
- 14.Лекции по общей алгебре, издание второеМ.:Наука, главная редакция физико-математической литературы, 1973. 399 с
- 15.Введение в метаматематикуМ.:Издательство иностранной литературы, 1957. 526 с
- 16.Математическая логикаМ.:Мир, 1973. 480 с
- 17.Основания интуиционистской математики с точки зрения теории рекурсивных функцийМ.:Наука, главная редакция физико-математической литературы, 1978. 272 с
- 18.Алгоритмы: построение и анализМ.:МЦНМО, 1999. 960 с
- 19.Задачи по теории множеств, математической логике и теории алгоритмов, издание второеМ.:Наука, 1984. 224 с
- 20.Заметки по логикеМ.:Мир, 1968. 128 с
- 21.Доказуемое и недоказуемоеМ.:Советское радио, 1979. 168 с
- 22.Введение в теорию моделей и метаматематику алгебрыМ.:Наука, главная редакция физико-математической литературы, 1967. 376 с
- 23.Как же называется эта книга?М.:Мир, 1981. 240 с
- 24.Теория формальных системМ.:Наука, главная редакция физико-математической литературы, 1981. 207 с
- 25.Справочная книга по математической логике в четырёх частях под ред. Дж. Барвайса. Часть II. Теория множествМ.:Наука, 1982. 376 с
- 26.Справочная книга по математической логике в четырёх частях под ред. Дж. Барвайса. Часть III. Теория рекурсииМ.:Наука, 1982. 360 с
- 27.Что такое нестандартный анализ?М.:Наука, главная редакция физико-математической литературы, 1987. 128 с
- 28.Нестандартный, или неархимедов, анализМ.:Знание, 1983. 61 с.
- 29.Язык логикиМ.:Наука, главная редакция физико-математической литературы, 1969. 136 с
- 30.Введение в математическую логикуМ.:Издательство иностранной литературы, 1960. 484 с
- 31.Математическая логикаМ.:Наука, 1975. 528 с
- 32.Метаматематика элементарной математикиМ:Мир, 1987. 128 с
- 33.Введение в дискретную математику, издание второеМ.:Наука, 1986. 384 с
- 34.Elementary CalculusWeber and Sсhmidt, Prindle, 1976