Новосибирский государственный технический университет. Математика.

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

Задачи с параметрами из ЕГЭ. В учебном пособии приведены типовые примеры задач с подробными решениями графическим методом и методом подвижных границ и областей.

Настоящее учебное пособие подготовлено для студентов очного и за- очного отделений технических направлений и специальностей, изучающих теориювероятностей иматематическуюстатистикув обычном объеме.При его написаниибыли использованы методические разработки и другие мате- риалы, ранееизданные кафедрой высшейматематики НГТУ.Эти материалы включены в текст пособия без ссылок, за что мы приносим свои извинения. Все замечанияпо содержанию данной работы просим передавать на кафед- ру высшей математики

В книге излагаются классические исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей, теории алгоритмов, а также неклассических логик.