Вячеслав Горбатов - все книги по циклам и сериям | Книги по порядку

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

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

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

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

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