Логическое моделирование

Логическое моделирование

Bibliografski detalji
Glavni autor:	Попов С. В. Сергей Викторович
Sažetak:	Логическое моделирование представляет собой новое направление в разработке моделей предметных областей с большим числом отношений между объектами. Подобные задачи типичны для искусственного интеллекта, когда решение принимается с использованием длинных последовательностей логических правил. Логическое моделирование заменяет программирование в обычном смысле на декларативное описание предметной области с последующей формулировкой задачи в терминах, близких к содержательным. Затем решение ищется автоматически с использованием формальных логических преобразований. Тем самым исключаются такие этапы решения задач, как алгоритмизация, программирование и отладка программ. Приводится теоретический базис и описывается практическая реализация системы логического моделирования. Разбирается большое число примеров. Для студентов, аспирантов и специалистов, желающих познакомиться с логическими методами решения прикладных задач.
Jezik:	ruski
Izdano:	Москва, Тровант, 2006
Teme:	логическое моделирование переменные формулы связки пропорциональные задачи геометрическая интерпретация матрицы кодирование задачи первого порядка структурированные задачи
Format:	Knjiga
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=113133

Slični predmeti

Текстовые задачи повышенного уровня сложности для младших школьников. Алгоритмы и рекомендации для решения
od: Вендина А. А.
Izdano: (Ставрополь, СГПИ, 2020)

Математическая логика: курс лекций; учебное пособие
od: Тимофеева И. Л. Ирина Леонидовна
Izdano: (Москва, Университет, 2007)

Сборник задач по дифференциальным уравнениям
od: Филиппов А. Ф. Алексей Федорович
Izdano: (Москва, Регулярная и хаотическая динамика, 2004)

Дифференциальные уравнения: учебное пособие
od: Волков Е. А.
Izdano: (Москва, [Б. и.], 1977)

Сборник задач по дифференциальным уравнениям
od: Филиппов А. Ф. Алексей Федорович
Izdano: (Москва, Регулярная и хаотическая динамика, 2003)

Логическое программирование в занимательных задачах
od: Касаткин В. Н. Валентин Николаевич
Izdano: (Киев, Технiка, 1980)

Прикладная логика
od: Попов С. В. Сергей Викторович
Izdano: (Москва, Физматлит, 2011)

Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
od: Петрова Л. П.
Izdano: (Воронеж, ВГУ, 2015)

Моделирование процессов средствами дифференциальных уравнений
od: Нахман А. Д.
Izdano: (Тамбов, ТГТУ, 2019)

Дифференциальные уравнения учебное пособие
od: Иткина Н. Б.
Izdano: (Новосибирск, НГТУ, 2023)

Сборник задач по дифференциальным уравнениям: [учебное пособие]/ А. Ф. Филиппов: [учебное пособие]
od: Филиппов А. Ф. Алексей Федорович
Izdano: (Москва, Изд-во ЛКИ, 2008)

Т. III; Интегральное исчисление
Izdano: (1958)

Уравнения математической физики учебное пособие
od: Прокудин Д. А.
Izdano: (Кемерово, КемГУ, 2014)

Характеристики пропорционального счётчика, заполненного CF4 с добавками Xe; Приборы и техника эксперимента; № 1
Izdano: (2003)

Дискретная математика для программистов: учебное пособие
od: Новиков Ф. А. Федор Александрович
Izdano: (СПб., Питер, 2006)

Дискретная математика для программистов: учебное пособие
od: Новиков Ф. А. Федор Александрович
Izdano: (СПб., Питер, 2008)

Дифференциальные уравнения в естественно-научных и технических задачах учебное пособие для студентов бакалавриата, обучающихся по направлению 01.03.04 прикладная математика, профиль «математическое моделирование в экономике и технике»
od: Сорока М. С.
Izdano: (Воронеж, ВГПУ, 2022)

Сборник задач по аналитической геометрии: учебное пособие
od: Клетеник Д. В. Давид Викторович
Izdano: (Москва, Государственное издательство технико-теоретической литературы, 1955)

Применение комплексных диаграмм и теории функций комплексной переменной к теории упругости
od: Колосов Г. В. Гурий Васильевич
Izdano: (Москва, ЛЕНАНД, 2016)

Аналитический метод решения уравнений математической физики: учебное пособие
od: Якимов А. С. Анатолий Степанович
Izdano: (Томск, Изд-во ТГУ, 2010)

Математический анализ учебное пособие
od: Волкова С. Н.
Izdano: (Курск, Курский ГАУ, 2015)

Основы математической логики учебное пособие
od: Репницкий В. Б.
Izdano: (Екатеринбург, ЕАСИ, 2015)

Квадратичные формы и матрицы: учебное пособие для вузов
od: Ефимов Н. В. Николай Владимирович
Izdano: (Москва, Физматгиз, 1963)

Краткий курс аналитической геометрии: учебник для вузов
od: Ефимов Н. В. Николай Владимирович
Izdano: (Москва, Физматлит, 2006)

Вып. 155 : Прикладное программное обеспечение и моделирование суперсистем; Вопросы кибернетики
Izdano: (1991)

Сборник задач по аналитической геометрии: учебное пособие
od: Клетеник Д. В. Давид Викторович
Izdano: (Санкт-Петербург, Лань, 2010)

Геометрия: учебник
od: Кузютин В. Ф. Вячеслав Федорович
Izdano: (СПб., Лань, 2003)

Сборник задач по математической физике: учебное пособие
od: Будак Б. М. Борис Михайлович
Izdano: (Москва, Физматлит, 2004)

Аддитивные схемы для задач математической физики
od: Самарский А. А. Александр Андреевич
Izdano: (Москва, Наука, 2001)

Логическое управление: Методы аппаратной и программной реализации алгоритмов
od: Шалыто А. А. Анатолий Абрамович
Izdano: (СПб., Наука, 2000)

Пособие к решению задач по высшей математике
od: Гусак А. А.
Izdano: (Минск, Изд-во ВГУ, 1973)

Дискретная математика для магистров и бакалавров: учебник
od: Новиков Ф. А. Федор Александрович
Izdano: (Санкт-Петербург, Питер, 2011)

Дискретная математика для бакалавров и магистров: учебник
od: Новиков Ф. А. Федор Александрович
Izdano: (Санкт-Петербург, Питер, 2013)

Дискретная математика для бакалавров и магистров: учебник
od: Новиков Ф. А. Федор Александрович
Izdano: (Санкт-Петербург, Питер, 2014)

Курс дифференциальных уравнений и вариационного исчисления: учебное пособие
od: Романко В. К. Василий Кириллович
Izdano: (Москва, Лаборатория Базовых Знаний, 2000)

Курс вариационного исчисления: учебник
od: Гюнтер Н. М. Николай Максимович
Izdano: (Санкт-Петербург, Лань, 2009)

Дифференциальные уравнения в упражнениях и задачах учебное пособие
od: Асхабов С. Н.
Izdano: (Грозный, ЧГПУ, 2018)

Сборник задач по математике
od: Землянко А. В.
Izdano: (Воронеж, ВГАС, 2023)

Линейная алгебра и аналитическая геометрия: тестовые задания по высшей математике
od: Кабанова Л. И. Людмила Игоревна
Izdano: (Томск, Изд-во ТПУ, 2005)

Статистическое моделирование: учебное пособие
od: Ермаков С. М. Сергей Михайлович
Izdano: (Москва, Наука, 1982)