Пошуковий запит: (<.>K=РЕКУРСИВН$<.>+<.>K=ІДЕНТИФІКАЦІЯ$<.>) |
Загальна кількість знайдених документів : 41
Представлено документи з 1 до 20
|
| | |
| 1. | Гудстейн Р. Л. Рекурсивный математический анализ [Електронний ресурс] : пер. с англ. / Р. Л. Гудстейн. - М. : Наука, 1970. - 472 с. - (Серия "Математическая логика и основания математики")
|
| 2. | Пректер Р. Р. Волновой принцип Эллиота: ключ к поведению рынка [Електронний ресурс] / Р. Р. Пректер, А. Дж. Фрост. - М. : Альпина Бизнес Букс, 2001. - 268 с.
|
| 3. | Андреева Е. В. Московские олимпиады по математике [Електронний ресурс] / Е. В. Андреева, В. М. Гуровиц, В. А. Матюхин. - М. : МЦНМО, 2006. - 256 с.
|
| 4. | Дунаев В. В. Базы данных. Язык SQL [Електронний ресурс] / В. В. Дунаев. - СПб. : БХВ-Петербург, 2006. - 288 с.
|
| 5. | Пособие по дактилоскопии [Електронний ресурс]. - М. : Издание ГУРКМ НКВД СССР, 1935. - 87 с.
|
| 6. | Мадей Н. М. Проблема культурної ідентичності [Електронний ресурс] : курс лекцій / Н. М. Мадей. - [Б. м. : б. в.]. - 30 с.
|
| 7. | Смальян Р. Теория формальных систем [Електронний ресурс] / Р. Смальян. - М. : Наука, 1981. - 207 с. - (Математическая логика и основания математики)
|
| 8. | Успенский В. А. Лекции о вычислимых функциях [Електронний ресурс] / В. А. Успенский. - М. : Гос. изд-во физико-математической литературы, 1960. - 492 с. - (Математическая логика и основания математики)
|
| 9. | Верещагин Н. К. Лекции по математической логике и теории алгоритмов [Електронний ресурс] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999-2000
|
| 10. | Коэн П. Дж. Теория множеств и континуум-гипотеза [Електронний ресурс] : пер. с англ. / П. Дж. Коэн. - М. : Мир, 1969. - 347 с.
|
| 11. | Попов А. И. Введение в математическую логику [Електронний ресурс] / А. И. Попов. - Ленинград : Издательство Ленинградского университета, 1959. - 109 с.
|
| 12. | Перетятькин М. Г. Конечно аксиоматизируемые теории [Електронний ресурс] / М. Г. Перетятькин. - Новосибирск : Научная книга, 1996. - 322 с. - (Сибирская школа алгебры и логики)
|
| 13. | Генкин Л. О математической индукции [Електронний ресурс] : пер. с англ. / Л. Генкин. - М. : Гос. изд-во физико-математической литературы, 1962. - 36 с.
|
| 14. | Клини С. К. Введение в метаматематику [Електронний ресурс] / С. К. Клини. - М. : Изд-во Иностранной Литературы, 1957. - 526 с.
|
| 15. | Морозов А. Д. Введение в теорию фракталов [Електронний ресурс] / А. Д. Морозов. - М. ; Ижевск : Институт компьютерных исследований, 2000. - 160 с. - (Современная математика)
|
| 16. | Манин Ю. И. Введение в теорию чисел [Електронний ресурс] / Ю. И. Манин, А. А. Панчишкин. - М. : ВИНИТИ, 1990. - 350 с. - (Соврем. пробл. мат)
|
| 17. | Мальцев А. И. Алгоритмы и рекурсивные функции [Електронний ресурс] / А. И. Мальцев. - М. : Наука, 1986. - 368 с.
|
| 18. | Клини С. К. Основания интуиционистской математики с точки зрения рекурсивных функций [Електронний ресурс] : пер. с англ. / С. К. Клини, Р. Ю. Весли. - М. : Наука, 1978. - 271 с.
|
| 19. | Баррон Д. Рекурсивные методы в программировании [Електронний ресурс] / Д. Баррон. - М. : Мир, 1974. - 81 с. - (Математическое обеспечение ЭВМ)
|
| 20. | Гильберт Д. Основания математики логические исчисления и формализация арифметики [Електронний ресурс] : пер. с нем. / Д. Гильберт, П. Бернайс. - М. : Наука, 1979. - 652 с. - (Математическая логика и основания математики)
|
| | |
Простий пошук
Віртуальна довідка