Алгоритмы синтеза дискретных автоматов

Алгоритмы синтеза дискретных автоматов

Bibliographic Details
Main Author:	Закревский, Аркадий Дмитриевич 1928-2014
Format:	eBook
Language:	Russian
Published:	М. Наука. Физматлит 1971
Series:	Теоретические основы технической кибернетики
Subjects:	дискретные автоматы. автоматизация программирования. алгоритмические языки. ЛЯПАС, язык программирования логический методика программирования. синтез дискретных автоматов. системы логических уравнений. минимизация булевых функций. булевы матрицы. булевы векторы. операнды ЛЯПАС. линейные программы. циклические программы. синтаксис ЛЯПАС. абстрактная модель вычислительной машины. программирование иерархическое. операции над булевыми алгебрами. операции над троичными матрицами. канонизация булевых матриц. троичные матрицы. троичные матрицы вырожденные. булевы функции. Квайна матрица простая. дизъюнктивные нормальные формы. метод конкурирующих интервалов. эффективность программ минимизации. задачи теории графов. функциональные модели автоматов. структурные модели автоматов. синтез комбинационных автоматов. синтез асинхронных автоматов. автоматическое программирование логических задач.
Online Access:	https://www.lib.tsu.ru/limit/2022/000070257/000070257.pdf Перейти в каталог НБ ТГУ

Internet

https://www.lib.tsu.ru/limit/2022/000070257/000070257.pdf
Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-084873 1-085496к 1-914998
	Available Place a Hold
	Available Place a Hold
	Available Place a Hold