Полное описание
Кузнецов, В. А.
Рубрики: Множеств теория
Кл.слова (ненормированные): МНОЖЕСТВО -- ТЕОРИЯ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/17370/90.40)
Шифр в сводном ЭК: b53489d7b1bf616274e022e42d49f006
Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Инженерные системы зданий и сооружений. Теплогазоснабжение и вентиляция : выставочные материалы / Е. М. Авдолимов, В. А. Жила, Л. И. Жуйкова [и др.] ; Ред. П. А. Хаванов, 2014. - 319 с. - Текст : непосредственный. Кузнецов В.А. Геохимия аллювиального литогенеза, 1973. - 278 с. - Текст : непосредственный. Кузнецов В.А. Обоснование технологии буровзрывных работ в карьерах и открытых горно-строительных выработках на основе деформационного зонирования взрываемых уступов : специальность 25.00.20 "Геомеханика, разрушение горных пород, рудничная аэрогазодинамика и горная теплофизика" : диссертация на соискание ученой степени д-ра техн. наук / В. А. Кузнецов, 2010. - 43 с. - Текст : непосредственный. Материаловедение и технология конструкционных материалов : учебное пособие / В. Б. Арзамасов, А. Н. Волчков, В. А. Головин [и др.], 2011. - 447 с. - Текст : непосредственный. Кузнецов В.А. Основы гидрогазодинамики : выставочные материалы / В. А. Кузнецов, 2012. - 107 с. - Текст : электронный. Теплогазоснабжение и вентиляция : выставочные материалы / Е. М. Авдолимов, О. Н. Брюханов, В. А. Жила [и др.], 2014. - 400 с. - Текст : непосредственный. Сравнительная озерная седиментация в пространстве и времени : монография / В. А. Кузнецов, А. Л. Жуховицкая, Я. К. Еловичева, 1992. - 46,44 с. с. - Текст : непосредственный. Черепахин А.А. Материаловедение : выставочные материалы / А. А. Черепахин, И. И. Колтунов, В. А. Кузнецов, 2015. - 237 с. - Текст : электронный. Кузнецов В.А. Роль ионного обмена в формировании природных вод и рассолов : специальность 02.00.01 "Неорганическая химия" : автореферат диссертации на соискание ученой степени д-ра хим. наук / В. А. Кузнецов, 1997. - 53 с. - Текст : непосредственный. Кузнецов В.А. Математика - 9 для студентов вузов. Математическая статистика / В. А. Кузнецов, Ю. П. Самарин, 2002. - 115 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Боднар О.Я. Динамическая симметрия / О. Я. Боднар, 1990. - 69 с. - Текст : непосредственный. Спектр спиновых возбуждений в негейзенбергских антиферромагнетиках со структурой La2 Ni O4 с учетом мультиплетности атомных состояний / М. Б. Гусейнов, Х. М. Пашаев, Н. Г. Гусейнов, М. Т. Касумов, 1991. - 34 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Солдатенко Г.А. Постоянные магниты в осветителе электронного микроскопа высокого разрешения / Г. А. Солдатенко, 1988. - 16 c. - Текст : непосредственный. Кристовский Г.В. Электронно-физическое моделирование КМОП БИС / Г. В. Кристовский, Л. А. Маслова, Ю. В. Фастовец, 1990. - 15 с. - Текст : непосредственный. Герман-Галкин С.Г. Применение силовых полупроводниковых приборов в преобразовательной технике / С. Г. Герман-Галкин, В. А. Рудский, Н. Н. Юрченко, 1990. - 32 с. - Текст : непосредственный. Новицкий В.В. Декомпозиция линейных управляемых систем / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный. Новицкий В.В. Декомпозиция и модальное управление в линейных системах / В. В. Новицкий, 1990. - 27 с. - Текст : непосредственный. Федорин Я.В. Метод численного моделирования конвективного и адвективного тепломассопереноса для многослоистых сред / Я. В. Федорин, 1990. - 29 c. - Текст : непосредственный. Богданов Ю.И. Вынужденное излучение трубчатого электронного пучка в ондуляторе с переменным периодом / Ю. И. Богданов, 1990. - 10 с. - Текст : непосредственный. Сидоренко И.Н. Particle loss regions in phase space for torsatron configurations. 1 / И. Н. Сидоренко, А. А. Шишкин, 1990. - 16 p. - Текст : непосредственный. Чечкин В.В. On a mechanism of antenna phasing effect on impurity production during icrf plasma heating / В. В. Чечкин, Л. И. Григорьева, 1990. - 15 p. - Текст : непосредственный. Коллективное взаимодействие моноэнергетических РЭП большой энергии с плазмой / А. К. Березин, В. А. Киселев, И. Н. Онищенко, Я. Б. Файнберг, 1989. - 16 c. - Текст : непосредственный. Салеев В.А. J/ production in hadron-nucleus and nucleus-nucleus collisions at high energies / В. А. Салеев, Н. П. Зотов, 1990. - 17 p. - Текст : непосредственный. Многоцелевой детекторный модуль для регистрации нейтронов в околеземном пространстве / М. И. Панасюк, П. И. Шаврин, О. Ю. Нечаев, 1990. - 23 с. - Текст : непосредственный. Возбуждение колебаний при взаимодействии электронного пучка с создаваемой им плазмой / Ю. П. Блиох, Н. М. Землянский, М. Г. Любарский, 1990. - 7 c. - Текст : непосредственный. Качаловская Н.Е. Равновесие упругой среды с эллипсоидальной неоднородностью при условии гладкого контакта на ее границе / Н. Е. Качаловская, А. Ф. Улитко, 1989. - 34 с. - Текст : непосредственный. Информационная система "ГИС-сейсморазведка" при детальном изучении строения нефтегазовых объектов / Е. А. Галаган, П. Г. Гильберштейн, Л. В. Кузнецова, 1989. - 81 c. - Текст : непосредственный. Рыков В.А. Передача импульса молекулам газа дрейфовыми потоками ионов и электронов / В. А. Рыков, А. В. Худяков, 1999. - 13 с. - Текст : непосредственный. Беляев Ю.Э. Моделирование роста фрактальных кластеров в газовой фазе / Ю. Э. Беляев, Ю. Е. Лозовик, А. А. Пурецкий, 1991. - 31 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Лавров И.А. Задачи по теории множеств, математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова, 2006. - 255 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный. Игошин В.И. Математическая логика и теория алгоритмов : учебное пособие / В. И. Игошин, 2008. - 447 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 2000. - 286 с. - Текст : непосредственный. Вейль Г. Математическое мышление : монография / Г. Вейль, 1989. - 400 с. - Текст : непосредственный. 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 с. - Текст : непосредственный. Szumakowicz E. Natura poznania matematycznego / E. Szumakowicz, 1994. - 151 p. - Текст : непосредственный. HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Гейтинг А. Интуиционизм. Введение / А. Гейтинг, 2010. - 164 с. - Текст : непосредственный. Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Показать все результаты Окстоби Дж. Мера и категория / Дж. Окстоби, 2008. - 157 с. - Текст : непосредственный. Козловский А.В. Дискретная математика: Основные теоретико-множественные конструкции : Учеб. пособие. Ч. 7 / ред. Н. В. Крапухина, 2010. - 127 с. - Текст : непосредственный. Transactions on rough sets V / SpringerLink (Online service), 2006 r=on-line Множества и алгоритмы : выставочные материалы / И. Ю. Харитонова, Н. М. Богословская, Ю. Г. Сергеев, С. И. Вдовин, 2016. - 98 с. - Текст : непосредственный. Шестопал В.Е. Ограничение иерархии фон Неймана в теории множеств Цермело / В. Е. Шестопал, 1997. - 19 с. - Текст : непосредственный. Seria monografie / Politech. Czestochowska. nr 149 : Scheduling with applying rough sets theory / H. Piech, 2008. - 170 p. - Текст : непосредственный. Хаусдорф Ф. Теория множеств : монография / Ф. Хаусдорф, 2004. - 302 с. - Текст : непосредственный. Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Rutten J.J.M.M. Hereditarity-finite sets and complete metric spaces / J. J.M.M. Rutten, 1991. - 17 p. - Текст : непосредственный. Шевченко В.В. О счетных семействах конечных множеств / В. В. Шевченко, 2008. - 57 с. - Текст : непосредственный. Волченская Т.В. Компьютерная математика : Учеб. пособие. Ч. 1 : Теория множеств и комбинаторика, 2003. - 88 с. - Текст : непосредственный. Трофимов В.Г. Дискретная математика : Учеб. пособие. Ч. 1 : Теория множеств. Математическая логика, 2000. - 111 с. - Текст : непосредственный. Верещагин Н.К. Начала теории множеств / Н. К. Верещагин, А. Шень, 1999. - 127 с. - Текст : непосредственный. Sipser M. Expander graphs. Descriptive set theory / M. Sipser, B. Kapron, T. Pitassi, 1991. - 19 p. - Текст : непосредственный. Буфеев С.В. Основы математической логики и теории множеств : выставочные материалы / С. В. Буфеев, И. С. Буфеев, 2014. - 138 с. - Текст : непосредственный. Дурнев В.Г. Элементы теории множеств и математической логики : учебное пособие / В. Г. Дурнев, 2009. - 411 с. - Текст : непосредственный. Прокопчук Ю.Ю. Дискретная математика. Основные теоретико-множественные конструкции : Учеб. пособие для студентов специальностей 220200 и 351400. Ч. 3, 2005. - 76 с. - Текст : непосредственный. Transactions on rough sets III / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный. Кановей В.Г. Современная теория множеств: абсолютно неразрешимые классические проблемы / В. Г. Кановей, В. А. Любецкий, 2013. - 377 с. - Текст : непосредственный. Показать все результаты Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шестопал В.Е. Расширения теории Цермело / В.Е.Шестопал, 2002. - 14 с. - Текст : непосредственный. Янов Ю.И. Конструктивное построение теории множеств. : 1. Порядковые и кардинальные числа / Ю. И. Янов, 2010. - 19 с. - Текст : непосредственный. Кузнецов В.А. Теория множеств с точки зрения формальной системы G+ генценовского типа / В.А.Кузнецов, 1990. - 63 с. - Текст : непосредственный. Попов Н.А. Теоремы Ахинеева / Н.А.Попов,А.Н.Попов, 1998. - 12 с. - Текст : непосредственный. Березнюк С. Расположение собственно степеней / С. Березнюк, Р. Кулз, А. Сорби, 1997. - 20 с. - Текст : непосредственный. Кузнецов В.А. Классическая дескриптивная теория множеств с точки зрения формальной системы G+ генценовского типа / В.А.Кузнецов, 1990. - 63 с. - Текст : непосредственный. Горелик А.Г. Теоретико-множественные операции над трехмерными объектами / А.Г.Горелик,Ю.Р.Церкович, 1990. - 29 c. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
