Приложение
для AndroidПолное описание
Лещинская, Мария Владимировна. Разработка новых стратегий управления выводом в классическом и нечетком методе резолюций : специальность 1.2.1. Искусственный интеллект и машинное обучение: автореферат диссертации на соискание ученой степени кандидата технических наук / Лещинская Мария Владимировна ; Воронежский государственный университет. - Воронеж, 2024. - 18 с. : ил. - Библиогр.: с. 17-18 (9 назв.). - 100 экз. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.74(043) | |
| 27.03.19 | 510.644.4(043) |
Кл.слова (ненормированные): ВЫБОР АЛГОРИТМИЧЕСКИХ РЕШЕНИЙ -- ГИПОТЕЗЫ -- ДИЗЪЮНКТЫ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- РЕЗОЛЬВЕНТЫ
Доп. точки доступа:
Воронежский государственный университет
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ар24-2943)
Шифр в сводном ЭК: 3a9dd05a9e69de541df7bb4f937613a7
Вестник Воронежского Государственного Университета : Науч. журн. Сер., География и геоэкология / Воронежский ун-т. - Журнал выходит с 1993г. - Текст : непосредственный.Ракетно-космическая техника и технология, 2010 : труды Российской научно-технической конференции, посвященной 50-летию образования кафедры "Ракетные двигатели" ВГТУ (г. Воронеж, 28-29 октября 2010 г.) / Федеральное космическое агентство, ОАО "Конструкторское бюро химавтоматики" [и др.], 2010. - 231 с. - Текст : непосредственный.Аналитический контроль качества природных, питьевых и сточных вод / Воронежский государственный университет, 2017. - 222 с. - Текст : непосредственный.Геоинформационное картографирование в регионах России / Воронежский государственный университет, 2017. - 100 с. - Текст : непосредственный.Современные методы и проблемы математической гидродинамики - 2018 / Воронежский государственный университет, 2018. - 293, [3] с. - Текст : непосредственный.Деньги, кредит, банки / Е. Ф. Сысоева, С. А. Абрамов, А. И. Барабанов, И. Т. Затонских, 2017. - 222 с. - Текст : непосредственный.Сычев А.В. Информатика : учебное пособие / А. В. Сычев, 2017. - 125 с. - Текст : непосредственный.Математическое моделирование и информационные технологии в инженерных и бизнес-приложениях / Воронежский государственный университет, 2018. - 387 с. - Текст : непосредственный.Нагина Е.К. Компьютерные технологии в финансовой деятельности : учебное пособие / Е. К. Нагина, Е. Ф. Сысоева, 2017. - 225, [1] с. - Текст : непосредственный.Туровский Я.А. Введение в конструирование перспективных интерфейсов человек - компьютер : учебное пособие / Я. А. Туровский, С. Д. Кургалин, 2017. - 185, [1] с. - Текст : непосредственный.Общая и системная экология: состояние и перспективы развития : учебное пособие / Т. А. Девятова, Л. Н. Хицова, Е. В. Моисеева, В. Г. Артюхов, 2018. - 184, [1] с. - Текст : непосредственный.Дуракова И.Б. Внутренний маркетинг персонала: факторы, стратегия, зарубежный опыт : монография / И. Б. Дуракова, И. В. Ковалева, 2017. - 102, [1] с. - Текст : непосредственный.Пенионжкевич Ю.Э. Современные ускорители заряженных частиц и их приложение : учебное пособие / Ю. Э. Пенионжкевич, В. М. Вахтель, 2018. - 110, [1] с. - Текст : непосредственный.Гасилов В.В. Управление экономической безопасностью организаций / В. В. Гасилов, А. В. Воротынцева, А. Н. Сова, 2017. - 238 с. - Текст : непосредственный.Учет, анализ и контроль в корпорациях : монография / Д. А. Ендовицкий, Н. А. Бреславцева, С. А. Звягин [и др.], 2018. - 329, [1] с. - Текст : непосредственный.Консолидированная финансовая отчетность : учебное пособие / Ю. Б. Волкова, Т. А. Лаврухина, Н. Н. Решетова [и др.], 2017. - 93 с. - Текст : непосредственный.Холявка М.Г. Микробные биотехнологии: теоретический и практический аспекты : учебное пособие / М. Г. Холявка, М. А. Наквасина, В. Г. Артюхов, 2017. - 234 с. - Текст : непосредственный.Холявка М.Г. Инулиназы в условиях различного микроокружения: биофизические, кинетические и структурно-функциональные свойства : монография / М. Г. Холявка, В. Г. Артюхов, 2018. - 285, [1] с. - Текст : непосредственный.Мишон Е.В. Деловые коммуникации : учебное пособие / Е. В. Мишон, 2017. - 88 с. - Текст : непосредственный.Беленова Н.Н. Теория организации / Н. Н. Беленова, 2018. - 57 с. - Текст : непосредственный.
Показать все результатыМир математики : в 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 с. - Текст : непосредственный.
Показать все результатыОпарин В.В. Оценки сложности вывода в системах доказательств, основанных на методе резолюций : автореф. дис. .. канд. физ.-мат. наук: 01.01.06 / В. В. Опарин, 2016. - 17 с. - Текст : непосредственный.Ицыксон, Дмитрий Михайлович. Нижние оценки и вопросы оптимальности для систем доказательств : 01.01.06 - математическая логика, алгебра и теория чисел: автореферат диссертации на соискание ученой степени доктора физико-математических наук / Ицыксон Дмитрий Михайлович, 2022. - 31 с. - Текст : непосредственный.Лещинская, Мария Владимировна. Разработка новых стратегий управления выводом в классическом и нечетком методе резолюций : специальность 1.2.1. Искусственный интеллект и машинное обучение: автореферат диссертации на соискание ученой степени кандидата технических наук / Лещинская Мария Владимировна, 2024. - 18 с. - Текст : непосредственный.
Заказ фрагмента документа ₽