Полное описание
>
Максимовская, Наталья Леонидовна. Логика и искусственный интеллект / Н. Л. Максимовская, Ж. А. Ильина. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - С. 146-153. - Библиогр. в конце ст. - ISBN 978-5-6042112-2-9.
(Шифр в БД Н/20981/8(40))
| ГРНТИ | УДК | |
| 50.11 | 004.07 | |
| 28.23.02 | 004.8 | |
| 27.03.19 | 510.6 |
Рубрики:
Искусственный интеллект
Математическая логика
Кл.слова (ненормированные): уравнение -- функции -- программа -- матрицы -- искусственный интеллект -- объект -- ряд фурье -- математическая логика -- mathcad
Аннотация: Основная идея статьи и описанная в ней технология позволяют применять универсальную программу "MathCad" для решения математических и логических задач. Рассмотрен подход к решению математических задач, и автоматизация ускорения расчетов с помощью программы "MathCad".
Доп. точки доступа:
Ильина, Жанна Анатольевна
Черноморское высшее военно-морское училище имени П. С. Нахимова(Севастополь)
>
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Оптимальный профиль направляющей канавки для оптических дисков / ТПП БССР. "Минсквнешсервис". - 18 с. - Текст : непосредственный.Восьмиразрядные быстродействующие инструментальные адаптеры ТМС-885 для интерфейса малых компьютерных систем : Руководство для пользователя / ВЦП. - 35 с. - Текст : непосредственный.ЭКСОН: проект виртуальной памяти сети / ВЦП. - 33 с. - Текст : непосредственный.Следящая дисковая система : Справочное руководство для пользователей / ВЦП. - 60 с. - Текст : непосредственный.Reflex : Руководство пользователя / ВЦП. - 369 c. - Текст : непосредственный.Исследования в области ИС ЗУ различных видов и поколений. Выбор ИС при проектировании систем и указания по их применению. Ч.3,4 / ВЦП. - 107 c. - Текст : непосредственный.Правильная утилизация использованных магнитных лент / ВЦП. - 14 c. - Текст : непосредственный.Минисистемы памяти полуярусной конструкции на базе гибких магнитных дисков серии MF 59D, MF 58S, MF 54D, MF 54S : Техн. описание и инструкция по эксплуатации / ВЦП. - 71 c. - Текст : непосредственный.Модуль тестирования памяти: Руководство пользователя. Рабочая станция тестирования на базе платы 2276 / ВЦП. - 167 c. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Тихоненко О.М. Модели обслуживания неоднородных требований и их применение для расчета объема памяти систем обработки информации : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / О. М. Тихоненко, 1991. - 38 с. - Текст : непосредственный.Курносиков О.В. Физические основы адаптивной фототермопластической регистрации информации : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.03 / О. В. Курносиков, 1991. - 16 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Иванов В.К. Разработка и исследование методов адаптивного преобразования систем хранения данных,повышающих их реактивность : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / В. К. Иванов, 1991. - 17 с. - Текст : непосредственный.Кангиев Р.Д. Получение мелкодисперсных пленок Со-С-О методом CVD и исследование их физических свойств : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:02.00.04 / Р. Д. Кангиев, 1991. - 16 с. - Текст : непосредственный.Кручинин С.З. Исследование структурной организации иерархических подсистем оперативной памяти многопроцессорных векторно-конвейерных суперэвм : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / С. З. Кручинин, 1991. - 25 с. - Текст : непосредственный.Космынин А.Н. Методы и средства организации типовополной модели баз данных : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / А. Н. Космынин, 1991. - 19 с. - Текст : непосредственный.Кочеткова Э.В. Динамическое преобразование структуры блоховской доменной границы при записи и считывании ВБЛ-информации : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.04.11 / Э. В. Кочеткова, 1991. - 18 с. - Текст : непосредственный.Бабишин И.П. Алгоритмы управления параллелизмом транзакций в распределенных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / И. П. Бабишин, 1991. - 16 с. - Текст : непосредственный.
Показать все результатыСистемы, использующие мысли вместо знаний, основанных на формальных правилах / ВЦП (Киев). - 7 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.3. Датчики и искусственный интеллект. Искусственный интеллект в системах машинного зрения / ВЦП. - 19 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Системы управления и моделирования на базе знаний / ВЦП.Минская ред. - 15 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM. Гл.5. МАР и ТОР / ВЦП.Минская ред. - 41 c. - Текст : непосредственный.Искусственный интеллект. Применения в CIM. Гл.11.Управляющие экспертные системы. Базы данных и базы знаний в УЭС / ВЦП.Минская ред. - 32 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.7. Базы данных CIM.Искусственный интеллект в CIM базах данных / ВЦП.Минская ред. - 53 c. - Текст : непосредственный.Искусственный интеллект. Применение для CIM.Гл.8. Распределенный искусственный интеллект. Системы распределенного искусственного интеллекта / ВЦП.Минская ред. - 47 c. - Текст : непосредственный.Sommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Changing preferences / J.van Benthem,D.J.N.van Eijck,A.Frolova, 1993. - 16 p. - Текст : непосредственный.Eijck D.J.N.van Reasoning about update logic / D.J.N.van Eijck,F.-J.de Vries, 1993. - 18 p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Foundations of artificial intelligence / сост.ed. D. Kirsh, 1992. - 358 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Niemela I. Autoepistemic logic as a unified basis for nonmonotonic reasoning : Diss. / I.Niemela, 1993. - 162 p. - Текст : непосредственный.Дулин С.К. Структурная согласованность данных и знаний : Учеб.пособие / С.К.Дулин, 1993. - 87 c. - Текст : непосредственный.Drescher G.L. Made-Up Minds : A constructivists approach to artificial intelligence / G.L.Drescher, 1991. - 220 p. - Текст : непосредственный.
Показать все результатыПацан А. Средства представления и обработки знаний в объективно-ориентированных экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.18.11 / А. Пацан, 1991. - 21 с. - Текст : непосредственный.Сардалишвили Т.Р. Разработка многокритериальных моделей принятия решений и методов параллельных вычислений для представления знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / Т. Р. Сардалишвили, 1991. - 20 с. - Текст : непосредственный.Ковалева Г.Е. Применение функционального подхода к реализации систем представления знаний : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.09 / Г. Е. Ковалева, 1991. - 11 . - Текст : непосредственный.Бычков И.В. Сетевая система представления и обработки знаний для решения задач на ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. В. Бычков, 1991. - 17 с. - Текст : непосредственный.Терехина А.Ю. Разработка методов многомерного шкалирования для представления структуры знаний : Автореферат диссертации на соискание ученой степени д-ра техн.наук:01.01.11 / А. Ю. Терехина, 1991. - 36 с. - Текст : непосредственный.Башмаков Д.М. Нечеткие модели и линейные методы принятия оптимизированных управляющих решений : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.16:05.13.01 / Д. М. Башмаков, 1991. - 16 с. - Текст : непосредственный.Богачев Д.А. Семантическая память адаптивных интеллектуальных систем : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Д. А. Богачев, 1991. - 16 с. - Текст : непосредственный.Васильев М.Ю. Разработка архитектуры системы параллельного логического вывода на сетях специального вида : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / М. Ю. Васильев, 1991. - 20 с. - Текст : непосредственный.Гинкул Г.П. Игровой подход к формированию баз знаний в экспертных системах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. П. Гинкул, 1991. - 15 с. - Текст : непосредственный.Зикеева Г.В. Метод автоматизированного формирования и контроля целостности баз знаний с неструктурированными продукционными правилами : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / Г. В. Зикеева, 1991. - 20 с. - Текст : непосредственный.Абдуллаева М. Системы логического вывода,основанные на методе резолюций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / М. Абдуллаева, 1991. - 19 с. - Текст : непосредственный.Хведчук В.И. Средства ПЭВМ с поддержкой логического вывода : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / В. И. Хведчук, 1991. - 16 с. - Текст : непосредственный.Воробьев В.Б. Представление,организация и обработка знаний в интеллектуальной системе ИКАР : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Б. Воробьев, 1992. - 15 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Андриенко Г.Л. Методы сопоставления для автоматизированного приобретения экспертных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Г. Л. Андриенко, 1992. - 15 с. - Текст : непосредственный.Симов С.Ж. Разработка и исследование интервальных моделей при анализе данных и проектировании экспертных систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.01 / С. Ж. Симов, 1992. - 20 с. - Текст : непосредственный.Коваленко Г.М. Способы,модели и программная реализация эффективной физической организации данных в автоматизированных комплексах формирования знаний операторов технических систем : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.06 / Г. М. Коваленко, 1992. - 22 с. - Текст : непосредственный.Дулин С.К. Методология поддержки согласованности активных систем знаний интеллектуальными диалоговыми средствами : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / С. К. Дулин, 1992. - 36 с. - Текст : непосредственный.Андриенко А.В. Инструментальные средства формирования баз процедурных знаний : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. В. Андриенко, 1992. - 16 с. - Текст : непосредственный.Матвеева Т.О. Разработка и исследование методов и средств измерения реляционных программ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Т. О. Матвеева, 1992. - 18 с. - Текст : непосредственный.
Показать все результатыСборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. Вып. 8(40), 2021. - 409 с. - Текст : непосредственный.Максимовская, Наталья Леонидовна. Логика и искусственный интеллект / Н. Л. Максимовская, Ж. А. Ильина. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 146-153
Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. Вып. 8(40), 2021. - 409 с. - Текст : непосредственный.Зарубежный габитус палубных БПЛА / А. В. Исаев, Ю. П. Мосейчук, А. А. Назаркин [и др.]. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 38-49О содействии иностранных БПЛА ВМС / А. В. Исаев, Ю. П. Мосейчук, А. А. Назаркин [и др.]. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 50-58Структуризация многомерной нелинейной модели управления бокового движения БПЛА для синтеза оптимального регулятора / В. А. Крамарь, М. В. Чупаков, В. А. Макее, В. А. Хорошев. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 59-64Анализ возможности применения радиотехнических систем посадки для беспилотных летательных аппаратов / И. Б. Широков, Д. В. Мязин, А. А. Азаров, Е. И. Широкова. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 89-102Чупаков, Максим Викторович. Расчет поля скоростей в окрестности корабля при его движении в процессе разработки системы посадки БпЛА на движущийся корабль / М. В. Чупаков, Е. А. Федяева, В. В. Смирнов. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 103-108Пичулин, Константин Сергеевич. Развитие морских роботизированных системы военного назначения и беспилотных летательных аппаратов в интересах ВМФ / К. С. Пичулин, Е. А. Федяева. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 73-76Исаев, Алексей Викторович. Об освоении ИИ-технологии на примере физики живых систем (нарратив) / А. В. Исаев, Т. В. Мозолевская. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 133-139Максимовская, Наталья Леонидовна. Логика и искусственный интеллект / Н. Л. Максимовская, Ж. А. Ильина. - Текст : непосредственный // Сборник научных трудов Черноморского высшего военно-морского училища имени П. С. Нахимова. - Севастополь : ЧВВМУ им. П. С. Нахимова, 2021. - Вып. 8(40). - с. 146-153
Заказ фрагмента документа ₽