Полное описание
>
Яйлеткан, Александр Александрович .
История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение : учебное пособие / А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин ; Министерство науки и высшего образования Российской Федерации, Тюменский индустриальный университет. - Тюмень : ТИУ, 2021. - 119 с. : ил. - Библиогр. в конце гл. - 500 экз. -
ISBN 978-5-9961-2711-5. - Текст (визуальный) : непосредственный.
ГРНТИ УДК 27.03.19 510.62(09) 20.15.05 004.891.2
Рубрики: Математическая логика -- История
Интеллектуальные информационные системы
Кл.слова (ненормированные): АНАЛИЗ ВЫРАЗИТЕЛЬНЫХ ВОЗМОЖНОСТЕЙ -- БАЗЫ ЗНАНИЙ -- ГЕНЕАЛОГИЧЕСКОЕ ДРЕВО ЛОГИКИ -- КЛАССИФИКАЦИЯ -- ЛОГИЧЕСКИЙ КВАДРАТ СИМВОЛИЧЕСКОЙ ЛОГИКИ -- ПОИСК РЕШЕНИЙ -- ПРЕДСТАВЛЕНИЕ ЗНАНИЙ -- ПРОДУКЦИОННЫЕ МОДЕЛИ -- СИСТЕМЫ, ОСНОВАННЫЕ НА ЗНАНИЯХ -- ЯЗЫК ЛОГИКИ BFSN
Аннотация: В учебном пособии описаны методы приобретения, представления и обработки знаний в интеллектуальных системах, а также технологии проектирования и реализации интеллектуальных информационных систем. Рассматриваются методы искусственного интеллекта и их применение для решения задач из различных проблемных областей.
Доп. точки доступа: Кравченко, Людмила Валерьевна
Хайруллин, Амир Атауллович
Тюменский индустриальный университет
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-21/96486)>
Шифр в сводном ЭК: a0a2b08ac0903df5d6a8da28eba53396
Применение дифференциальных уравнений в прикладных задачах : учебное пособие / А. А. Хайруллин, И. Е. Шемякина, Ж. М. Колев [и др.], 2021. - 109 с. - Текст (визуальный) : непосредственный. Яйлеткан, Александр Александрович. История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение : учебное пособие / А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин, 2021. - 119 с. - Текст (визуальный) : непосредственный. Газодинамические исследования газовых скважин : учебное пособие / А. В. Нурмакин, М. И. Забоева, А. А. Хайруллин [и др.], 2022. - 87 с. - Текст (визуальный) : непосредственный. Основы моделирования пластовых систем : учебное пособие / А. И. Насырова, Ам. А. Хайруллин, Д. А. Конев [и др.], 2024. - 90 с. - Текст (визуальный) : непосредственный. Нефть и газ / Министерство образования и науки РФ, Российский гос. ун-т нефти и газа им. И. М. Губкина (Москва). - Журнал выходит с 1997г. - Текст : непосредственный. Нефть и газ Западной Сибири : материалы международной научно-технической конференции / Тюменский индустриальный университет. Т. 3 : Проблемы производственного, финансового и социального менеджмента в ТЭК. Социально-гуманитарные аспекты развития нефтегазового региона, 2017. - 325 с. - Текст : непосредственный. Лосева Н.И. Практикум по органической химии : учебное пособие / Н. И. Лосева, 2017. - 181 с. - Текст : непосредственный. Базанов А.В. Техническая эксплуатация транспортных и транспортно-технологических машин и оборудования в особых условиях : учебное пособие / А. В. Базанов, Е. С. Козин, А. А. Панфилов, 2017. - 142 с. - Текст : непосредственный. Зенкина М.В. Построение сбалансированной системы показателей для оценки эффективности деятельности строительного предприятия : монография / М. В. Зенкина, О. Г. Семянникова, 2017. - 162 с. - Текст : электронный. Сооружение подводных переходов магистральных трубопроводов / В. А. Иванов, С. М. Соколов, Е. А. Гильмияров [и др.], 2017. - 69 с. - Текст : электронный. Формирование стратегии развития малоэтажного строительства Тюменского района : монография / Н. М. Чикишева, Е. Г. Матыс, Н. В. Меллер, И. Ю. Некрасова, 2017. - 78 с. - Текст : электронный. Баликаева М.Б. Развитие профессиональной мобильности будущих инженеров в социально-культурной среде вуза: теоретико-методологические основы : монография. Ч. 2, 2017. - 189 с. - Текст : непосредственный. Шулер И.В. Деловая этика : учебное пособие / И. В. Шулер, 2017. - 96 с. - Текст : непосредственный. Инновационные процессы в науке и технике XXI века : материалы XV Международной научно-практической конференции студентов, аспирантов, учёных, педагогических работников и специалистов-практиков, (Нижневартовск, 21 апреля 2017 г.) : [в 2 т.] / Тюменский индустриальный университет. Т. 2, 2018. - 272 с. - Текст : непосредственный. Управление развитием ТЭК: проблемы современности и форсайт : монография / Тюменский индустриальный университет, 2017. - 159 с. - Текст : непосредственный. Алланина Л.М. Правовое обеспечение инновационной деятельности. Особенная часть : учебник / Л. М. Алланина, 2018. - 216 с. - Текст : непосредственный. Феоктистова А.А. Основы 2D- и 3D-моделирования в программе AutoCad : учебное пособие / А. А. Феоктистова, О. Л. Стаселько, 2017. - 102 с. - Текст : непосредственный. Казаринов Ю.И. Прочность элементов конструкций с вырезами и повреждениями : монография / Ю. И. Казаринов, 2017. - 187 с. - Текст : непосредственный. Порошин О.С. Бинарные фундаменты-оболочки в геотехническом строительстве / О. С. Порошин, М. А. Степанов, 2018. - 91 с. - Текст : непосредственный. Пронозин Я.А. Механика грунтов : учебное пособие / Я. А. Пронозин, Ю. В. Наумкина, 2017. - 81 с. - Текст : электронный. Вскрытие и разобщение продуктивных пластов : учебное пособие для обучающихся по направлению подготовки "Нефтегазовое дело" / Тюменский индустриальный университет. Ч. 2 : Разобщение продуктивных пластов / И. Г. Яковлев [и др.], 2017. - 120 с. - Текст : непосредственный. Проектирование шарового крана : учебное пособие / В. А. Дудинцев, Ю. И. Князев, В. Н. Сызранцев, А. А. Пазяк, 2018. - 88 с. - Текст : непосредственный. Новиков Ю.А. Геодезическое обеспечение кадастровой деятельности : учебное пособие / Ю. А. Новиков, В. Н. Щукина, Ю. Е. Голякова, 2018. - 95 с. - Текст : непосредственный. Математическое моделирование в задачах нефтегазовой отрасли на базе MATHCAD 15 : учебное пособие / Ж. М. Колев, А. Н. Колева, Г. Т. Апасов, Т. К. Апасов, 2017. - 208 с. - Текст : непосредственный. Показать все результаты Мир математики : в 40 т. [Т.] 22 : Сон разума. Математическая логика и ее парадоксы : [пер. с исп.] / Х. Фресан, 2014. - 141 с. - Текст : непосредственный. Кузнецов В.А. Метод вынуждения с точки зрения формальной системы G+ генценовского типа / В. А. Кузнецов, 1991. - 59 с. - Текст : непосредственный. Новиков П.С. Элементы математической логики, 1973. - 399 с. - Текст : непосредственный. Веберова И.И. Распределенные информационные системы / И. И. Веберова, 2003. - 345 с. - Текст : непосредственный. Любарский Ю.Я. Интеллектуальные информационные системы / Ю. Я. Любарский, 1990. - 227 с. - Текст : непосредственный. Инюшкина О.Г. Проектирование информационных систем (на примере методов структурного системного анализа) : выставочные материалы / О. Г. Инюшкина, 2014. - 240 с. - Текст : непосредственный. Проектирование информационных систем : сборник научных трудов / Санкт-Петербургский гос. инженерно-экономический ун-т, 2006. - 311 с. - Текст : непосредственный. Верещагин Н.К. Языки и исчисления / Н. К. Верещагин, А. Шень, 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. - Текст : непосредственный. Бородакий Ю.В. Эволюция информационных систем / Ю. В. Бородакий, Ю. Г. Лободинский, 2011. - 368 с. - Текст : непосредственный. Монахов С.В. Анализ прикладных систем / С. В. Монахов, В. П. Савиных, Цветков В. Я., 2004. - 57 с. - Текст : непосредственный. Овчинникова Е.В. Структурные свойства и полнота класса регулярных полигонов : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / Е. В. Овчинникова, 2000. - 12 с. - Текст : непосредственный. Современные технологии в информационном обеспечении науки : сборник научных трудов / Ред. Н. Е. Каленов, 2003. - 316 с. - Текст : непосредственный. Герасимов А.С. Разработка и реализация алгоритма поиска вывода в расширении бесконечнозначной предикатной логики Лукасевича : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / А. С. Герасимов, 2007. - 15 с. - Текст : непосредственный. Барцев С.И. Моделирование аналоговых адаптивных сетей / С. И. Барцев, Ю. П. Ланкин, 1993. - 36 с. - Текст : непосредственный. Фатуев В.А. Надежность автоматизированных информационных систем / В. А. Фатуев, В. И. Высоцкий, В. И. Бушинский, 1998. - 103 с. - Текст : непосредственный. Затонский А.В. Информационные технологии: разработка информационных моделей и систем : выставочные материалы / А. В. Затонский, 2014. - 343 с. - Текст : непосредственный. Проектирование телекоммуникационных и информационных средств и систем : сборник научных трудов / Московский гос. ин-т электроники и математики, Кафедра "Радиоэлектронные и телекоммуникационные устройства и системы", 2007. - 203 с. - Текст : непосредственный. Лучко О.Н. Интеллектуальные информационные системы : учебное пособие / О. Н. Лучко, О. Н. Косова, 2007. - 54 с. - Текст : непосредственный. Зимин Е.Ф. Электромагнитная совместимость информационных систем / Е. Ф. Зимин, Ю. А. Казанцев, В. А. Кузовкин, 1995. - 152с.,26л.рис. - Текст : непосредственный. Показать все результаты Федотов В.Х. Стратегия конструирования интеллектуальных информационных систем / В. Х. Федотов, Н. В. Новожилова, 2008. - 487 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Егорова И.Е. Интеллектуальные информационные системы : учеб. пособие / И. Е. Егорова, 2016. - 127 с. - Текст : непосредственный. Плотников С.И. Интеллектуальные информационные системы : учеб. пособие / С. И. Плотников, 2005. - 78 с. - Текст : непосредственный. Гаскаров Д.В. Интеллектуальные информационные системы : Учеб. для студентов вузов, обучающихся по спец. "Информационные системы в технике и технологиях" направления подготовки дипломированных специалистов "Информационные системы" / Д.В.Гаскаров, 2003. - 431 с. - Текст : непосредственный. Соколова С.П. Интеллектуальные информационные системы на основе иммунокомпьютинга : учеб. пособие / С. П. Соколова, Л. А. Соколова, 2009. - 159 с. - Текст : непосредственный. Логиновский О.В. Интеллектуальные информационные технологии и системы : Учеб. пособие / О. В. Логиновский, В. М. Тарасов, Р. П. Чапцов, 1996. - 53 c. - Текст : непосредственный. Интеллектуальные информационные системы : учеб. пособие / Сост. Е. Н. Чуйкова, 2011. - 155 с. - Текст : непосредственный. Головинский П.А. Интеллектуальные информационные системы: теоретические основы и приложения / П. А. Головинский, И. С. Суровцев, 2015. - 204 с. - Текст : непосредственный. Суханов А.В. Интеллектуальные информационные системы : учеб. пособие / А. В. Суханов, З. В. Лященко, 2017. - 123 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽