Посвящена одному из активно развивающихся направлений современной математической физики - теории интегрируемых систем классической механики. Подробно изложены как результаты и методы прошлого столетия, так и результаты, полученные в последние тридцать лет с помощью метода обратной задачи рассеяния. Детально рассмотрены многочастичные системы типа цепочки Тоды. Для физиков-теоретиков и специалистов...
ISBN: 5-93972-118-4
Издательство:
НИЦ РХД
Дата выхода: январь 2002
В настоящей книге систематически рассматривается главный продукт искусственного интеллекта - интеллектуальные системы. Интеллектуальные системы, представленные в книге, реализуют оригинальный метод анализа данных и машинного обучения - ДСМ-метод автоматического порождения гипотез. Рассмотрены применения метода в интеллектуальных системах для наук о жизни и социальном поведении. Основной идеей...
ISBN: 978-5-396-00374-3
Издательство:
Красанд
Дата выхода: январь 2011
Во второй части учебного пособия излагаются основные знания об алгебре логических операций, а также о формальных теориях - исчисление высказываний и исчисление предикатов. Книга предназначена для студентов первых курсов университетов, обучающихся по специальности ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА и ФУНДАМЕНТАЛЬНЫЕ ИНФОРМАТИКА И ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ; разработана на основе курса ОСНОВЫ...
ISBN: 978-5-288-05431-0
Издательство:
СПбГУ
Дата выхода: январь 2013
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ.
ISBN: 5-900916-66-9
Издательство:
Негосударственное образовательное учреждение Московский Центр непрерывного математического образован
Дата выхода: декабрь 1999
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о...
ISBN: 978-5-4439-0014-8
Издательство:
МЦНМО
Дата выхода: январь 2012
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и...
ISBN: 978-5-4439-0944-8
Издательство:
МЦНМО
Дата выхода: февраль 2017
