Полное описание
Андреев, А. А.
ГРНТИ УДК 27.03.19 510.644(043)
Кл.слова (ненормированные): ДИСКРЕТНАЯ МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- ФУНКЦИИ ШЕННОНА
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар17-1514)
Шифр в сводном ЭК: ce63432717ea5326863f61971b5d562d
Системы и средства автоматизированной обработки измерительной информации : сборник научных трудов / Днепропетровский ун-т им. 300-летия воссоединения Украины с Россией, 1989. - 113 с. - Текст : непосредственный. Тектоносфера Тихоокеанской окраины Азии / В. В. Гордиенко, А. А. Андреев, С. К. Биккенина, 1992. - 238 с.,1 л.ил. с.,1 л.ил. - Текст : непосредственный. Компьютерные технологии в промышленном дизайне. Геометрическое моделирование в SolidWorks : учебное пособие / А. А. Андреев, В. Ю. Клюкин, А. Г. Массаев, М. Н. Полищук, 2008. - 97 с. - Текст : непосредственный. Андреев А.А. Введение в Интернет-образование / А. А. Андреев, 2003. - 74 с. - Текст : непосредственный. Управление проектами. Основы профессиональных знаний. Национальные требования к компетентности специалистов. Версия 3.1, октябрь 2014 / А. А. Андреев, В. Н. Бурков, В. И. Воропаев [и др.], 2014. - 259 с. - Текст : непосредственный. Андреев А.А. Информационно-измерительная и управляющая система стабилизации давления добываемой газожидкостной смеси Астраханского месторождения : специальность 05.11.16 "Информационно-измерительные и управляющие системы (по отраслям)", 05.13.06 "Автоматизация и управление технологическими процессами и производствами(по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / А. А. Андреев, 2005. - 23 с. - Текст : непосредственный. Renault Dacia Sandero. Выпуск Renault Sandero с 2008 г. Выпуск Renault Sandero Strepway с 2011 г. Бензиновые двигатели: 1.4 л (R4, 8V), 1.6 л (R4, 8V), 1.6 л (R4, 16V) : методический материал / Н. В. Захаров, А. С. Шпалярчук, А. В. Горычев, А. А. Андреев, 2011. - 304 с. - Текст : непосредственный. Андреев А.А. Корпоративная социальная ответственность как фактор устойчивого развития региона / А. А. Андреев, 2010. - 22 с. - Текст : непосредственный. Информационное общество. - Журнал, 2012г. № 5. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Комментарий к Трудовому кодексу Российской Федерации (постатейный) / А. А. Андреев, Э. Н. Бондаренко, К. Н. Гусов [и др.] ; Ред. Э. Г. Тучкова, 2018. - 1374 с. - Текст : непосредственный. Андреев, А. А. Основы открытого образования. Т. 2, 2002. - 679 с. - Текст : непосредственный. Комментарий к Трудовому кодексу Российской Федерации (постатейный) / А. А. Андреев [и др.]; под редакцией К. Н. Гусева, Э. Г. Тучковой, 2019. - 1370 с. - Текст : непосредственный. Андреев А.А. Процессы перемагничивания аморфных пленочных сплавов редкоземельных и переходных металлов для термомагнитной записи информации : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.10 / А. А. Андреев, 1997. - 19 с. - Текст : непосредственный. Показать все результаты Мир математики : в 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 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Калинина Н.А. Система FABULA. Задачи преобразований и оптимизация в булевых алгебрах. Входной язык и архитектура системы / Н. А. Калинина, В. А. Климов, М. И. Нечепуренко, 1995. - 47 c. - Текст : непосредственный. Алфимов Р.В. Полиномиальный алгоритм для задачи выполнимости булевой формулы / Р. В. Алфимов, 1995. - 15 c. - Текст : непосредственный. Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный. Никольская И.Л. Знакомство с математической логикой / И. Л. Никольская, 1998. - 128 с. - Текст : непосредственный. Первухин М.А. Теоретико-модельные свойства частично упорядоченных полигонов / М. А. Первухин, 2010. - 18 с. - Текст : непосредственный. Rijke M.de A modal characterization of Peirce algebras / M.de Rijke, 1995. - 14 p. - Текст : непосредственный. Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный. Шапировский И.Б. Алгоритмические свойства модальных логик информационных систем / И. Б. Шапировский, 2007. - 15 с. - Текст : непосредственный. Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Пак Бен Ха.Субрекурсивная реализуемость и логика предикатов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Пак Бен Ха, 2003. - 12 с. - Текст : непосредственный. Algebra and Model Theory : coll. of papers. 7, 2009. - 152 p. - Текст : непосредственный. Кузнецов С.Л. Категориальные грамматики, основанные на вариантах исчисления Ламбека / С. Л. Кузнецов, 2012. - 12 с. - Текст : непосредственный. Чернов А.В. О некоторых вариантах понятия реализуемости : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. В. Чернов, 2003. - 16 с. - Текст : непосредственный. Показать все результаты Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Кочергин А.В. О глубине функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Кочергин, 2013. - 11 с. - Текст : непосредственный. Панин Д.Ю. О порождении монотонных функций из некоторых классов многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. Ю. Панин, 2014. - 11 с. - Текст : непосредственный. Золотых Н.Ю. Расшифровка пороговых и близких к ним функций многозначной логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.17 / Н. Ю. Золотых, 1998. - 12 с. - Текст : непосредственный. Дудакова О.С. О конечной порожденности предполных классов монотонных функций многозначной логики : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / О. С. Дудакова, 2007. - 8 с. - Текст : непосредственный. Подолько Д.К. О классах функций многозначной логики, замкнутых относительно усиленной операции суперпозиции : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / Д. К. Подолько, 2014. - 14 с. - Текст : непосредственный. Андреев А.А. О сложности функций многозначной логики в некоторых неполных базисах : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. А. Андреев, 2016. - 16 с. - Текст : непосредственный. Бухман А.В. Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / А. В. Бухман, 2013. - 16 с. - Текст : непосредственный. Селезнева С.Н. О свойствах полиномов над конечными полями и об алгоритмической сложности распознавания свойств функций многозначных логик, представленных полиномами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.09 / С. Н. Селезнева, 2000. - 14 с. - Текст : непосредственный. Старостин, Михаил Васильевич. Критериальная система неявно предполных классов в трехзначной логике : специальность 01.01.09 - "Дискретная математика и математическая кибернетика": автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Старостин Михаил Васильевич, 2021. - 11 с. - Текст : непосредственный. Мещанинов, Дмитрий Германович. Аддитивные представления и замкнутые классы функций многозначной логики : специальность 01.01.09 - дискретная математика и математическая кибернетика: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Мещанинов Дмитрий Германович, 2022. - 30 с. - Текст : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
