Нехудожественная литература

Логические доказательства, Сергей Попов und Наталья Брошкова

Скачать книгу "Логические доказательства, Сергей Попов und Наталья Брошкова"
Страниц: 464
Год издания: 2014
Язык: Русский
Исследуются секвенциальные пропозициональные выводы. Для этого вводится оригинальный механизм диаграмм выводов, представляющие собой нагруженные графы произвольной структуры, и описывающие классы выво ...

Нестандартная достижимость на ориентированных графах, Владимир Скороходов und Яков Ерусалимский

Скачать книгу "Нестандартная достижимость на ориентированных графах, Владимир Скороходов und Яков Ерусалимский"
Страниц: 188
Год издания: 2011
Язык: Русский
Настоящая монография посвящена, вопросам нестандартной достижимости и ее аналогов на ориентированных графах. Нестандартная достижимость предполагает, что допустимыми являются не все возможные пути на ...

Введение в теорию экстремальных задач, Сергей Дзюба und Александр Афанасьев

Скачать книгу "Введение в теорию экстремальных задач, Сергей Дзюба und Александр Афанасьев"
Страниц: 124
Год издания: 2011
Язык: Русский
Книга состоит из трех глав. Первая глава посвящена изложению математических основ теории экстремальных задач. Во второй главе приводятся методы математического программирования, основанные на общем пр ...

RKDG-метод и его применение, Светлана Токарева

Скачать книгу "RKDG-метод и его применение, Светлана Токарева"
Страниц: 140
Год издания: 2011
Язык: Русский
Работа посвящена изучению и развитию разрывного метода Галеркина (RKDG-метода), который является обобщением метода конечных объемов на случай кусочно-полиномиальной пространственной аппроксимации реше ...

3D-МОДЕЛИРОВАНИЕ, Андрей Кононыхин

Скачать книгу "3D-МОДЕЛИРОВАНИЕ, Андрей Кононыхин"
Страниц: 176
Год издания: 2011
Язык: Русский
Настоящая работа посвящена решению задачи моделирования (нахождения аналитического описания), визуализации (отображения на дисплее) и анализа (определения геометрических характеристик: объёма, площади ...
Страницы: 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884