Полное описание
> Попов, Н. А. Теоремы Ахинеева / Н.А.Попов,А.Н.Попов. - Саров : [б. и.], 1998. - 12 с. - (Препринт / Всероссийский НИИ эксперим.физики ; 56-98). - 200 экз. - Текст : непосредственный.
Рубрики: Множеств теория
Кл.слова (ненормированные): МНОЖЕСТВО -- ТЕОРИЯ
Доп. точки доступа: Попов, А.Н.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/50252/56-98)>
Шифр в сводном ЭК: 3de9375f78248b2fc3bea5e3355cfe0f
Попов А.Н. Бетонные и железобетонные трубы, 1973. - 269 с. - Текст : непосредственный. Попов А.Н. О ликвидации прудов, малых, средних водохранилищ с последующей рекультивацией ложа и береговой полосы / А. Н. Попов, В. И. Штыков, 2013. - 103 с. - Текст : непосредственный. Мухортова Е.И. Пассивные элементы электрических цепей : учеб. пособие. Ч. 2 : Катушки индуктивности, сглаживающие дроссели, дроссели насыщения / А. Н. Попов, Г. Н. Пряхин, Ю. Р. Лутфуллин, 2007. - 75 с. - Текст : непосредственный. Попов А.Н. Предпринимательский менеджмент: сущность, моделирование, оценка эффективности / А. Н. Попов, С. Г. Сериков, 2006. - 162 с. - Текст : непосредственный. Экономика и организация полупроводникового производства, 1973. - 212 с. - Текст : непосредственный. Попов А.Н. Система мониторинга и управления распределительными сетями сельскохозяйственного назначения : специальность 05.20.02 "Электротехнологии и электрооборудование в сельском хозяйстве" : автореферат диссертации на соискание ученой степени канд. техн. наук / А. Н. Попов, 2002. - 19 с. - Текст : непосредственный. Филимонов Н.М. Основы режима бурения скважин / Н. М. Филимонов, А. Н. Попов, 1990. - 99 с. - Текст : непосредственный. Лабораторный практикум по коррозии и защите металлов : выставочные материалы / Н. Г. Бахчисарайцьян, Т. Е. Цупак, В. Т. Новиков [и др.], 2015. - 163 с. - Текст : непосредственный. Закуркин В.В. Исследование радиационно-индуцированной сегрегации в облученных нейтронами сплавах V-Fe методом мессбауэровской спектроскопии / В. В. Закуркин, В. А. Печенкин, А. Н. Попов, 1999. - 13 с. - Текст : непосредственный. Проектирование мехатронных систем. Схемы технологических машин : выставочные материалы / С. В. Павлюченко, А. Н. Попов, Н. Е. Пуленец, А. Н. Тимофеев, 2013. - 167 с. - Текст : непосредственный. Попов Н.А. Движение заряженных частиц в электрических и магнитных полях : выставочные материалы / Н. А. Попов, 2015. - 47 с. - Текст : электронный. Попов А.Н. Логистика как процесс и функция предприятия / А. Н. Попов, Г. Н. Пряхин, Г. М. Дементьев, 2005. - 39 с. - Текст : непосредственный. Попова Н.Н. Малый бизнес в рыночной среде / Н. Н. Попова, А. Н. Попов, 2005. - 96 с. - Текст : непосредственный. Попов А.Н. Разрушение горных пород : выставочные материалы / А. Н. Попов, Б. Н. Трушкин, О. Б. Трушкин, 2016. - 138 с. - Текст : непосредственный. Синергетические методы управления сложными системами. Энергетические системы / А. А. Колесников, Г. Е. Веселов, А. Н. Попов [и др.], 2006. - 247 с. - Текст : непосредственный. Попов А.Н. Проектирование электромеханических систем / А. Н. Попов, В. П. Рубцов, Н. А. Лавринов, 1998. - 71 с. - Текст : непосредственный. Попов А.Н. Корпоративный менеджмент в координатах делового успеха : монография / А. Н. Попов, 2016. - 234 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Экспериментальный замкнутый контур для динамического моделирования вакуумно-тритиевого комплекса термоядерных реакторов / А. И. Веденеев, А. Н. Голубков, В. Г. Клевцов, 1997. - 48 с. - Текст : непосредственный. Аппаратура для оперативного контроля радиационно опасных объектов при авариях в водной среде / В. Е. Аблесимов, В. А. Бояринцев, В. М. Горбачев, 1998. - 15 с. - Текст : непосредственный. Усовершенствование установки "КВАНТ-16" / В. Г. Беспалов, А. Н. Гусихин, С. Н. Шошин, В. Г. Дурманов, 1991. - 2 с. - Текст : непосредственный. База данных для численного моделирования накопления осколков в топливе энергетических реакторов / С. Н. Абрамович, В. П. Горелов, А. А. Горшихин, 1996. - 35 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Исследование развития возмущений и турбулентного перемешивания на границе газ-газ методом лазерного ножа / В.И.Дудин,Е.Е.Мешков,А.Н.Подувалов и др., 1996. - 23 с. - Текст : непосредственный. Мешков Е.Е. Об одной возможности экспериментального исследования развития гидродинамических неустойчивостей. Динамический метод создания контактной границы в газах / Е.Е.Мешков, 1996. - 14 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽