Логическое моделирование
| Prif Awdur: | |
|---|---|
| Crynodeb: | Логическое моделирование представляет собой новое направление в разработке моделей предметных областей с большим числом отношений между объектами. Подобные задачи типичны для искусственного интеллекта, когда решение принимается с использованием длинных последовательностей логических правил. Логическое моделирование заменяет программирование в обычном смысле на декларативное описание предметной области с последующей формулировкой задачи в терминах, близких к содержательным. Затем решение ищется автоматически с использованием формальных логических преобразований. Тем самым исключаются такие этапы решения задач, как алгоритмизация, программирование и отладка программ. Приводится теоретический базис и описывается практическая реализация системы логического моделирования. Разбирается большое число примеров. Для студентов, аспирантов и специалистов, желающих познакомиться с логическими методами решения прикладных задач. |
| Iaith: | Rwseg |
| Cyhoeddwyd: |
Москва, Тровант, 2006
|
| Pynciau: | |
| Fformat: | Llyfr |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=113133 |
Eitemau Tebyg
Математическая логика: курс лекций; учебное пособие
gan: Тимофеева И. Л. Ирина Леонидовна
Cyhoeddwyd: (Москва, Университет, 2007)
gan: Тимофеева И. Л. Ирина Леонидовна
Cyhoeddwyd: (Москва, Университет, 2007)
Дифференциальные уравнения: учебное пособие
gan: Волков Е. А.
Cyhoeddwyd: (Москва, [Б. и.], 1977)
gan: Волков Е. А.
Cyhoeddwyd: (Москва, [Б. и.], 1977)
Сборник задач по дифференциальным уравнениям
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Регулярная и хаотическая динамика, 2004)
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Регулярная и хаотическая динамика, 2004)
Логическое программирование в занимательных задачах
gan: Касаткин В. Н. Валентин Николаевич
Cyhoeddwyd: (Киев, Технiка, 1980)
gan: Касаткин В. Н. Валентин Николаевич
Cyhoeddwyd: (Киев, Технiка, 1980)
Сборник задач по дифференциальным уравнениям
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Регулярная и хаотическая динамика, 2003)
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Регулярная и хаотическая динамика, 2003)
Математическая логика. Логика высказываний. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
gan: Петрова Л. П.
Cyhoeddwyd: (Воронеж, ВГУ, 2015)
gan: Петрова Л. П.
Cyhoeddwyd: (Воронеж, ВГУ, 2015)
Прикладная логика
gan: Попов С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Физматлит, 2011)
gan: Попов С. В. Сергей Викторович
Cyhoeddwyd: (Москва, Физматлит, 2011)
Моделирование процессов средствами дифференциальных уравнений
gan: Нахман А. Д.
Cyhoeddwyd: (Тамбов, ТГТУ, 2019)
gan: Нахман А. Д.
Cyhoeddwyd: (Тамбов, ТГТУ, 2019)
Сборник задач по дифференциальным уравнениям: [учебное пособие]/ А. Ф. Филиппов: [учебное пособие]
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Изд-во ЛКИ, 2008)
gan: Филиппов А. Ф. Алексей Федорович
Cyhoeddwyd: (Москва, Изд-во ЛКИ, 2008)
Характеристики пропорционального счётчика, заполненного CF4 с добавками Xe; Приборы и техника эксперимента; № 1
Cyhoeddwyd: (2003)
Cyhoeddwyd: (2003)
Дифференциальные уравнения учебное пособие
gan: Иткина Н. Б.
Cyhoeddwyd: (Новосибирск, НГТУ, 2023)
gan: Иткина Н. Б.
Cyhoeddwyd: (Новосибирск, НГТУ, 2023)
Дискретная математика для программистов: учебное пособие
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (СПб., Питер, 2006)
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (СПб., Питер, 2006)
Дискретная математика для программистов: учебное пособие
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (СПб., Питер, 2008)
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (СПб., Питер, 2008)
Т. III; Интегральное исчисление
Cyhoeddwyd: (1958)
Cyhoeddwyd: (1958)
Уравнения математической физики учебное пособие
gan: Прокудин Д. А.
Cyhoeddwyd: (Кемерово, КемГУ, 2014)
gan: Прокудин Д. А.
Cyhoeddwyd: (Кемерово, КемГУ, 2014)
Применение комплексных диаграмм и теории функций комплексной переменной к теории упругости
gan: Колосов Г. В. Гурий Васильевич
Cyhoeddwyd: (Москва, ЛЕНАНД, 2016)
gan: Колосов Г. В. Гурий Васильевич
Cyhoeddwyd: (Москва, ЛЕНАНД, 2016)
Дифференциальные уравнения в естественно-научных и технических задачах учебное пособие для студентов бакалавриата, обучающихся по направлению 01.03.04 прикладная математика, профиль «математическое моделирование в экономике и технике»
gan: Сорока М. С.
Cyhoeddwyd: (Воронеж, ВГПУ, 2022)
gan: Сорока М. С.
Cyhoeddwyd: (Воронеж, ВГПУ, 2022)
Вып. 155 : Прикладное программное обеспечение и моделирование суперсистем; Вопросы кибернетики
Cyhoeddwyd: (1991)
Cyhoeddwyd: (1991)
Сборник задач по аналитической геометрии: учебное пособие
gan: Клетеник Д. В. Давид Викторович
Cyhoeddwyd: (Москва, Государственное издательство технико-теоретической литературы, 1955)
gan: Клетеник Д. В. Давид Викторович
Cyhoeddwyd: (Москва, Государственное издательство технико-теоретической литературы, 1955)
Квадратичные формы и матрицы: учебное пособие для вузов
gan: Ефимов Н. В. Николай Владимирович
Cyhoeddwyd: (Москва, Физматгиз, 1963)
gan: Ефимов Н. В. Николай Владимирович
Cyhoeddwyd: (Москва, Физматгиз, 1963)
Логическое управление: Методы аппаратной и программной реализации алгоритмов
gan: Шалыто А. А. Анатолий Абрамович
Cyhoeddwyd: (СПб., Наука, 2000)
gan: Шалыто А. А. Анатолий Абрамович
Cyhoeddwyd: (СПб., Наука, 2000)
Аналитический метод решения уравнений математической физики: учебное пособие
gan: Якимов А. С. Анатолий Степанович
Cyhoeddwyd: (Томск, Изд-во ТГУ, 2010)
gan: Якимов А. С. Анатолий Степанович
Cyhoeddwyd: (Томск, Изд-во ТГУ, 2010)
Основы математической логики учебное пособие
gan: Репницкий В. Б.
Cyhoeddwyd: (Екатеринбург, ЕАСИ, 2015)
gan: Репницкий В. Б.
Cyhoeddwyd: (Екатеринбург, ЕАСИ, 2015)
Математический анализ учебное пособие
gan: Волкова С. Н.
Cyhoeddwyd: (Курск, Курский ГАУ, 2015)
gan: Волкова С. Н.
Cyhoeddwyd: (Курск, Курский ГАУ, 2015)
Дискретная математика для магистров и бакалавров: учебник
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2011)
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2011)
Дискретная математика для бакалавров и магистров: учебник
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2014)
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2014)
Дискретная математика для бакалавров и магистров: учебник
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2013)
gan: Новиков Ф. А. Федор Александрович
Cyhoeddwyd: (Санкт-Петербург, Питер, 2013)
Сборник задач по математике
gan: Землянко А. В.
Cyhoeddwyd: (Воронеж, ВГАС, 2023)
gan: Землянко А. В.
Cyhoeddwyd: (Воронеж, ВГАС, 2023)
Аддитивные схемы для задач математической физики
gan: Самарский А. А. Александр Андреевич
Cyhoeddwyd: (Москва, Наука, 2001)
gan: Самарский А. А. Александр Андреевич
Cyhoeddwyd: (Москва, Наука, 2001)
Сборник задач по математической физике: учебное пособие
gan: Будак Б. М. Борис Михайлович
Cyhoeddwyd: (Москва, Физматлит, 2004)
gan: Будак Б. М. Борис Михайлович
Cyhoeddwyd: (Москва, Физматлит, 2004)
Сборник задач по аналитической геометрии: учебное пособие
gan: Клетеник Д. В. Давид Викторович
Cyhoeddwyd: (Санкт-Петербург, Лань, 2010)
gan: Клетеник Д. В. Давид Викторович
Cyhoeddwyd: (Санкт-Петербург, Лань, 2010)
Краткий курс аналитической геометрии: учебник для вузов
gan: Ефимов Н. В. Николай Владимирович
Cyhoeddwyd: (Москва, Физматлит, 2006)
gan: Ефимов Н. В. Николай Владимирович
Cyhoeddwyd: (Москва, Физматлит, 2006)
Статистическое моделирование: учебное пособие
gan: Ермаков С. М. Сергей Михайлович
Cyhoeddwyd: (Москва, Наука, 1982)
gan: Ермаков С. М. Сергей Михайлович
Cyhoeddwyd: (Москва, Наука, 1982)
Упругое предварительное смещение при пропорциональном изменении сжимающей и сдвигающей сил; Известия вузов. Машиностроение; № 6
gan: Коняхин И. Р. Илья Романович
Cyhoeddwyd: (1968)
gan: Коняхин И. Р. Илья Романович
Cyhoeddwyd: (1968)
Геометрия: учебник
gan: Кузютин В. Ф. Вячеслав Федорович
Cyhoeddwyd: (СПб., Лань, 2003)
gan: Кузютин В. Ф. Вячеслав Федорович
Cyhoeddwyd: (СПб., Лань, 2003)
Методы оптимизации. Линейное программирование учеб. пособие
gan: Алексеев А. Б.
Cyhoeddwyd: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)
gan: Алексеев А. Б.
Cyhoeddwyd: (Санкт-Петербург, СПбГУТ им. М.А. Бонч-Бруевича, 2013)
Пособие к решению задач по высшей математике
gan: Гусак А. А.
Cyhoeddwyd: (Минск, Изд-во ВГУ, 1973)
gan: Гусак А. А.
Cyhoeddwyd: (Минск, Изд-во ВГУ, 1973)
Управленческие решения в экономических системах: учебник
gan: Афоничкин А. И. Александр Иванович
Cyhoeddwyd: (СПб., Питер, 2009)
gan: Афоничкин А. И. Александр Иванович
Cyhoeddwyd: (СПб., Питер, 2009)
Линейная алгебра и аналитическая геометрия: тестовые задания по высшей математике
gan: Кабанова Л. И. Людмила Игоревна
Cyhoeddwyd: (Томск, Изд-во ТПУ, 2005)
gan: Кабанова Л. И. Людмила Игоревна
Cyhoeddwyd: (Томск, Изд-во ТПУ, 2005)
Курс вариационного исчисления: учебник
gan: Гюнтер Н. М. Николай Максимович
Cyhoeddwyd: (Санкт-Петербург, Лань, 2009)
gan: Гюнтер Н. М. Николай Максимович
Cyhoeddwyd: (Санкт-Петербург, Лань, 2009)