Приложение
для AndroidПолное описание
Кусраев, А. Г. Булевозначный анализ / А.Г.Кусраев,С.С.Кутателадзе. - Новосибирск : Изд-во Ин-та математики, 1999. - 383 с. - (Нестандартные методы анализа). - 200 экз. - ISBN 5-86134-059-5. - Текст : непосредственный.
В надзаг.: Рос. АН, Сиб. отд-ние, Ин-т математики им. С.Л.Соболева. Библиогр.: с.357-374 (261 назв.). Предм. указ.: с.375-383
| ГРНТИ | УДК | |
| 27.03.19 | 510 | |
| 03.91 | 517.98 |
Рубрики:
Математическая логика
Функциональный анализ
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ
Доп. точки доступа:
Кутателадзе, С.С.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-99/44486)
Шифр в сводном ЭК: 94c8b0140c300a84062723a4ba4173a9
Кутателадзе С.С. Соболев и исчисление XX века / С. С. Кутателадзе, 2008. - 26 с. - Текст : непосредственный.Басаева Е.К. Выпуклый анализ : Учеб.пособие. 6 : Квазидифференциалы, 2003. - 841 с. - Текст : непосредственный.Решетняк Ю.Г. Псевдоактуальный нуль / Ю. Г. Решетняк, С. С. Кутателадзе, 2007. - 8 с. - Текст : непосредственный.Кутателадзе С.С. Alexandrov's approach to the minkowski problem / С. С. Кутателадзе, 2012. - 10 р. с. - Текст : непосредственный.Кутателадзе С.С. Реинкарнация идей прикладного анализа / С. С. Кутателадзе, 2010. - 16 с. - Текст : непосредственный.Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный.Кутателадзе С.С. Мажорирование, дискретизация и скаляризация / С. С. Кутателадзе, 2008. - 20 с. - Текст : непосредственный.Л.В.Канторович - математик и экономист / С. С. Кутателадзе, В. Л. Макаров, И. В. Романовский, Г. Ш. Рубинштейн, 2003. - 26 с. - Текст : непосредственный.Кутателадзе С.С. Наука, псевдонаука и лженаука / С. С. Кутателадзе, 2004. - 25 с. - Текст : непосредственный.
Нестандартный анализ и векторные решетки / А.Е. Гутман, Э.Ю. Емельянов, А.В. Коптев [и др.]; под ред. С.С. Кутателадзе, 2005. - 399 с. - Текст : непосредственный.Кутателадзе С.С. Fidelis et Infidelis / С. С. Кутателадзе, 2007. - 8 с. - Текст : непосредственный.Кутателадзе С.С. Что такое булевозначный анализ? / С. С. Кутателадзе, 2006. - 27 с. - Текст : непосредственный.Решетняк Ю.Г. О реформе науки в России / Ю.Г. Решетняк, С.С. Кутателадзе, 2005. - 12 с. - Текст : непосредственный.Кутателадзе С.С. Стиль Евклида и "бурбакизм" / С.С. Кутателадзе, 2005. - 16 с. - Текст : непосредственный.Кутателадзе С.С. Основы функционального анализа / С.С.Кутателадзе, 1995. - 224 c. - Текст : непосредственный.Кутателадзе С.С. Основы теории теплопередачи при изменении агрегатного состояния вещества / С. С. Кутателадзе, 1939. - 132, [4] с. - Текст : непосредственный.Кутателадзе С.С. Сергей Соболев и Лоран Шварц: две судьбы, две славы / С.С.Кутателадзе, 2003. - 15 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Нестандартный анализ и векторные решетки / А.Е. Гутман, Э.Ю. Емельянов, А.В. Коптев [и др.]; под ред. С.С. Кутателадзе, 2005. - 399 с. - Текст : непосредственный.Гордон, Е. И. Инфинитезимальный анализ. Ч. 2, 2001. - 246 с. - Текст : непосредственный.Кусраев А.Г. Булевозначный анализ / А.Г.Кусраев,С.С.Кутателадзе, 1999. - 383 с. - Текст : непосредственный.Гордон, Е. И. Инфинитезимальный анализ. Ч. 1, 2001. - 317 с. - Текст : непосредственный.Гордон Е.И. Инфинитезимальный анализ / Е. И. Гордон, А. Г. Кусраев, С. С. Кутателадзе, 2006. - 525 с. - Текст : непосредственный.Нестандартный анализ и векторные решетки / А.Е.Гутман,Э.Ю.Емельянов,А.Г.Кусраев,С.С.Кутателадзе, 1999. - 379 с. - Текст : непосредственный.
Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный.Chen Y. Meshless methods in solid mechanics / Y. Chen, J. Lee, A. Eskandarian, 2006 r=on-lineRomano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-lineTeodorescu P.P. Mechanical systems, classical models / P. P. Teodorescu, 2007 r=on-lineИванова О.А. Алгоритмизация и численная реализация аналитических методов представления решений в задачах механики : специальность 01.01.09 "Дискретная математика и математическая кибернетика" : диссертация на соискание ученой степени канд. физ.-мат. наук / О. А. Иванова, 2007. - 15 с. - Текст : непосредственный.Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный.Разностные схемы : сборник№ 5 / Ред. В. Г. Дулов, 1989. - 162 с. - Текст : непосредственный.Хованский А.Д. Геохимия аквальных ландшафтов / А. Д. Хованский, 1993. - 239 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Кузнецов П.Б. Основы нечеткой математики. Теория нечетких множеств / П. Б. Кузнецов, Ю. К. Оленикова, 2003. - 154 с. - Текст : непосредственный.Арсеньев Д.Г. Адаптивное управление в стохастических методах вычислительной математики и механики : учебное пособие / Д. Г. Арсеньев, В. М. Иванов, М. Л. Кореневский, 2008. - 423 с. - Текст : непосредственный.Цивинский С.В. Специальная теория относительности, понятие времени, новая возможность уточнения классической механики и зависимость физических свойств от скорости движения / С. В. Цивинский, 1989. - 33 л. - Текст : непосредственный.Численные методы механики сплошной среды : материалы временных коллективов / АН СССР, Сибирское отделение, 1991. - 171 с. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Бакушинский А.Б. Элементы функционального анализа : учебное пособие / А. Б. Бакушинский, Ю. И. Худак, 2011. - 188 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Чернов И.А. Контрпримеры и парадоксы в математике. Математический и функциональный анализ : выставочные материалы / И. А. Чернов, 2015. - 39 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Современная математика. Фундаментальные направления. Т. 10(2004) : Функциональный анализ, 2004. - 163 с. - Текст : непосредственный.Жабко А.П. Лекции по динамическим системам. Ч. 1 : Основные понятия и вспомогательные сведения из функционального анализа, 2003. - 124 с. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Конструктивная теория функций и функциональный анализ : Сб.статей. Вып. 8, 1992. - 99 с. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Константинов Р.В. Лекции по функциональному анализу : учебное пособие / Р. В. Константинов, 2009. - 368 с. - Текст : непосредственный.Лебедев В.И. Функциональный анализ и вычислительная математика / В. И. Лебедев, 1994. - 214 c. - Текст : непосредственный.
Показать все результатыМир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный.Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный.Чащин О.Н. Единственность и регуляризация операторных уравнений Вольтерра в шкале банаховых пространств : специальность 01.01.02 "Дифференциальные уравнения, динамические системы и оптимальное управление " : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / О. Н. Чащин, 2001. - 15 с. - Текст : непосредственный.Чистяков В.В. Обобщенные вариации в многозначном анализе : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / В. В. Чистяков, 2001. - 25 с. - Текст : непосредственный.Энеева Л.М. Некоторые вопросы геометрии регулярно упорядоченных банаховых пространств : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Л. М. Энеева, 2001. - 14 с. - Текст : непосредственный.Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный.Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный.Джолдошев О.Д. Некоторые вопросы качественной теории функциональных уравнений / О. Д. Джолдошев, 1990. - 82 с. - Текст : непосредственный.Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.Можарова Т.Н. О линейных операторах с целой характеристической функцией в пространствах Фреше и их применениях : специальность 01.01.01 "Вещественный, комплексный и функциональный анализ" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Т. Н. Можарова, 1998. - 15 с. - Текст : непосредственный.Семенов П.В. Непрерывные селекции паравыпуклозначных отображений : специальность 01.01.04 "Геометрия и топология" : автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук / П. В. Семенов, 1998. - 24 с. - Текст : непосредственный.Elst A.F.M.ter Second-order subelliptic operators on Lie groups I:complex uniformly continuous principal coefficients / A. F.M.ter Elst, D. W. Robinson, 1996. - 41 p. - Текст : непосредственный.Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный.Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный.Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный.Конопельченко Б.Г. Inverse spectral transform for nonlinear evolution equation generating the Davey-Stewartson and Ishimori equations / Б. Г. Конопельченко, Б. Т. Маткаримов, 1989. - 42 p. - Текст : непосредственный.Владимиров В.С. Обобщенные функции и их применение / В. С. Владимиров, 1990. - 46 с. - Текст : непосредственный.International series in operations research and management science / ed. F. S. Hillier. 130 : Logic and integer programming / H. P. Williams, 2009. - XI, 155 p. - Текст : непосредственный.Проблемы онто-гносеологического обоснования математики и естественных наук : сборник / Ред. Е. И. Арепьев, 2008. - 203 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽