у кого есть книжки из списка? Попросили узнать....

Craft

Список необходимых книг.
1. Клини С. Введение в метаматематику. М., 1957
2. Успенский В.А. Лекции о вычислимых функциях. М., 1960
3. Марков А.А., Нагорный Н.М. Теория алгорифмов. М., 1984
4.
5. Мальцев А.И. Алгебраические системы. М., 1970
6. Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М., 1972
7. Петер Р. Рекурсивные функции. М., 1954
8. Петер Р. Игра с бесконечностью. М., 1968
9. Дейкстра Э. Дисциплина программирования. М., 1978
10. Кнут Д. Искусство программирования для ЭВМ. М.,1977 в 3-х томах.
11. Френкель А., Бар-Хиллел И. Основания теории множеств. М.,1966
12. Кановей В.Г. Аксиома выбора и аксиома детерминированности. М., 1984
13.
14. Голдблатт Р. Логика времени и вычислимости. М.,1992
15. Вопенка П. Математика в альтернативной теории множеств. М.,1983
16. Гретцер Г.Общая теория решёток. М.,1982
17. Кейслер Г., Чэн Ч.Ч. Теория моделей. М., 1977
18. Кон П. Универсальная алгебра. М., 1965
19. Кудрявцев В.Б. О функциональных системах. М., 1981
20.
21.
22. Фор Р., Кофман А., Дени-Папен М. Современная математика. М., 1966
23. Генкин Л. О математической индукции. М., 1962
24.
25.
26.
27.
28. Биркгоф Г., Барти Т. Современная прикладная алгебра. М.,1976
29. Фрейденталь Х. Язык логики. М.,1969
30. Шеннон К.Э. Работы по кибернетике и теории информации. М.. 1956 31. Гейтинг А. Интуиционизм. М.,1965
32. Маслов С.Ю. Теория дедуктивных систем и её применения. М.,1986
33. Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.,1970
34. Слупецкий Е., Борковсий Л. Элементы математической логики и теории множеств. М., 1965
35. Адян С.И. Проблема Бернсайда и тождества в группах. М., 1975
36. Курош А.Г. Теория групп. М.,1967
37. Линдон Р., Шупп П. Комбинаторная теория групп. М., 1980
38. Новиков П.С. Избранные труды (Теория множеств и функций. Математическая логика и алгебра.) М.,1979
39. Кемени Дж., Снелл Дж., Томпсон Дж. Введение в конечную математику. М., 1964
40. Бурбаки Н. Теория множеств. М.,1965
41. Бурбаки Н. Алгебра. М.,1962
Желательно иметь все произведения Н.Бурбаки.
42. Тарский А. Введение в логику и методологию дедуктивных наук. М., 1948
43. Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959
44. Скорняков Л.А. Дедекиндовы структуры с дополнениями и регулярные кольца. М.,1971
45. Калужнин Л.А. Введение в общую алгебру. М.,1973
46. Кострикин А.И. Введение в алгебру. М., 1977
47. Заде Л. Понятие лингвистической переменной и его применение к принятию приближённых решений. М.,1976
48.
49. Серпинский В. О теории множеств. М.,
50. Кантор Г. Труды по теории множеств. М.,1985
51.
52.
53. Матричные игры. М.,1961
54. Вычислительные машины и мышление. М.,1967
55. Теория кодирования. М.: Мир, 1978
56. Джекобсон Н. Теория колец. М., 1947
57. Джекобсон Н. Строение колец. М.,1961
58. Джекобсон Н. Алгебры Ли. М., 1964
59. Картран А., Эйленберг С. Гомологическая алгебра. М., 1960
60.
61. Грэхем Р., Кнут Д., Паташник О. Конкретная математика. Основания информатики. М., 1994
62. Лекции лауреатов премии Тьюринга. (Те, что издавались)
63. Феферман С. Числовые системы. М., 1971
64.
65. Успенский В.А., Семёнов А.Л. Теория алгоритмов: основные открытия и приложения. М., 1987
66. Хао Ван, Мак-Нотон Р. Аксиоматические теории множеств. М., 1963
67.

spiritmc

Вопенку достать почти невозможно.
Кострикина и Бурбаки могут пролетать в "Букинисте."
Кнут был доставаем в "Библио-Глобусе" год-два назад.
Может пролетать в том же "Букинисте."
Кантора тоже возможно увидеть.
Вообще, всё, кроме Вопенки, я видел в библиотеках.
Вопенку --- только на руках.
---
...Я работаю антинаучным аферистом...

Craft

Эх... вот если бы в электронном виде....

spiritmc

У cepesh-а смотрел?
---
...Я работаю антинаучным аферистом...

resident

некоторая часть должна быть в электронной библиотеке
она теперь у андора кажется
Оставить комментарий
Имя или ник:
Комментарий: