Поисковый запрос: (<.>R=27.03$<.>) |
Общее количество найденных документов : 63
Показаны документы с 1 по 20 |
|
1.
| Проблемы конструктивного направления в математике - 2 (Конструктивный математический анализ)/Академия наук СССР. - 1962
|
2.
| Столл Р. Множества. Логика. Аксиоматические теории/Р. Столл ; пер. с англ. Ю. А. Гастева, И. Х. Шмаина ; под ред. Ю. А. Шихановича. - 1968
|
3.
| Карри Хаскелл Б. Основания математической логики/Хаскелл Б. Карри ; пер. с англ. В. В. Донченко под ред. Ю. А. Гастева. - 1969
|
4.
| Кейслер Г. Дж. Теория непрерывных моделей/Г. Дж. Кейслер, Чэн Чень-чунь ; пер. с англ. Г. А. Бурле ; под ред. А. Г. Драгалина. - 1971
|
5.
| Шапиро С. И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления/С. И. Шапиро ; вступит. ст. А. И. Берга, Б. В. Бирюкова, А. А. Столяра. - 1973
|
6.
| Мостовский А. Конструктивные множества и их приложения/А. Мостовский ; перевод с английского М. И. Кратко [и др.] ; под редакцией: А. Г. Драгалина, А. Д. Тайманова. - 1973
|
7.
| Кибернетика и логика. Математико-логические аспекты становления идей кибернетики и развития вычислительной техники/АН СССР, Науч. совет по комплексной проблеме "Кибернетика", Ин-т истории естествознания и техники. - 1978
|
8.
| Гильберт Д. Основания математики. Логические исчисления и формализация арифметики/Д. Гильберт, П. Бернайс ; пер с нем. Н. М. Нагорного под ред. С. И. Адяна. - 1979
|
9.
| Трауб Д. Общая теория оптимальных алгоритмов/Д. Трауб, Х. Вожьянковский ; перевод с английского А. Г. Сухарева ; под редакцией Н. С. Бахвалова. - 1983
|
10.
| Classification and Regression Trees/Leo Breiman [et al.]. - 1984
|
11.
| Нечеткие множества и теория возможностей. Последние достижения/под редакцией Р. Ягера ; перевод с английского В. Б. Кузьмина под редакцией С. И. Травкина. - 1986
|
12.
| Трауб Дж. Информация, неопределенность, сложность/Дж. Трауб, Г. В. Васильковский, Х. Вожьняковский ; пер. с англ. О. Р. Чуян ; под ред. А. Г. Сухарева. - 1988
|
13.
| Нефедов В. Н. Курс дискретной математики/В. Н. Нефедов, В. А. Осипова. - 1992
|
14.
| Левнер Е. В. Размытые множества и их применения/Е. В. Левнер, А. С. Птускин, А. А. Фридман. - 1998
|
15.
| Monin J.-F. Understanding Formal Methods/J. -F. Monin ; transl. ed. M. G. Hinchey. - 2003
|
16.
| Hirvensalo M. Quantum Computing/M. Hirvensalo. - 2004
|
17.
| Alternative Logics. Do Sciences Need Them?/ed. P. Weingartner. - 2004
|
18.
| Shackell J. Symbolic Acymptotics/J. Shackell. - 2004
|
19.
| Васюков В. Л. Квантовая логика/В. Л. Васюков. - 2005
|
20.
| Режимы с обострением. Эволюция идеи/ред., [авт. предисл.] Г. Г. Малинецкий ; сост. В. С. Курдюмов. - 2006
|
|
|