Вячеслав Горбатов – лучшие книги

Рассмотрены основные принципы построения САПР систем логического управления (СЛУ), архитектурные вопросы, влияние современных тенденций развития вычислительной техники на организацию САПР. Большое внимание в монографии уделено описанию САПР "Управление", предназначенной для проектирования СЛУ на произвольных логических структурах, показано ее применение для различных практических задач.
Для инженеров-проектировщиков систем управления, разработчиков САПР.

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

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