Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов

Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов

Bibliographic Details
Main Author:	Закревский, Аркадий Дмитриевич 1928-2014
Format:	Book
Language:	Russian
Published:	Томск Издательство Томского университета 1966
Subjects:	ЛЯПАС, язык программирования логический автоматы дискретные, теория синтез автоматов дискретных булевы пространства цифровые вычислительные машины универсальные программирование логических задач представление информации минимизация булевых функций автоматизированные системы экспериментально-статистических исследований синтез алгоритмов автоматический оптимизация алгоритмов динамическая метапрограммы алгоритмы приближенные системы логических уравнений, решение ЛЯПАС-программы

Similar Items

Алгоритмы синтеза дискретных автоматов
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (1971)

Практические алгоритмы минимизации булевых функций в классе ДНФ диссертация на соискание ученой степени кандидата физико-математических наук
by: Новоселов, В. Г.
Published: (1967)

Программирующая система ЛЯПАС диссертация на соискание ученой степени кандидата физико-математических наук
by: Товштейн, Марк Яковлевич
Published: (1969)

Разработка и исследование алгоритмов решения некоторых логико-комбинаторных задач логического синтеза и системного программирования диссертация на соискание ученой степени кандидата технических наук
by: Быкова, Светлана Васильевна
Published: (1975)

Минимизация систем булевых функций и распознавание образов диссертация на соискание ученой степени кандидата физико-математических наук
by: Торопов, Николай Романович
Published: (1969)

Тезисы докладов к предстоящему Всесоюзному коллоквиуму по автоматизации синтеза дискретных вычислительных устройств, 20 -25 сентября 1966 г.
Published: (1966)

Анализ логических сетей и техника булевых вычислений
by: Уткин, Анатолий Александрович
Published: (1979)

Разработка операционной системы на языке ЛЯПАС
by: Стефанцов, Дмитрий Александрович

Модульный транслятор с языка ЛЯПАС

Автоматизация синтеза дискретных автоматов [сборник статей]
Published: (1966)

Система управления библиотеками для ЛЯПАСа
by: Сафонов, Вадим Олегович

О доверенном программно-аппаратном обеспечении на базе языка программирования ЛЯПАС
by: Агибалов, Геннадий Петрович 1939-2020

Обеспечение сокращения аппаратурных затрат в схемах логического управления со свойствами самопроверяемости, самотестируемости и отказоустойчивости диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Андреева, Валентина Валерьевна
Published: (2009)

Модификация ЛЯПАСа для разработки ОС
by: Гречнев, Сергей Юрьевич

Операционная семантика ЛЯПАСа
by: Жуковская, Александра Олеговна

Алгоритмы решения логико-комбинаторных задач сборник научных трудов
Published: (1980)

Логические основы проектирования дискретных устройств
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (2007)

Программная реализация операций над большими числами в языке ЛЯПАС-T
by: Грибанов, Андрей Сергеевич

Работа со стеком в ЛЯПАСе
by: Недяк, Мария Сергеевна

Логический язык для представления алгоритмов синтеза релейных устройств [сборник статей
Published: (1966)

Комплексы в ЛЯПАСе
by: Сафонов, Вадим Олегович

К возрождению русского языка программирования
by: Агибалов, Геннадий Петрович 1939-2020

О собственном программном обеспечении и учебно-тренировочных средствах компьютерной безопасности
by: Агибалов, Геннадий Петрович 1939-2020

Синтез цифровых автоматов
by: Глушков, Виктор Михайлович 1923-1982
Published: (1962)

Итоги исследований по кибернетике к 50-летию Советской власти труды Межвузовской научной конференции, посвященной пятидесятилетию Великой Октябрьской социалистической революции
Published: (1968)

Обеспечение работоспособности систем с произвольным доступом и самопроверяемости логических схем Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Седов, Юрий Владимирович
Published: (2004)

О работах по созданию доверенного программно-аппаратного обеспечения для синтеза безопасных компьютерных систем логического управления на базе русского языка программирования
by: Агибалов, Геннадий Петрович 1939-2020

Интервалы индексов в ЛЯПАСе
by: Песняк, Андрей Алексеевич

Алгоритмы минимизации числа состояний дискретного автомата диссертация на соискание ученой степени кандидата физико-математических наук
by: Поттосин, Юрий Васильевич
Published: (1969)

AES in LYaPAS
by: Broslavskiy, O. V.

Синтез микропрограммных устройств управления
by: Баркалов, Александр Александрович
Published: (1997)

Дискретная математика учебное пособие
by: Матросова, Анжела Юрьевна
Published: (2007)

Функциональная верификация VHDL-описаний синхронных цифровых устройств
by: Бибило, Петр Николаевич
Published: (2020)

Основы теории дискретных логических и вычислительных устройств
by: Шоломов Л. А.
Published: (2022)

Практические алгоритмы анализа и диагностики дискретных автоматов диссертация на соискание ученой степени кандидата физико-математических наук
by: Уткин, Анатолий Александрович
Published: (1968)

Дискретная математика для инженера
by: Кузнецов, Олег Петрович
Published: (2009)

Дискретная математика для инженера
by: Кузнецов, Олег Петрович
Published: (2004)

Дискретная математика для инженера
by: Кузнецов, Олег Петрович
Published: (2014)

Вычислительная техника, автоматика, теория информации
Published: (1963)

Вычислительная техника. Автоматика. Теория информации [сборник статей]
Published: (1964)