http://naulib.ru/sale/product-547811/

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов. Основу пособия составляют лекции, которые читаются студентам второго курса факультета компьютерных наук Омского государственного университета. Излагаются классическая логика, метод резолюций, формальные исчисления, формальная арифметика, принципы логического программирования, нечеткая логика и нечеткая арифметика, модальные, временные и алгоритмические логики. Приводятся семантика Крипке, аксиомы алгоритмической логики Хоара, логики Васильева и Лукасевича. Даются представления о частично рекурсивных функциях, машине Тьюринга-Поста, нормальных алгорифмах Маркова и о сложности алгоритмов. Для студентов, обучающихся по специальностям "Компьютерная безопасность"и "Вычислительные машины, комплексы, системы и сети".

http://naulib.ru/

http://naulib.ru/sale/product-556966/

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

http://naulib.ru/