Перейти к содержимому 
База данных: ЭБС Znanium
Страница 1, Результатов: 2
Отмеченные записи: 0
1.
Подробнее
Подколзин, А. С.
Компьютерное моделирование логических процессов. Архитектура и языки решателя задач [Текст] : Практическое пособие / А.С. Подколзин. - 1. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008. - 1024 с.. - ISBN 978-5-9221-1045-7
ББК 32.81
Рубрики: Информатика. Вычислительная техника
Аннотация: В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"» обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык объединяющий в себе два логических уровня — предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике.
Подколзин, А. С.
Компьютерное моделирование логических процессов. Архитектура и языки решателя задач [Текст] : Практическое пособие / А.С. Подколзин. - 1. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2008. - 1024 с.. - ISBN 978-5-9221-1045-7
| УДК |
Рубрики: Информатика. Вычислительная техника
Аннотация: В книге представлено описание разработанного автором пакета прикладных программ «Логическая система "Искра"» обобщающего многолетний опыт компьютерного моделирования логических процессов в результате которого возникла развитая технология обучения «решателя». В основном моделировались процессы решения математических задач. Было проработано около 9000 задач из разных разделов математики. Создана база приемов решателя задач насчитывающая в настоящее время около 25 тыс. приемов. Фактически возникла мощная система символьной компьютерной математики нового типа позволяющая не только получать ответы но и прослеживать ход решения по шагам. Для обучения «решателя» был развит новый язык объединяющий в себе два логических уровня — предметной области и принятия решений что позволило существенно ускорить обучение решателя и создало предпосылки для исследований по автоматическому синтезу приемов. Прилагается адрес в сети программы «решателя». Студентам аспирантам и специалистам по искусственному интеллекту программированию и компьютерной математике.
2.
Подробнее
Редькин, Н. П.
Дискретная математика [Текст] : Учебник / Н. П. Редькин. - 1. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2009. - 264 с.. - ISBN 978-5-9221-1093-8
ББК 22.18
Рубрики: Физико-математические науки
Аннотация: В учебнике представлен основной материал обязательного курса «Дискретная математика» читающегося на механико-математическом факультете МГУ с 1998 г. В сжатой форме он содержит для первона- чального ознакомления ряд важных разделов дискретной математики: комбинаторный анализ графы и сети важнейшие классы управляющих систем тесты алгоритмы кодирование дискретные экстремальные задачи. К каждой главе приведены задачи самостоятельное решение которых будет способствовать более глубокому усвоению теоретиче- ского материала и лучшей подготовке к экзамену. Для студентов и аспирантов. Рекомендовано УМО по классическому университетскому образо- ванию в качестве учебника для студентов высших учебных заведе- ний обучающихся по направлениям подготовки 010100 «Математика» 010200 «Математика. Прикладная математика» 011000 «Механика. Прикладная математика».
Редькин, Н. П.
Дискретная математика [Текст] : Учебник / Н. П. Редькин. - 1. - Москва : Издательская фирма "Физико-математическая литература" (ФИЗМАТЛИТ), 2009. - 264 с.. - ISBN 978-5-9221-1093-8
| УДК |
Рубрики: Физико-математические науки
Аннотация: В учебнике представлен основной материал обязательного курса «Дискретная математика» читающегося на механико-математическом факультете МГУ с 1998 г. В сжатой форме он содержит для первона- чального ознакомления ряд важных разделов дискретной математики: комбинаторный анализ графы и сети важнейшие классы управляющих систем тесты алгоритмы кодирование дискретные экстремальные задачи. К каждой главе приведены задачи самостоятельное решение которых будет способствовать более глубокому усвоению теоретиче- ского материала и лучшей подготовке к экзамену. Для студентов и аспирантов. Рекомендовано УМО по классическому университетскому образо- ванию в качестве учебника для студентов высших учебных заведе- ний обучающихся по направлениям подготовки 010100 «Математика» 010200 «Математика. Прикладная математика» 011000 «Механика. Прикладная математика».
Страница 1, Результатов: 2