Приложение
для AndroidПолное описание
Пальчунов, Д. Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов. - Новосибирск : [б. и.], 1994. - 42 c. - (Препринт / Институт математики(Новосибирск) ; 7(1994)). - 150 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 512.563(04) | |
| 03.91 |
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/11999/7(1994))
Шифр в сводном ЭК: 7da20318972bc7cb34d596077bc7d9b0
Пальчунов Д.Е. Теоретико-модельные свойства булевых алгебр с выделенными идеалами : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Д. Е. Пальчунов, 1994. - 26 с. - Текст : непосредственный.Пальчунов, Д. Е. Математическая логика и теория алгоритмов : учеб. пособие. Ч. 1, 2016. - 94 с. - Текст : непосредственный.Пальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.
Шевченко Г.В. Алгоритмы решения некоторых задач оптимального управления для линейных систем / Г. В. Шевченко, 1990. - 28 с. - Текст : непосредственный.Ломов А.А. Условия корректности линейных параметрических моделей / А. А. Ломов, 1992. - 30 с. - Текст : непосредственный.Бондаренко А.Н. On the structure of the fundamental solution of the time-independent transport equation / А. Н. Бондаренко, 1996. - 19 p. - Текст : непосредственный.Филиппов В.Т. Ниль-элементы индекса 2 в алгебрах Мальцева / В. Т. Филиппов, 1996. - 18 с. - Текст : непосредственный.Бухгейм А.А. Сингулярное разложение веерного преобразования Радона тензорных полей в круге / А. А. Бухгейм, С. Г. Казанцев, 2001. - 33 с. - Текст : непосредственный.Нагаев С.В. On the Berri-Esseen bound for the self-normalized sum / С. В. Нагаев, 2001. - 39 p. - Текст : непосредственный.Бегматов А. Х. Некоторые новые классы задач интегральной геометрии / А. Х. Бегматов, 1997. - 29 с. - Текст : непосредственный.Кусраев А.Г. Нерешенные нестандартные задачи / А. Г. Кусраев, С. С. Кутателадзе, 2000. - 19 с. - Текст : непосредственный.Деревцов Е.Ю. Приближенное решение задачи векторной томографии с помощью полиномиальных базисов / Е. Ю. Деревцов, И. Г. Кашина, 2000. - 27 с. - Текст : непосредственный.Легченко А.В. Регуляризация одной обратной задачи геофизической ЯРМ - томографии / А. В. Легченко, С. И. Кабанихин, 1991. - 40 с. - Текст : непосредственный.Маракулин В.М. Контракты и доминирование в конкурентной экономике. 1. Модель договорной экономики и стандартный рынок / В. М. Маракулин, 2002. - 36 с. - Текст : непосредственный.Богопольский О.В. Классификация автоморфизмов свободной группы ранга 2 по рангам групп неподвижных точек / О. В. Богопольский, 1999. - 14 с. - Текст : непосредственный.Горбачевская Л.Е. К двухуровневой экстремальной задаче выбора номенклатуры изделий / Л.Е.Горбачевская, 1998. - 28 с. - Текст : непосредственный.Шамардин Ю.В. Трехуровневые задачи размещения производства / Ю.В.Шамардин, 1998. - 17 с. - Текст : непосредственный.Демиденко Г.В. Интегральные критерии принадлежности спектра матриц выпуклым множествам / Г. В. Демиденко, И. И. Матвеева, 1995. - 22 c. - Текст : непосредственный.Шестаков А.И. Обратная спектральная задача для операторов Штурма-Лиувилля с разрывными коэффициентами / А. И. Шестаков, 2001. - 19 с. - Текст : непосредственный.Черноусов Г.Н. О продолжении до изометрии гомеоморфизмов, сохраняющих конформные модули в гиперболическом пространстве / Г. Н. Черноусов, 1996. - 15 c. - Текст : непосредственный.Матвеева И.И. Задача Коши для систем с вырожденной матрицей при производной по времени / И. И. Матвеева, 1996. - 34 c. - Текст : непосредственный.Л.В.Канторович - математик и экономист / С. С. Кутателадзе, В. Л. Макаров, И. В. Романовский, Г. Ш. Рубинштейн, 2003. - 26 с. - Текст : непосредственный.Ачасов Н.Н. Axial anomaly pole and spontaneous breakdown of chiral symmetry / Н. Н. Ачасов, 1992. - 9 p. - Текст : непосредственный.
Показать все результатыМир математики : в 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 с. - Текст : непосредственный.
Показать все результатыКалинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.
Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Стрыгин В.З. Классы булевых функций, имеющих полиномиальные алгоритмы минимизации / В.З.Стрыгин, 1990. - 77 с. - Текст : непосредственный.Пальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.Стрыгин В.З. Полиноминальный алгоритм минимизации случайных ("почти всех") булевых функций / В.З.Стрыгин, 1992. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование / О.М.Москаленко,И.В.Петров,М.И.Тельпиз,В.И.Шевченко, 1990. - 35 с. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽