Вестник БГУ. Математика, информатика
Библиографическое описание:
, Описание цифровых схем с помощью λ-выражений // Вестник БГУ. Математика, информатика. - 2016. №3. . - С. 72-79.
Заглавие:
Описание цифровых схем с помощью λ-выражений
Финансирование:
Коды:
Аннотация:
В статье предлагается методика описания цифровых схем с использованием математического аппарата λ-исчисления. Определяются основные правила выполнения описаний схем. Выделяются базовые элементы и их описания. На основе описаний базовых элементов схем строится λ-выражение, позволяющие описывать схемы различных уровней сложности.
В работе разбираются примеры описания комбинационных и последовательностных цифровых схем с помощью λ-выражений, которые иерархически можно отнести к второму уровню сложности. Приводится доказательство правильности полученных описаний с помощью таблиц истинности и операции λ-редукции выражений.
В работе разбираются примеры описания комбинационных и последовательностных цифровых схем с помощью λ-выражений, которые иерархически можно отнести к второму уровню сложности. Приводится доказательство правильности полученных описаний с помощью таблиц истинности и операции λ-редукции выражений.
Ключевые слова:
цифровые схемы, λ-выражения, описание схем.
Список литературы:
1. Вольфенгаген В. Э., Яцук В. Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний / Под ред. проф. Л. А. Майбороды. — М.: Мин-во Обороны СССР, 1987. —
256 с.
2. Зубчук В. И., Сигорский В. П., Шкуро А. Н. Справочник по цифровой схемотехнике. — К.: Тэхника, 1990. — 448 с.
3. Мальцев А. И. Алгоритмы и рекурсивные функции. — 2-е изд. — М.: Наука., гл. ред. физ.-мат. лит., 1986. — 368 с.
256 с.
2. Зубчук В. И., Сигорский В. П., Шкуро А. Н. Справочник по цифровой схемотехнике. — К.: Тэхника, 1990. — 448 с.
3. Мальцев А. И. Алгоритмы и рекурсивные функции. — 2-е изд. — М.: Наука., гл. ред. физ.-мат. лит., 1986. — 368 с.
Статья.pdf