Полное описание
Калинина, Н. А.
ГРНТИ УДК 27.03.19 512.563(04) 03.91
Рубрики: Алгебра логики
Доп. точки доступа: Климов, В.А.
Нечепуренко, М.И.
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/30803/1044)
Шифр в сводном ЭК: 0ab03bfd0e6c65d565ad668d4e94b827
Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Климов В.А. Технико-экономическое обоснование проектов в нефтегазохимическом комплексе : выставочные материалы / В. А. Климов, 2016. - 105 с. - Текст : непосредственный. Нечепуренко М.И. Итерации вещественных функций и функциональные уравнения / М. И. Нечепуренко, 1997. - 227 с. - Текст : непосредственный. Системное моделирование / АН СССР.Сиб отд-ние.ВЦ. 18 : Методы и модели систем информатики / ред. М. И. Нечепуренко, 1991. - 160 с. - Текст : непосредственный. Гаврилов М.В. Информатика и информационные технологии : выставочные материалы / М. В. Гаврилов, В. А. Климов, 2014. - 383 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Проектирование и расчет динамических систем / В. А. Климов [и др.]; под редакцией профессора В. А. Климова, 1974. - 359 с. - Текст : непосредственный. Формирование и эффективность использования интеллектуального капитала на предприятиях НГХК / В. А. Балукова, Викт. А. Балукова, А. Е. Карлик [и др.].; под редакцией А. Е. Карлика, И. А. Садчикова, 2019. - 153 с. - Текст : непосредственный. Климов В.А. Методы экономической оценки инвестиций в техническое развитие нефтеперерабатывающих предприятий : автореф. дис. .. канд. экон. наук: 08.00.05 / В.А. Климов, 2005. - 18 c. - Текст : непосредственный. Алиева Н.З. Рискогенность знания в эпоху глобализации : монография / Н. З. Алиева, Н. А. Калинина, 2016. - 184 с. - Текст : непосредственный. Гаврилов М.В. Информатика и информационные технологии : учебник для бакалавров / М. В. Гаврилов, В. А. Климов, 2013. - 378 с. - Текст : непосредственный. Гаврилов М.В. Информатика и информационные технологии : учебник для бакалавров / М. В. Гаврилов, В. А. Климов, 2012. - 350 с. - Текст : непосредственный. Защита информации"Конфидент". - Журнал, 1998г. № 1. - Текст : непосредственный. На пути в научную библиотеку : учеб. пособие для студентов естественнонауч. специальностей ун-та / М. А. Зайцева [и др.], 2009. - 361 с. - Текст : непосредственный. Нечепуренко М.И. Интервальные оценки вероятностей с учетом степени зависимости событий / М.И.Нечепуренко, 1991. - 29 с. - Текст : непосредственный. Калинина Н.А. О возможности изучения размеров области генерации быстрых протонов / Н. А. Калинина, Р. Ледницкий, Д. М. Хазинс, 1991. - 10 с. - Текст : непосредственный. Защита информации"Конфидент". - Журнал, 1998г. № 2. - Текст : непосредственный. Моделирование и оптимизация систем управления производственными процессами в текстильной и легкой промышленности : Межвуз. сб. науч. тр. / Ленингр. ин-т текстил. и лег. пром-сти им. С. М. Кирова, 1989. - 144 с. - Текст : непосредственный. Показать все результаты Брона И.И. Реляционные базы данных с неполными и неточными значениями(аналитический обзор) / И. И. Брона, Т. А. Малюта, В. В. Пасичник, 1989. - 52 с. - Текст : непосредственный. Пинкина Н.А. Анализ устойчивости ортогональной прогонки / Н. А. Пинкина, 1989. - 27 с. - Текст : непосредственный. Лапина Л.Э. Эффект нелинейной приливной накачки уровня в устье реки / Л. Э. Лапина, 1998. - 19 с. - Текст : непосредственный. Пакетный адаптер данных для сетей с коммутацией пакетов по протоколу X.25 / А. Р. Баязитов, С. В. Бредихин, Л. Н. Пак, 1993. - 58 с. - Текст : непосредственный. Костяков И.В. Z2-градуированные контракции алгебры Вирасоро и ее представлений / И. В. Костяков, В. В. Куратов, 1997. - 19 с. - Текст : непосредственный. Колодко А.А. Методы прямого статистического моделирования процесса коагуляции / А. А. Колодко, 1996. - 37 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Белов В.М. Аппроксимация эллипсом множества неопределенности параметров зависимостей, сводящихся к линейным / В. М. Белов, В. А. Суханов, Ф. Г. Унгер, 1990. - 28 с. - Текст : непосредственный. Булышева Л.А. Методы и средства оптимизации вычислений для процессоров с VLIW-архитектурой / Л. А. Булышева, 1993. - 41 с. - Текст : непосредственный. Конакова О.И. Социально-экономические аспекты закрепления рабочей силы (на примере лесозаготовительной промышленности Республики Коми): Докл. на заседании президиума Коми науч. центра УрО Рос. АН / О. И. Конакова, 1993. - 19 с. - Текст : непосредственный. Лаженцев В.Н. Природно-ресурсный потенциал как объект комплексных региональных исследований / В. Н. Лаженцев, Т. Е. Дмитриева, 2001. - 51 с. - Текст : непосредственный. Куковицкий Б.Ф. Моделирование структуры двухкомпонентных растворов термодинамически несовместимых полимеров при изменении их суммарной концентрации / Б. Ф. Куковицкий, 1997. - 16 с. - Текст : непосредственный. Чулков В.Л. Разработка методов обнаружения электромагнитных полей движущихся морских объектов при малых соотношениях сигнал/помеха / В. Л. Чулков, 1997. - 40 с. - Текст : непосредственный. Ильин В.П. Об одной разностной схеме для численного решения двумерной задачи Стефана / В. П. Ильин, В. Н. Попов, 1991. - 24 с. - Текст : непосредственный. Гололобова С.П. ЭДСЗ: программный комплекс моделирования трехмерных электронно-оптических систем / С. П. Гололобова, А. Н. Юдин, 1997. - 32 с. - Текст : непосредственный. Карманова Л.П. Карбамидная депарафинизация харьягинской нефти : препринт / Л. П. Карманова, Л. Л. Фролова. - 10 c. - Текст : непосредственный. Карапетян Г.З. Проектирование систолических процессоров для умножения матриц различной структуры / Г. З. Карапетян, С. Г. Седухин, 1992. - 41 с. - Текст : непосредственный. Шишанин О.Е. Дополнительные вопросы теории бетатронных колебаний / О. Е. Шишанин, 1992. - 13 с. - Текст : непосредственный. Старков А.В. Экспоненциальные алгоритмы моделирования рассеяния гамма-квантов / А. В. Старков, И. А. Машнина, 1991. - 22 с. - Текст : непосредственный. Лотова Г.З. Критические значения параметров процесса переноса частиц с размножением в стохастической среде / Г. З. Лотова, Г. А. Михайлов, 1997. - 30 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Показать все результаты Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Ахметова Н.А. Элементы дискретной математики. Функции алгебры логики. Теория графов. Элементы теории кодирования : выставочные материалы / Н. А. Ахметова, А. Я. Гильмутдинова, З. М. Усманова, 2015. - 120 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Шевелев Ю.П. Высшая математика : Учеб.пособие для студентов техн.вузов, для сред.шк. 5 : Дискретная математикаЧ. 1. Теория множеств. Булева алгебра (для автоматизированной технологии обучения), 1998. - 114 с. - Текст : непосредственный. Лапшин А.Б. Дискретная математика и математическая логика : Учеб. пособие. Ч. 2 : Элементы алгебры логики, 2004. - 32 с. - Текст : непосредственный. Перязев Н.А. Основы теории булевых функций / Н. А. Перязев, 1999. - 110 с. - Текст : непосредственный. Зуев Ю.А. По океану дискретной математики. От перечислительной комбинаторики до современной криптографии. Т. 1 : Основные структуры. Методы перечисления. Булевы функции., 2017. - 273 с. - Текст : непосредственный. Гуров С.И. Булевы алгебры, упорядоченные множества, решетки. Определения, свойства, примеры / С. И. Гуров, 2013. - 349 с. - Текст : непосредственный. Ахметова Н.А. Дискретная математика. Функции алгебры логики / Н. А. Ахметова, З. М. Усманова, 2000. - 143 с. - Текст : непосредственный. Плоткин Б.И. Универсальная алгебра, алгебраическая логика и базы данных / Б. И. Плоткин, 1991. - 446 с. - Текст : непосредственный. Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный. Kranakis E. Computing boolean functions on Cayley networks (Extended abstract) / E. Kranakis, D. Krizanc, 1990. - 18 p. - Текст : непосредственный. Яновская С.А. Лекции по алгебре логики / С. А. Яновская ; Сост.: Б. В. Бирюков, З. А. Кузичева, 2015. - 257 с. - Текст : непосредственный. Steinbach B. Logic functions and equations / B. Steinbach, C. Posthoff, 2009 r=on-line. - Текст : электронный. Подловченко Р.И. Эквивалентные преобразования в математических моделях вычислений : выставочные материалы / Р. И. Подловченко, 2011. - 72 с. - Текст : непосредственный. Волгин Л.И. Свойства и законы двоичной булевой алгебры на множестве комплексных и действительных чисел: АМ-алгебра и ее применения / Л. И. Волгин, 1995. - 38 c. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Калинина Н.А. Система 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 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
