Полное описание
>
510/Я 439
Яйлеткан, Александр Александрович. История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение : учебное пособие / А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин ; Министерство науки и высшего образования Российской Федерации, Тюменский индустриальный университет. - Тюмень : ТИУ, 2021. - 119 с. : ил. - Библиогр. в конце гл. - 500 экз. - ISBN 978-5-9961-2711-5 : 100 р. - Текст (визуальный) : непосредственный.
| ГРНТИ | УДК | |
| 27.03.19 | 510.62(09) | |
| 20.15.05 | 004.891.2 |
Рубрики:
Математическая логика -- История
Интеллектуальные информационные системы
Кл.слова (ненормированные): анализ выразительных возможностей -- генеалогическое древо логики -- язык логики bfsn -- системы, основанные на знаниях -- классификация -- представление знаний -- продукционные модели -- базы знаний -- поиск решений -- логический квадрат символической логики
Аннотация: В учебном пособии описаны методы приобретения, представления и обработки знаний в интеллектуальных системах, а также технологии проектирования и реализации интеллектуальных информационных систем. Рассматриваются методы искусственного интеллекта и их применение для решения задач из различных проблемных областей.
Доп. точки доступа:
Кравченко, Людмила Валерьевна
Хайруллин, Амир Атауллович
Тюменский индустриальный университет
>
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Обложка
Применение дифференциальных уравнений в прикладных задачах : учебное пособие / А. А. Хайруллин, И. Е. Шемякина, Ж. М. Колев [и др.], 2021. - 109 с. - Текст (визуальный) : непосредственный.Яйлеткан, Александр Александрович. История развития выразительных возможностей языка математической (символической) логики, анализ и обобщение : учебное пособие / А. А. Яйлеткан, Л. В. Кравченко, А. А. Хайруллин, 2021. - 119 с. - Текст (визуальный) : непосредственный.Газодинамические исследования газовых скважин : учебное пособие / А. В. Нурмакин, М. И. Забоева, А. А. Хайруллин [и др.], 2022. - 87 с. - Текст (визуальный) : непосредственный.Основы моделирования пластовых систем : учебное пособие / А. И. Насырова, Ам. А. Хайруллин, Д. А. Конев [и др.], 2024. - 90 с. - Текст (визуальный) : непосредственный.
Нефть и газ : научно-технический журнал / Тюменский индустриальный университет. - Журнал выходит с 1997г. - Текст : непосредственный.Транспорт и машиностроение Западной Сибири : научный журнал / Тюменский индустриальный ун-т. - Журнал выходит с 2014г. - Текст : непосредственный.Миннуллина А.Ю. Основы маркетинга : учебное пособие для бакалавров направления подготовки 13.03.01 "Теплоэнергетика и теплотехника" профиль "Промышленная теплоэнергетика" / А. Ю. Миннуллина, 2017. - 92 с.Нефтегазовый терминал / Тюменский индустриальный университет. Вып. 12 : Сборник научных трудов международной научно-технической конференции магистрантов имени профессора Н. А. Малюшина / [под общ. ред. М. А. Александрова], 2017. - 243 с.Нефть и газ Западной Сибири : материалы международной научно-технической конференции / Тюменский индустриальный университет. Т. 1 : Геология и геофизика. Бурение и разработка нефтяных и газовых и месторождений. Строительство и обустройство промышленных и гражданских объектов ТЭК. Геодезическое и кадастровое сопровождение строительства и эксплуатации объектов ТЭК. Экология, промышленная безопасность, 2017. - 311 с. - Текст : непосредственный.Нефть и газ Западной Сибири : материалы международной научно-технической конференции / Тюменский индустриальный университет. Т. 2 : Материаловедение, машиностроение и методы неразрушающего контроля. Автомобильно-дорожные проблемы нефтегазового комплекса. Химия, нефтехимия и технология переработки нефти и газа, 2017. - 268 с.Нефть и газ Западной Сибири : материалы международной научно-технической конференции / Тюменский индустриальный университет. Т. 3 : Проблемы производственного, финансового и социального менеджмента в ТЭК. Социально-гуманитарные аспекты развития нефтегазового региона, 2017. - 325 с.Абдрашитова Р.Н. Инженерно-геологические карты : учебное пособие / Р. Н. Абдрашитова, А. В. Матусевич, 2016. - 124 с.Лысенко И.В. Мировая экономика : практикум / И. В. Лысенко, С. Г. Симонов, 2017. - 160 с.Новицкий Д.В. История становления и этапы развития нефтегазовой отрасли : учебное пособие / Д. В. Новицкий, С. В. Кузьмин, В. В. Иванов, 2017. - 108 с.Савельева Н.Н. Подготовка будущих бакалавров-нефтяников к профессиональной деятельности на высокотехнологичных предприятиях : [монография] / Н. Н. Савельева, 2017. - 121 с. - Текст : непосредственный.Опыт, актуальные проблемы и перспективы развития нефтегазового комплекса : материалы Международной научно-практической конференции обучающихся, аспирантов и ученых, [Нижневартовск, 20 апреля 2017 г.] : [в 2 т.] / Тюменский индустриальный университет. Т. 1, 2017. - 369 с.Земенкова М.Ю. Методология научных исследований в нефтегазовой отрасли / М. Ю. Земенкова, С. М. Чекардовский, 2016. - 311 с.Гладких Т.Д. Электротехника в строительстве скважин : учебное пособие / Т. Д. Гладких, 2017. - 179 с.Якубовский Ю.Е. Прогнозирование износа оболочечных конструкций пищевых аппаратов : [монография] / Ю. Е. Якубовский, В. С. Гольцов, М. О. Круглов, 2017. - 117 с.Литвинова Н.А. Аппараты пыле- и газоочистки воздушной среды : учебное пособие / Н. А. Литвинова, 2017. - 134 с. - Текст : непосредственный.Новые информационные технологии в нефтегазовой отрасли и образовании : материалы VII Международной научно-технической конференции, [29 ноября 2017 г., г. Тюмень] / Тюменский индустриальный университет, 2017. - 207 с. - Текст : непосредственный.Опыт, актуальные проблемы и перспективы развития нефтегазового комплекса : материалы Международной научно-практической конференции обучающихся, аспирантов и ученых, Нижневартовск, 20 апреля 2017 г. : [в 2 т.] / Тюменский индустриальный университет. Т. 2, 2017. - 404 с.Теплоэнергетические установки на объектах нефтегазовой промышленности : учебное пособие / Б. В. Моисеев [и др.], 2016. - 236 с.Проблемы инженерного и социально-экономического образования в техническом вузе в условиях модернизации высшего образования - 2017 : материалы I Международной научно-практической конференции, 28 марта 2017 г. / Тюменский индустриальный университет. Т. 1, 2017. - 250 с.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Шиф В.Б. Разработка и исследование методов повышения качества передачи телевизионных сообщений в системах информационного телевидения : Автореферат диссертации на соискание ученой степени канд. техн. наук:05.12.02,05.12.21 / В. Б. Шиф, 1995. - 23 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Чыонг Дык Нга.Исследование тенденций и перспектив развития телематических служб связи Вьетнама в условиях рынка : Автореферат диссертации на соискание ученой степени канд.экон.наук:08.00.05 / Чыонг Дык Нга, 1995. - 21 с. - Текст : непосредственный.
Показать все результатыЛогиновский О.В. Интеллектуальные информационные технологии и системы : Учеб. пособие / О. В. Логиновский, В. М. Тарасов, Р. П. Чапцов, 1996. - 53 c. - Текст : непосредственный.Хайтер П.А. Интеллектуальные информационные системы : Учеб.пособие / П.А.Хайтер, 1996. - 227 с. - Текст : непосредственный.Куликов Г.Г. Интеллектуальные информационные системы : Учеб.пособие / Г. Г. Куликов, Т. В. Брейкин, В. Ю. Арьков, 1999. - 129 с. - Текст : непосредственный.Интеллектуальные информационные системы : Сб. ст. / Науч. ред. В.К.Финн, 1991. - 192 с. - Текст : непосредственный.Любарский Ю.Я. Интеллектуальные информационные системы / Ю.Я.Любарский, 1990. - 227 с. - Текст : непосредственный.Чуканов С.Н. Интеллектуальные информационные системы: системы с нечеткой логикой : Учеб.пособие / С.Н.Чуканов, 2002. - 52 с. - Текст : непосредственный.Круглов В.В. Интеллектуальные информационные системы. Компьютерная поддержка систем нечеткой логики и нечеткого вывода : Учеб. пособие / В.В.Круглов,М.И.Дли, 2002. - 254 с. - Текст : непосредственный.Гаскаров Д.В. Интеллектуальные информационные системы : Учеб. для студентов вузов, обучающихся по спец. "Информационные системы в технике и технологиях" направления подготовки дипломированных специалистов "Информационные системы" / Д.В.Гаскаров, 2003. - 431 с. - Текст : непосредственный.Андрейчиков А.В. Интеллектуальные информационные системы : Учеб. для студентов вузов, обучающихся по спец. "Прикладная информатика в экономике" / А.В.Андрейчиков,О.Н.Андрейчикова, 2004. - 423 с. - Текст : непосредственный.Семенов Н.А. Интеллектуальные информационные системы : Учеб. пособие / Н.А.Семенов, 2004. - 99 с. - Текст : непосредственный.Интеллектуальные информационные системы : текст лекций / А.О. Клименко, 2004. - 69 с. - Текст : непосредственный.Интеллектуальные информационные системы. Представление знаний и логический вывод : Учеб. пособие / А.А. Короткин, 2004. - 76 с. - Текст : непосредственный.Коуров В.Г. Интеллектуальные информационные системы и программирование на языке "Prolog" : учеб. пособие / В.Г. Коуров, 2005. - 124 с. - Текст : непосредственный.Интеллектуальные информационные системы : конспект лекций / В.З. Ковалев, А.С. Татевосян, А.А. Татевосян, 2005. - 99 с. - Текст : непосредственный.Дулесов В.А. Интеллектуальные информационные системы : учеб. пособие / В. А. Дулесов, 2006. - 99 с. - Текст : непосредственный.Интеллектуальные информационные системы : Учебник / А. В. Андрейчиков, О. Н. Андрейчикова, 2006. - 423 с. - Текст : непосредственный.Интеллектуальные информационные системы : учеб. пособие / С. И. Плотников, 2005. - 78 с. - Текст : непосредственный.Интеллектуальные информационные системы : учеб. пособие / Е. Гегечкори, О. Б. Малков, 2006. - 91 с. - Текст : непосредственный.Интеллектуальные информационные системы : учеб. пособие / Е. А. Энгель, 2006. - 83 с. - Текст : непосредственный.Абдикеев Н.М. Интеллектуальные информационные системы : учеб. пособие / Н. М. Абдикеев; под общ. ред. К. И. Курбакова, 2003. - 187 с. - Текст : непосредственный.
Показать все результатыЕгоров Н.В. Моделирование структурных элементов проблемно-ориентированной информационно-экспертной системы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / Н. В. Егоров, 1992. - 31 с. - Текст : непосредственный.Родионов П.Е. Методика извлечения знаний в задачах анализа рядов динамики с использованием нейронных сетей : автореф. дис. .. канд. техн. наук : 05.13.17 / П. Е. Родионов, 2003. - 16 с. - Текст : непосредственный.Ополченов А.В. Методы и программные средства создания экспертных систем принятия решений : автореф. дис. .. канд. техн. наук : 05.13.11 / А. В. Ополченов, 2003. - 20 c. - Текст : непосредственный.Логиновский О.В. Интеллектуальные информационные технологии и системы : Учеб. пособие / О. В. Логиновский, В. М. Тарасов, Р. П. Чапцов, 1996. - 53 c. - Текст : непосредственный.Хайтер П.А. Интеллектуальные информационные системы : Учеб.пособие / П.А.Хайтер, 1996. - 227 с. - Текст : непосредственный.Организация информационного обеспечения для поддержки принятия решений на базе технологии гипермедиа / Н.С.Байгарова,Ю.А.Бухштаб,А.А.Воробьев и др., 1997. - 12 с. - Текст : непосредственный.Куликов Г.Г. Интеллектуальные информационные системы : Учеб.пособие / Г. Г. Куликов, Т. В. Брейкин, В. Ю. Арьков, 1999. - 129 с. - Текст : непосредственный.Интеллектуальные информационные системы : Сб. ст. / Науч. ред. В.К.Финн, 1991. - 192 с. - Текст : непосредственный.Любарский Ю.Я. Интеллектуальные информационные системы / Ю.Я.Любарский, 1990. - 227 с. - Текст : непосредственный.Чуканов С.Н. Интеллектуальные информационные системы: системы с нечеткой логикой : Учеб.пособие / С.Н.Чуканов, 2002. - 52 с. - Текст : непосредственный.Круглов В.В. Интеллектуальные информационные системы. Компьютерная поддержка систем нечеткой логики и нечеткого вывода : Учеб. пособие / В.В.Круглов,М.И.Дли, 2002. - 254 с. - Текст : непосредственный.Гаскаров Д.В. Интеллектуальные информационные системы : Учеб. для студентов вузов, обучающихся по спец. "Информационные системы в технике и технологиях" направления подготовки дипломированных специалистов "Информационные системы" / Д.В.Гаскаров, 2003. - 431 с. - Текст : непосредственный.Андрейчиков А.В. Интеллектуальные информационные системы : Учеб. для студентов вузов, обучающихся по спец. "Прикладная информатика в экономике" / А.В.Андрейчиков,О.Н.Андрейчикова, 2004. - 423 с. - Текст : непосредственный.Семенов Н.А. Интеллектуальные информационные системы : Учеб. пособие / Н.А.Семенов, 2004. - 99 с. - Текст : непосредственный.Интеллектуальные информационные системы : текст лекций / А.О. Клименко, 2004. - 69 с. - Текст : непосредственный.Системы искусственного интеллекта и принятия решений : учеб. пособие для студентов вузов, обучающихся по направлению "Информатика и вычислительная техника" / Т.М. Леденева, С.Л. Подвальный, В.И. Васильев, 2005. - 206 с. - Текст : непосредственный.Интеллектуальные информационные системы. Представление знаний и логический вывод : Учеб. пособие / А.А. Короткин, 2004. - 76 с. - Текст : непосредственный.Методы и программные средства поиска решения на основе аналогий в интеллектуальных системах поддержки принятия решений : автореф. дис. .. канд. техн. наук : 05.13.11 / П. Р. Варшавский, 2005. - 20 c. - Текст : непосредственный.Методы и средства анализа данных в системах поддержки принятия решений : автореф. дис. .. канд. техн. наук : 05.25.05 / Н. С. Ананьев, 2005. - 27 c. - Текст : непосредственный.Коуров В.Г. Интеллектуальные информационные системы и программирование на языке "Prolog" : учеб. пособие / В.Г. Коуров, 2005. - 124 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽