Полное описание
Чернавский, Д. С.
ГРНТИ УДК 27.03.19 510(04) 03.91
Рубрики: Математическая логика
Доп. точки доступа: Намиот, В.А.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/9354/7(2002))
Шифр в сводном ЭК: 5b61c2e8a1c23c503e62817540bf6b31
Чернавский Д.С. Синергетика и информация / Д. С. Чернавский, 1990. - 46 c. - Текст : непосредственный. Чернавский Д.С. О механизмах возникновения распределения Парето в сложных системах / Д. С. Чернавский, А. П. Никитин, О. Д. Чернавская, 2007. - 17 с. - Текст : непосредственный. Чернавский Д.С. Синергетика и информация: Динамическая теория информации : монография / Д. С. Чернавский, 2001. - 244 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
О некоторых свойствах динамического хаоса в кубическом отображении / Д. С. Чернавский [и др.], 2006. - 26 с. - Текст : непосредственный. Чернавский Д.С. Модель конкуренции / Д. С. Чернавский, А. В. Щербакова, М.М. Зульпукаров, 2006. - 22 с. - Текст : непосредственный. Количественные характеристики периодичности траектории кубического отображения в закритической области / Д. С. Чернавский, А. П. Никитин, О. Д. Чернавская, 2006. - 21 с. - Текст : непосредственный. Чернавский Д.С. Синергетика и информация. Динамическая теория информации / Д.С.Чернавский, 2004. - 287 с. - Текст : непосредственный. Чернавский Д.С. Об экономической структуре общества. Спектр накоплений / Д.С.Чернавский,А.Х.Рахимов, 1991. - 43 с. - Текст : непосредственный. Синергетика: от прошлого к будущему. № 13 : Синергетика и информация. Динамическая теория информации / Д. С. Чернавский ; предисл. и послесл. Г. Г. Малинецкого, 2017. - 304 с. - Текст : непосредственный. Процесс мышления в контексте динамической теории информации : ч.1. Цели и задачи мышления / О. Д. Чернавская [и др.], 2011. - 21 с. - Текст : непосредственный. Никитин А.П. О возможности формализации интуитивных суждений экспертов посредством привлечения характеристик степенных распределений транзакционных данных / А. П. Никитин, О. Д. Чернавская, Д. С. Чернавский, 2011. - 18 с. - Текст : непосредственный. Генерация и анализ квазихаотических временных рядов. Ч.1. Модель перемещающегося слоя / Д. С., Чернавский [и др.], 2005. - 19 с. - Текст : непосредственный. Генерация и анализ квазихаотических временных рядов. Ч.2. Скейлинговые эфекты / Д. С. Чернавский [и др.], 2005. - 17 с. - Текст : непосредственный. Показать все результаты Морозов В.Н. Подавление флуктуации мощности инжекционных лазеров с помощью отрицательной обратной связи / В. Н. Морозов, Р. Ф. Набиев, В. Р. Шидловский, 1989. - 42 с. - Текст : непосредственный. Шабанова Н.П. Измерение верхнего критического магнитного поля сверхпроводников NbзSn, MBa CuзO (M: Y, Ho, Gd) / Н. П. Шабанова, 1990. - 10 p. - Текст : непосредственный. A search for non-triggered gamma ray bursts in the BATSE continuous records: preliminary results / B. Stern, Ya. Tikhomirova, D. Kompaneets, 1999. - 14 p. - Текст : непосредственный. Дуванов Б.Н. Схемы накачки и оптика для рентгеновских лазеров / Б. Н. Дуванов, А. Г. Федорец, 1993. - 55 с. - Текст : непосредственный. Ковалев В.Ф. Lie symmetry and a group on a solution of a boundary value problem / В. Ф. Ковалев, S. V. Krivenko, Pustovalov V.V., 1995. - 22 p. - Текст : непосредственный. Тепловое воздействие лазерного ИК облучения на ВТСП образцы / С. Д. Зотов, Е. М. Кудрявцев, Э. Н. Лоткова, Б. Г. Макеев, 1995. - 17 c. - Текст : непосредственный. Щелевые волноводные СО лазеры / А. А. Кузнецов, В. В. Кюн, В. Г. Леонтьев, 1995. - 22 c. - Текст : непосредственный. Перспективы экспериментальных исследований на синхротроне "Пахра" / Б. Б. Говорков, А. И. Львов, Е. И. Малиновский, 2002. - 33 с. - Текст : непосредственный. Любченко С.Ю. Компьютерное моделирование радиочастотных помех / С. Ю. Любченко, 2002. - 14 с. - Текст : непосредственный. Подгорный А.И. Numerical sinulation of the current sheet near the X-line of solar spots magnetic field / А. И. Подгорный, 1994. - 49 p. - Текст : непосредственный. Петухов В.Г. Влияние толщины слоя питательной среды на люминесцентные свойства бактерий E.COLI / В. Г. Петухов, В. Ю. Федорович, 1994. - 13 c. - Текст : непосредственный. Ковалев В.Ф. Симметрия Ли кинетического уравнения Власова 2. Электронный газ. Одномерное релятивистское приближение / В. Ф. Ковалев, С. В. Кривенко, В. В. Пустовалов, 1993. - 29 c. - Текст : непосредственный. Многофункциональный нейтронный спектрометр для интенсивного импульсного источника нейтронов Московской мезонной фабрики / А. И. Исаков, С. П. Кузнецов, А. Д. Перекрестенко, 1994. - 42 c. - Текст : непосредственный. Математическая модель и метод расчета имплозии электродинамически ускоряемой плазмы / В. А. Гасилов, С. Ю. Гуськов, С. В. Захаров, 1999. - 32 с. - Текст : непосредственный. Численное моделирование процессов нелинейной теплопроводности и радиационной газовой динамики при имплозии вещества во внутренних полостях мишеней ЛТС / В. А. Гасилов, С. Ю. Гуськов, С. В. Захаров, 1999. - 19 с. - Текст : непосредственный. Behavior of high-Tc Ba1-x Kx BiOз in microwave field / N. V. Anshukova, A. I. Golovaskin, A. M. Tskhovrebov, 1991. - 17 p. - Текст : непосредственный. О вариациях атмосферного озона по наблюдениям на миллиметровых волнах / С. В. Соломонов, Е. П. Кропоткина, А. Н. Лукин, 1992. - 34 с. - Текст : непосредственный. Оптические исследования плазмы наносекундных сильноточных разрядов через металлические проволочки / Г. В. Иваненков, А. Р. Мингалаев, С. А. Пикуз, 1992. - 36 с. - Текст : непосредственный. Апанасенко А.В. О взаимодействии - частицы с ядром атома железа при энергии 100 ТЭВ/n/ / А. В. Апанасенко, А. А. Горячих, С. Я. Шаламова, 1992. - 26 с. - Текст : непосредственный. Далькаров О.Д. Физика элементарных частиц / О. Д. Далькаров, 1990. - 35 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
