Приложение
для AndroidПолное описание
Калинина, Н. А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко. - Новосибирск : [б. и.], 1995. - 47 c. - (Препринт / Российская АН ; 1044). - 150 экз. - 3000 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 512.563(04) | |
| 03.91 |
Рубрики:
Алгебра логики
Доп. точки доступа:
Климов, В.А.
Нечепуренко, М.И.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Туракулов А.А. Об одном алгоритме построения ячейки Дирихле в R / А.А.Туракулов, 1994. - 19 c. - Текст : непосредственный.Ляпунов И.Б. Организация системы информации специализированного учебно-научного центра Новосибирского государственного университета на основе персональных ЭВМ / И.Б.Ляпунов, 1994. - 27 c. - Текст : непосредственный.Курбанмурадов О. Существование и непрерывная зависимость решений динамических систем со случайными правыми частями / О.Курбанмурадов, 1993. - 40 c. - Текст : непосредственный.Воронина Т.А. Модельная обратная задача вертикального сейсмического профилирования / Т.А.Воронина,В.А.Чеверда, 1993. - 52 c. - Текст : непосредственный.Антипов М.В. Генераторы псевдослучайных чисел на персональных компьютерах / М.В.Антипов,П.В.Лобанов, 1993. - 47 c. - Текст : непосредственный.Туракулов А.А. Программная реализация метода конечных объемов для решения трехмерного уравнения Пуассона / А.А.Туракулов, 1994. - 30 c. - Текст : непосредственный.Карабанов А.А. Быстрые методы оценки устойчивости электроэнергетических систем / А.А.Карабанов,В.А.Полуботко, 1993. - 17 c. - Текст : непосредственный.Ракин В.И. Развитие формы кристалла в кинетическом режиме роста / В.И.Ракин,Г.Е.Богданов, 1993. - 18 c. - Текст : непосредственный.Гладких О.А. Численное решение одномерной обратной задачи Стефана / О.А.Гладких,С.А.Гусев, 1994. - 17 c. - Текст : непосредственный.Афлатонов С.Б. Определение управляемости линейных систем с постоянными параметрами методом Грамма-Шмидта / С.Б.Афлатонов, 1994. - 20 c. - Текст : непосредственный.Крупчатников В.Н. Параметризация процессов взаимодействия атмосферы и поверхности земли в модели общей циркуляции атмосферы (ЕС Sib) / В.Н.Крупчатников,А.Г.Янцен, 1994. - 15 c. - Текст : непосредственный.Артемьев С.С. Оценка параметров в системах автоматического управления динамическими объектами / С. С. Артемьев, С. А. Гусев, Г. И. Забиняко, 1994. - 30 c. - Текст : непосредственный.Плотников М.Ю. Решение трехмерной задачи Дирихле для уравнения Пуассона с правой частью, зависящей от решения / М.Ю.Плотников, 1993. - 23 c. - Текст : непосредственный.Пригарин С.М. Новые подходы к построению численных методов решения стохастических дифференциальных уравнений / С.М.Пригарин, 1994. - 12 c. - Текст : непосредственный.Рапацкий Л.А. Математическое моделирование каталитических процессов в пористых средах / Л.А.Рапацкий,Л.В.Яушева, 1994. - 29 c. - Текст : непосредственный.Роженко А.И. Условия однозначной разрешимости задачи смешанной сплайн-аппроксимации / А.И.Роженко, 1994. - 32 c. - Текст : непосредственный.Войтишек А.В. Дискретно-стохастические процедуры глобальной оценки решения интегрального уравнения второго рода. Общие вопросы / А.В.Войтишек, 1994. - 23 c. - Текст : непосредственный.Дмитриев Н.В. Численные эксперименты с моделями переноса примеси для приповерхностных слоев водоемов / Н.В.Дмитриев,Е.А.Двуреченская , 1994. - 24 c. - Текст : непосредственный.Кравцов А.В. Моделирование комплексных технологий производства экологически чистых автомобильных бензинов / А.В.Кравцов,Э.Д.Иванчина, 1994. - 53 c. - Текст : непосредственный.Аверина Т.А. Численный анализ стохастических автоколебательных систем / Т. А. Аверина, С. С. Артемьев, Х. Шурц, 1994. - 28 c. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыAlgebraic logic / сост. H. Andreka, 1991. - VI,746 p. p. - Текст : непосредственный.Schmidt G. Relations and graphs : Discrete mathematics for computer scientists / G.Schmidt,T.Str@:ohlein, 1993. - VIII,301 p. p. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1994. - 36 c. - Текст : непосредственный.Обухов В.Е. Логические уравнения и прикладные задачи / В.Е.Обухов,В.В.Павлов, 1992. - 187 c. - Текст : непосредственный.Rijke M.de The logic peirce algebras / M.de Rijke, 1994. - 23 p. - Текст : непосредственный.Pinus A.G. Constructions of boolean algebras / A.G.Pinus, 1994. - 208 c. - Текст : непосредственный.Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения : Лекция по курсу "Лог. основы и модели нейрон. сетей" / Л.И.Волгин, 1995. - 38 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный.Schaller C. Verallgemeinerung der Stone schen Satze : Diss / C.Schaller, 1995. - 155 S. - Текст : непосредственный.Волгин Л.И. АМ-алгебра и ее применения : Две лекции по курсу "Логические основы и модели нейронных сетей" / Л.И.Волгин, 1997. - 51 с. - Текст : непосредственный.Гончаров С.С. Счетные булевы алгебры и разрешимость / С.С.Гончаров, 1996. - 361 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Винокуров С.Ф. Полиномиальные разложения булевых функций по образам неоднородных операторов / С.Ф.Винокуров,Н.А.Перязев, 1998. - 24 с. - Текст : непосредственный.Перязев Н.А. Слабоповторные булевы функции в бинарном базисе / Н.А.Перязев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Romanski S. Algorytm wyszukiwania minimalnych punktow monotonicznej funkcji boolowskiej i jego zastosowania / S.Romanski, 1991. - 100 s. - Текст : непосредственный.Шевелев, Ю. П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный.
Показать все результатыПальчунов Д.Е. Алгебра Линденбаума-Тарского булевых алгебр с выделенными идеалами / Д.Е.Пальчунов, 1994. - 42 c. - Текст : непосредственный.Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный.Гороховская Н.Г. Об определимости понятия "быть свободной алгеброй" в бесконечных логиках / Н.Г.Гороховская, 1996. - 21 с. - Текст : непосредственный.Липачева Е.В. Группы рекурсивных автоморфизмов и полугруппы частичных автоморфизмов булевых алгебр / Е.В.Липачева, 1996. - 37 с. - Текст : непосредственный.Гороховская Н.Г. О понятии "быть свободной алгеброй" в HF-логике / Н.Г.Гороховская,В.Н.Ремесленников, 1995. - 21 c. - Текст : непосредственный.Алаев П.Е. Сложные булевы алгебры с малым рангом / П.Е.Алаев, 1998. - 12 с. - Текст : непосредственный.Власов В.Н. Конструктивизируемость булевых алгебр элементарной характеристики (1,0,1) / В.Н.Власов, 1998. - 40 с. - Текст : непосредственный.Подзоров С.Ю. Однородные булевы алгебры с рекурсивным представлением / С.Ю.Подзоров, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиноминальный алгоритм минимизации случайных ("почти всех") булевых функций / В.З.Стрыгин, 1992. - Текст : непосредственный.Стрыгин В.З. Классы булевых функций, имеющих полиномиальные алгоритмы минимизации / В.З.Стрыгин, 1990. - 77 с. - Текст : непосредственный.Разработка на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статистическое исследование / О.М.Москаленко,И.В.Петров,М.И.Тельпиз,В.И.Шевченко, 1990. - 35 с. - Текст : непосредственный.
Заказ фрагмента документа ₽