Полное описание
Попов, С. В.
ГРНТИ УДК 27.03.19 510.7(04) 03.91
Рубрики: Доказательств теория
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/16400/9 за 2005 г.)
Шифр в сводном ЭК: 1ecc8fd0f9aa1f101ed539c2b0f84ccd
Желудев Н.И. Внутренняя симметрия тензора нелокальной кубической восприимчивости для кристаллографических и предельных групп / Н. И. Желудев, С. В. Попов, Ю. П. Свирко, 1990. - 43 с. - Текст : непосредственный. Информационное общество. - Журнал, 2009г. № 6. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Проектирование трехфазного асинхронного двигателя : учебное пособие / А. А. Кралин, Н. Г. Панкова, В. В. Гуляев [и др.], 2017. - 85 с. - Текст : непосредственный. Попов С.В. Метод определения силовых и геометрических характеристик деформированной сети : автореф. дис. .. канд. техн. наук: 05.18.17 / С. В. Попов, 2012. - 24 с. - Текст : непосредственный. Попов С.В. Об устранимости аксиомы индукции / С.В. Попов, 2005. - 27 с. - Текст : непосредственный. Егоров И.Е. Неклассические дифференциально-операторные уравнения / И. Е. Егоров, С. Г. Пятков, С. В. Попов, 2000. - 336 с. - Текст : непосредственный. Бевзюк Е.А. Регламентация и нормирование труда : учеб. пособие / Е. А. Бевзюк, С. В. Попов, 2014. - 211 с. - Текст : непосредственный. Попов С.В. Повышение эффективности функционирования системы мониторинга инцидентов информационной безопасности банка на основе оценки надежности ее компонентов : автореф. дис. .. канд. техн. наук: 05.25.05 / С. В. Попов, 2012. - 16 с. - Текст : непосредственный. Показать все результаты Колесниченко А.В. К моделированию сжимаемой магнитогидродинамической турбулентности аккреционного протопланетного диска / А. В. Колесниченко, 2014. - 47 с. - Текст : непосредственный. Реализация режима гравитационной ориентации на корабле "Прогресс М-20М" / М. Ю. Беляев, Т. В. Матвеева, М. И. Монахов [и др.], 2014. - 21 с. - Текст : непосредственный. Елизарова Т.Г. Квазигазодинамический алгоритм решения уравнений мелкой воды в полярной системе координат / Т. Г. Елизарова, М. А. Истомина, 2014. - 24 с. - Текст : непосредственный. Ливанов Л.Б. Приближенный расчет полетов на астероиды с пертурбационными маневрами у планет / Л. Б. Ливанов, 1996. - 28 с. - Текст : непосредственный. Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. К постановке одномерной задачи об эмиссии широкого электронного пучка в атмосферу / А. В. Березин, С. В. Коротков, М. Б. Марков, 1993. - 12 с. - Текст : непосредственный. Исследование равновесных конфигураций газового облака вблизи гравитирующего центра / М. В. Абакумов, С. И. Мухин, Ю. П. Попов, В. М. Чечеткин, 1995. - 26 c. - Текст : непосредственный. Тычина П.А. Квазиоптимальный перелет космического аппарата с солнечным парусом между гелиоцентрическими круговыми орбитами / П. А. Тычина, В. А. Егоров, В. В. Сазонов, 1995. - 19 c. - Текст : непосредственный. Брюно А.Д. Локальный анализ особенности одной обратимой системы ОДУ. Простые случаи / А. Д. Брюно, А. Солеев, 1995. - 28 c. - Текст : непосредственный. Солеев А. Первые приближения одной обратимой системы ОДУ / А. Солеев, А. Б. Арансон, 1995. - 20 c. - Текст : непосредственный. Красовицкий В.Б. Кинетическая теория нелинейного взаимодействия ультрарелятивистского электронного пучка с плазмой / В. Б. Красовицкий, 1995. - 31 c. - Текст : непосредственный. Волевич Л.Р. Exponential dichotomy of solutions to high-order hyperbolic equations / Л. Р. Волевич, А. Р. Ширикян, 1996. - 37 p. - Текст : непосредственный. Яшунский А.Д. Преобразования бернуллиевских распределений булевыми функциями из замкнутых классов / А. Д. Яшунский, 2016. - 23 с. - Текст : непосредственный. Герцев М.Н. Расчет переноса теплового излучения в атмосфере Земли / М. Н. Герцев, А. В. Шильков, Е. Н. Аристова, 2016. - 28 с. - Текст : непосредственный. Смирнов М.И. Математические модели, используемые в системе оптимизации доставки товаров автотранспортом "Диспетчер" / М. И. Смирнов, Р. З. Хайруллин, 2002. - 16 с. - Текст : непосредственный. Мажорова О.С. Метод численного решения задач кристаллизации многокомпонентных растворов / О. С. Мажорова, Ю. П. Попов, О. В. Щерица, 2002. - 37 с. - Текст : непосредственный. Ермаков А.В. Электронные государственные закупки: зарубежный опыт / А. В. Ермаков, 2002. - 12 с. - Текст : непосредственный. Локальная обработка измерений радиосистемы межпланетных космических аппаратов / Э. Л. Аким, А. А. Горохова, И. П. Киселева, 2002. - 20 с. - Текст : непосредственный. Сорокина О.В. Принцип Даламбера-Лагранжа в механиче ских системах с односторонними связями / О. В. Сорокина, Е. И. Кугушев, 2002. - 32 с. - Текст : непосредственный. Козлов А.Н. Аналитическая модель аксиально симметричных течений идеальной двухкомпонентной плазмы при наличии продольного магнитного поля / А. Н. Козлов, 2002. - 32 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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-line Romano A. Continuum mechanics using mathematica ® / A. Romano, A. Marasco, R. Lancellotta, 2006 r=on-line Teodorescu 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 с. - Текст : непосредственный. Показать все результаты Люксембург А.А. Автоматизированное построение математических теорий / А. А. Люксембург, 2005. - 30 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Попов С.В. Об устранимости аксиомы индукции / С.В. Попов, 2005. - 27 с. - Текст : непосредственный. Целищев В.В. Эпистемология математического доказательства / В. В. Целищев, 2006. - 211 с. - Текст : непосредственный. Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2018. - 320 с. - Текст : непосредственный. Логика и компьютер : Сб.ст. Вып. 5 : Пусть докажет компьютер, 2004. - 207 с. - Текст : непосредственный. Янов Ю.И. Математика, метаматематика и истина / Ю. И. Янов, 2006. - 32 с. - Текст : непосредственный. Перминов В.Я. Развитие представлений о надежности математического доказательства / В.Я.Перминов, 2004. - 240 с. - Текст : непосредственный. Лакатос И. Доказательства и опровержения. Как доказываются теоремы / И. Лакатос; пер. с англ. с предисл. И. Н. Веселовского; отв. ред. И. Б. Погребысский, 2010. - 152 с. - Текст : непосредственный. Ларионов А.А. Программные технологии для эффективного поиска логического вывода в исчислении позитивно-образованных формул / А. А. Ларионов, Е. А. Черкашин, 2014. - 104 с. - Текст : непосредственный. The seventeen provers of the world / SpringerLink (Online service), 2006 r=on-line Кранц С. Изменчивая природа математического доказательства. Доказать нельзя поверить / С. Кранц; пер. с англ. Н. А. Шиховой, 2016. - 320 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
