Приложение
для AndroidПолное описание
Стрыгин, В. З. Переборные задачи, сводимые к решенным матричной логикой / В.З.Стрыгин. - М. : [б. и.], 2001. - 15 с. - (Препринт / Центральный аэрогидродинамический ин-т им.Н.Е.Жуковского(Москва) ; 131). - 100 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510(04) | |
| 03.91 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/48533/131)
Шифр в сводном ЭК: 284d299fbb1202207af59ababfe6567e
Стрыгин В.З. Полиномиальные алгоритмы решения задачи коммивояжёра, заданной булевыми функциями типа тонкая цепь / В. З. Стрыгин, 2017. - 11 с. - Текст : непосредственный.Стрыгин В.З. Матричная логика второй ступени / В. З. Стрыгин, 2017. - 11 с. - Текст : непосредственный.Стрыгин В.З. Теория чисел / В. З. Стрыгин, 2018. - 45 с. - Текст : непосредственный.Стрыгин В.З. Алгебра / В. З. Стрыгин, 2018. - 51 с. - Текст : непосредственный.Стрыгин В.З. Теория алгоритмов / В. З. Стрыгин, 2018. - 42 с. - Текст : непосредственный.Стрыгин В.З. Теория моделей / В. З. Стрыгин, 2018. - 50 с. - Текст : непосредственный.Стрыгин В.З. Теория нумераций / В. З. Стрыгин, 2018. - 43 с. - Текст : непосредственный.Стрыгин В.З. Аксиомы матричной логики / В. З. Стрыгин, 2011. - 11 с. - Текст : непосредственный.Стрыгин В.З. Решение трудных задач теории чисел, алгебры и логики / В. З. Стрыгин, 2006. - 34 с. - Текст : непосредственный.Стрыгин В.З. Эмпирические распределения простых чисел, близнецов, псевдоблизнецов и чисел Мерсенна в натуральном ряде / В.З. Стрыгин, 2004. - 4 с. - Текст : непосредственный.Стрыгин В.З. Решение трех проблем Гольдбаха-Эйлера / В.З. Стрыгин, 2004. - 3 с. - Текст : непосредственный.Стрыгин В.З. Эмпирическое решение трудных задач теории чисел / В.З. Стрыгин, 2005. - 18 с. - Текст : непосредственный.Стрыгин В.З. Эмпирическое решение проблемы n-мерного шара для n-3,4,5 / В. З. Стрыгин, 2006. - 4 с. - Текст : непосредственный.Стрыгин В.З. Разрешимость нерекурсивных множеств натуральных чисел и проблемы n-мерного шара для n-6,7 / В. З. Стрыгин, 2007. - 4 с. - Текст : непосредственный.Стрыгин В.З. Аксиомы матричной логики / В. З. Стрыгин, 2018. - 14 с. - Текст : непосредственный.Стрыгин В.З. Физическая математика / В. З. Стрыгин, 2018. - 38 с. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.Стрыгин В.З. Разрешимость проблемы представимости матриц / В. З. Стрыгин, 2007. - 6 с. - Текст : непосредственный.Стрыгин В.З. Шахматы / В. З. Стрыгин, 2014. - 11 с. - Текст : непосредственный.Стрыгин В.З. Теория погрешностей / В. З. Стрыгин, 2018. - 43 с. - Текст : непосредственный.
Показать все результатыМайоров А.И. О погрешности исследования нестационарных тепловых потоков по методу дифференцирования / А. И. Майоров, 1991. - 11 с. - Текст : непосредственный.Майоров А.И. Математические основы обработки термоиндикаторных измерений с учетом растекания тепла / А. И. Майоров, 1991. - 12 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики. 8 / С. К. Бетяев, 1993. - 18 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики. 7 / С. К. Бетяев, 1993. - 38 с. - Текст : непосредственный.Жаров В.А. Феноменологический анализ взаимодействия внешнего турбулентного потока с турбулентным пограничным слоем на пластине. Длинноволновая асимптотика собственных решений уравнения Релея на выпуклом профиле погранслойного типа, фазовая скорость которых близка к скорости набегающего потока / В. А. Жаров, 1993. - 32 с. - Текст : непосредственный.Бетяев С.К. Десять нерешенных задач гидродинамики, 6 / С. К. Бетяев, 1992. - 32 с. - Текст : непосредственный.Гринац Э.С. Моделирование воздействия вихрей на струи самолета и хемосорбции окислов азота каплями воды / Э. С. Гринац, А. Л. Стасенко, 1992. - 18 с. - Текст : непосредственный.Численное моделирование сверхзвукового горения водорода / О. М. Колесников, И. Г. Макаров, Е. А. Мещеряков, В. А. Сабельников, 1992. - 83 с. - Текст : непосредственный.Захаренков М.Н. Моделирование несущих свойств профиля в потоке вязкой жидкости / М. Н. Захаренков, 1993. - 27 с. - Текст : непосредственный.Андреев В.В. К вопросу об интеграции ГПВРД с летательным аппаратом / В. В. Андреев, В. И. Пензин, 1992. - 27 с. - Текст : непосредственный.Савин И.В. Расчет обтекания гипотетического гиперзвукового летательного аппарата (ГЛА) с затупленной носовой частью / И. В. Савин, Н. А. Циркова, 1992. - 49 с. - Текст : непосредственный.Селюгин С.В. Исследование свойств оптимальных физически нелинейных ферм, находящихся в условиях нескольких нагружений / С. В. Селюгин, 1995. - 28 c. - Текст : непосредственный.Селюгин С.В. Разработка и исследование алгоритмов оптимизации конструкций-мембран из упрочняющихся упругопластических материалов / С. В. Селюгин, 1993. - 45 c. - Текст : непосредственный.Баженов С.Г. Динамика цифровых резервированных асинхронных многотактных систем управления самолетов / С. Г. Баженов, Ю. Ф. Шелюхин, 1997. - 69 с. - Текст : непосредственный.Погребная Т.В. Расчет аэродинамических и аэроакустических характеристик воздушных винтов / Т. В. Погребная, С. Д. Шипилов, 1997. - 19 с. - Текст : непосредственный.Сухов Владимир Николаевич, 1997. - 37 с. - Текст : непосредственный.Кучеров А.Н. Laser beam evaporation of ice plate aerosol particle / А. Н. Кучеров, 1998. - 20 p. - Текст : непосредственный.Мещеряков Е.А. Численное моделирование сверхзвуковых турбулентных течений и смешения в каналах ГПВРД на основе уравнений Навье-Стокса / Е. А. Мещеряков, Н. А. Циркова, 1994. - 100 c. - Текст : непосредственный.Кучеров А.Н. Основные закономерности теплового запирания цилиндрического массового вихреисточника (вихрестока) / А. Н. Кучеров, 2010. - 40 с. - Текст : непосредственный.Множественный гистерезис нестационарных аэродинамических характеристик моделей при малых числах Рейнольдса, 1998. - 237 с. - Текст : непосредственный.
Показать все результатыМир математики : в 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 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Baltag A. logic for suspicious players: epistemic actions and belief-update in games / A. Baltag, 2000. - 30 p. - Текст : непосредственный.Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Орехов Ю.В. Математическая логика / Ю. В. Орехов, Э. Ю. Орехов, 2006. - 161 с. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M. Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Лексаченко В.А. Дискретная математика. Математическая логика и теория множества / В. А. Лексаченко, 1998. - 49 с. - Текст : непосредственный.Тимофеева И.Л. Математическая логика / И. Л. Тимофеева, 2007. - 303 с. - Текст : непосредственный.Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный.Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный.Математическая логика и теория алгоритмов : выставочные материалы / Сост. Д. В. Ефимов, 2012. - 99 с. - Текст : непосредственный.Исследования по конструктивной математике и математической логике : Сб. 10, 1997. - 152 с. - Текст : непосредственный.Судоплатов С.В. Математическая логика и теория алгоритмов : учебное пособие / С. В. Судоплатов, Е. В. Овчинникова, 2008. - 224 с. - Текст : непосредственный.
Показать все результатыКузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный.Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный.Шрайнер П.А. О фрагменте предикатной интуиционистской логики, полном относительно шкал Крипке с конечными областями / П. А. Шрайнер, 1998. - 21 с. - Текст : непосредственный.Тишковский Д.Е. Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик / Д. Е. Тишковский, 1998. - 15 с. - Текст : непосредственный.Шестопал В.Е. Теория элементов и множеств / В.Е.Шестопал, 1990. - 34 с. - Текст : непосредственный.Кутателадзе С.С. Что такое булевозначный анализ? / С. С. Кутателадзе, 2006. - 27 с. - Текст : непосредственный.Кудинов О.В. Проблема описания автоустойчивых моделей / О.В.Кудинов, 1995. - 16 c. - Текст : непосредственный.Стрыгин В.З. Матричная логика и комбинаторные машины / В.З.Стрыгин, 1998. - 19 с. - Текст : непосредственный.Стрыгин В.З. Переборные задачи, сводимые к решенным матричной логикойЧ. 2 / В.З.Стрыгин, 2002. - 16 с. - Текст : непосредственный.Стрыгин В.З. Метаматематическое, теоретико-множественное и математико-логическое обоснование решения некоторых NP-полных задач полиномиальными алгоритмами / В.З.Стрыгин, 1994. - 35 с. - Текст : непосредственный.Чернавский Д.С. Явление неустойчивости и проблемы логики / Д.С.Чернавский,В.А.Намиот, 2002. - 15 с. - Текст : непосредственный.Стрыгин В.З. Закон третьего и линейный алгоритм выявления общезначимости (выполняемости) булевых формул / В.З.Стрыгин, 1995. - 7 c. - Текст : непосредственный.Кузнецов Е.В. Алгоритмические задачи / Е.В.Кузнецов, 1990. - 48 с. - Текст : непосредственный.Стрыгин В.З. Переборные задачи, сводимые к решенным матричной логикой / В.З.Стрыгин, 2001. - 15 с. - Текст : непосредственный.Поваров Г.Н. Простой метод записи и проверки формул исчисления предикатов / Г.Н.Поваров, 1990. - 20 c. - Текст : непосредственный.Стрыгин В.З. Решение переборных задач сведением к матричной логике / В.З.Стрыгин, 2001. - 12 с. - Текст : непосредственный.
Заказ фрагмента документа ₽