Новые поступления (книга в стадии обработки)     Поспелов, Д. А.     Логические методы анализа и синтеза схем [Текст] : научное издание / Д. А. Поспелов. - 2-е изд., перераб. и доп. - Л. : Энергия, 1968. - 328 с. : черт. - Библиогр.: с. 324-328. - 0.96 р. ГРНТИ 50.03 УДК 62-504.5+681.142.1.01 Рубрики: Автоматика--Теория автоматического управления Кл.слова (ненормированные): АЛГЕБРА ЛОГИКИ -- ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ -- ЛОГИЧЕСКИЕ СЕТИ -- ТЕОРЕМА АНАЛИЗА -- СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ -- БУЛЕВЫ ФУНКЦИИ -- АНАЛИЗ СХЕМ -- РЕКУРРЕНТНЫЕ БУЛЕВЫ ФУНКЦИИ -- МНОГОЗНАЧНАЯ ЛОГИКА -- ТРЕХЗНАЧНАЯ ЛОГИКА Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А.

Новые поступления (книга в стадии обработки)         Алгебраическая теория автоматов, языков и полугрупп [Текст] / ред. М. А. Арбиб ; пер. с англ. Н. И. Осетинского ; науч. ред. Н. П. Бусленко = Algebraic theory of machines, languages and semigroups / M. A. Arbib : монография. - М. : Статистика, 1975. - 335 с. : ил. ; 22 см. - Библиогр. в конце глав. - 1.55 р. ГРНТИ 50.43 УДК 62-50 Рубрики: Автоматика--Системы автоматического управления Кл.слова (ненормированные): АЛГЕБРАИЧЕСКАЯ ТЕОРИЯ АВТОМАТОВ -- ТЕОРЕМА ДЕКОМПОЗИЦИИ -- СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ -- ГОМОМОРФИЗМЫ Аннотация: Монография посвящена рассмотрению математического аппарата количественного анализа АСУ. Конечные автоматы благодаря их простой реализуемости на ЭВМ имеют значительные преимущества по сравнению с другими моделями. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Арбиб, М. А. Осетинский, Н. И. Бусленко, Н. П.

Новые поступления (книга в стадии обработки)     Горбатов, Вячеслав Афанасьевич.     Основы дискретной математики [Текст] : учеб. пособие для ВУЗов / В. А. Горбатов. - Москва : Высшая школа, 1986. - 311 с. - Библиогр.: с. 304-305. - Предм. указ.: с. 306. - 01.00 р. ББК 22.144я73 Рубрики: Математика--Алгебра Кл.слова (ненормированные): аксиоматика теории множеств -- алгебра отношений -- бинарные отношения -- взвешенные графы -- вложение графов -- дискретная математика -- дифференцирование графов -- дифференцирование мографов -- исчисление высказываний -- исчисление предикатов -- класс ДНФ -- кодирование внутренних состояний -- комбинаторные алгоритмы -- логика высказываний -- логические схемы -- математическая логика -- матричное задание -- минимизация булевых функций -- минимизация представления множеств -- множество -- модели -- моделирование автоматных систем -- общая алгебра -- операции -- операционные автоматы -- паросочетания -- покрытия -- полнота -- пособия для вузов -- прикладная теория алгоритмов -- проектирование автоматов -- раскраска графов -- решетки -- связность графа -- сети петри -- синтез логических схем -- структурное проектирование автоматов -- теория графов -- теория мографов -- теория формальных грамматик -- устойчивость -- формальные грамматики -- фундаментальные алгебры -- функции -- характеризационный анализ -- характеризация раскраски -- характеризация реберности -- цикломатика -- частичное упорядочение мографа Аннотация: В книге излагаются основы алгебраических систем, математической логики, теории графов и мографов, теории формальных грамматик и автоматов, прикладной теории алгоритмов и характеризации моделей, которые в совокупности образуют единый методически взаимосвязанный курс "Дискретная математика". Держатели документа: Муниципальное учреждение культуры (Централизованная библиотечная система города Саратова)