Подколзин А.С.

Формализация понятия задачи при разработке систем автоматического решения задач часто приводит к необходимости использования логического языка для представления обрабатываемой информации, а также связанной с этим языком формальной дедуктивной системы, определяющей допустимые процессы логического вывода. В пособии возникающие здесь математические модели иллюстрируются на двух типичных примерах - яз...

В работе дано краткое описание системы приемов, использованных в компьютерном решателе математических задач для решения задач по тригонометрии и дифференциальному исчислению.

Учебное пособие написано на основе специального курса «Теория интеллектуальных систем», читаемого на кафедре математической теории интеллектуальных систем механико-математического факультета МГУ им. М.В. Ломоносова. В книге дается представление об основных разделах теории интеллектуальных систем, таких как распознавание образов, теория баз данных и математическая логика. Для студентов, аспиранто...

Рассматриваются методики отбора почвенных образцов для одновременной оценки ландшафтно-агрохимического, эколого-токсикологического, гербологического и радиологического состояния почв сельскохозяйственных угодий. Изложены организация и порядок проведения полевых работ по комплексному обследованию почв сельскохозяйственных предприятий, разработки паспортов полей (участков), составления районных и об...

Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов.Для специалистов, работающих в области математиче...

Виктор Антонович Садовничий, Александр Сергеевич Подколзин Качество: Хорошее, 300 дпи, текстовой слой, цветная обложка В последние годы большое распространение, как одна из форм активизации научного творчества студентов, получили студенческие олимпиады и конкурсы по математике. Предлагаемые на таких олимпиадах задачи носят нестандартный характер и требуют от студента не только прочных знаний но...

Излагаются основные результаты по теории однородных структур, полученные советскими и зарубежными авторами за последние 30 лет. В первой части изучаются автономные однородные структуры. Объектом исследования являются процессы, происходящие внутри этих структур, т.е. поведение их. Во второй части изучаются однородные структуры со входами и выходами, для которых наряду с их внутренними процессами из...