Математические основы проектирования цифровых устройств
Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
Подобные документы
Алгебра логики или булева алгебра (по имени английского математика Джона Буля) как математическая основа цифровой электроники и вычислительной техники. Сложные функции алгебры логики. Результаты экспериментального исследования логического элемента.
практическая работа, добавлен 02.08.2013Понятие о графе, способы его задания. Достижимость и обратная достижимость вершин графа. Графовые модели для оптимизации транспортных сетей и потоков, решения задач календарного планирования, задач о назначениях и других задач дискретной оптимизации.
курсовая работа, добавлен 21.12.2011Ознакомление с ключевыми этапами становления математики. Формирование арифметики, геометрии и алгебры. Предпосылки создания системы счисления. Значение вавилонской и египетской цивилизаций в развитии математики. Анализ греческих методов вычислений.
реферат, добавлен 23.05.2016Вавилония и Египет. Древнеегипетская система счисления, геометрия. Греческая математика. Приведение задач к геометрическому виду. Работы Евдокса. Александрийский период. Великие александрийские математики: Эратосфен, Архимед, Гиппарх, Птолемей, Диофант.
реферат, добавлен 06.09.2008Определение линейной алгебры и ее основных свойств. Описание формирования базисов из логических переменных. Характеристика процесса логического синтеза двузначных и многозначных цифровых структур в линейной алгебре. Пример разложения логических функций.
статья, добавлен 29.07.2017- 81. Алгебра логики
Логика – наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений. Джордж Буль - создатель алгебры логики. Основные логические связки. Таблица истинности. Выполнимость формул.
презентация, добавлен 05.03.2012 Построение кодированной таблицы преобразования чисел. Разработка системы переключательных функций и ее раздельной минимизации. Преобразование в функциональный базис. Учет и контроль ограничения числа входов элементов универсального структурного базиса.
контрольная работа, добавлен 22.11.2011Знакомство с особенностями проектирования автономных многомерных систем автоматического управления. Общая характеристика теории синтеза автономных многомерных цифровых систем управления, основанной на структурном представлении обратных операторов.
статья, добавлен 28.01.2020- 84. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Термины математического моделирования. Построение моделей, имитационные системы. Математическое описание систем дискретного управления. Теорема Котельникова-Шеннона. Дискретизация автономных систем. Преобразование непрерывного сигнала в цифровой код.
статья, добавлен 15.11.2018Математические модели объектов управления в обычных и частных производных. Динамические звенья и структурные схемы систем управления. Понятие матрицы передаточной функции. Сущность первой теоремы Ляпунова и определение устойчивости линейных систем.
учебное пособие, добавлен 28.12.2013Математические представления евреев в библейскую эпоху. Изобретение алфавитного принципа обозначения чисел. Особенности позиционной системы счисления в Древней Индии, некоторые имена и книги индийских математиков. Достижения китайских математиков.
реферат, добавлен 16.12.2012Анализ понятия символической логики (математической, теоретической): происхождение, развитие и свойства. Буквенные обозначения для переменных, а также идея построения универсального языка для всей математики. Основы современной логической символики.
доклад, добавлен 27.12.2010Теорема Пифагора - жемчужина античной математики. Не алгебраические и алгебраические доказательства теоремы. Математические трактаты Древнего Китая. Сравнение доказательства Евклида с древнекитайскими или древнеиндийскими. Головоломка "Пифагор".
реферат, добавлен 07.06.2009Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014- 91. Булева алгебра
Предмет математической логики. Калькуляция высказываний высказывание. Сущность эквивалентности конъюнкции. Алгебра логических значений. Выражение логической операции с помощью отрицания и импликации. Применение булевой алгебры в математической логике.
реферат, добавлен 18.09.2012 Минимизация логической функции с помощью карт Карно. Процесс построения таблицы истинности. Основные временные параметры сетевого графика с детерминированным временем. Определение раннего и позднего срока наступления события. Алгоритм Форда-Фалкерсона.
учебное пособие, добавлен 30.11.2013- 93. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 Определение выхода при помощи текущего состояния входов как отличительная особенность комбинационных цифровых схем. Характеристика основных аксиом булевой алгебры. Исследование ключевых правил перемещения инверсии. Методика построения карты Карно.
презентация, добавлен 13.10.2016Примеры решения задач по высшей математике: поиск произведения матриц, построение графика отношений, поиск области определения и множество значений. Составление таблицы истинности логической формулы. Определение вероятности выпадения определенной карты.
контрольная работа, добавлен 18.05.2014Теоретические основы измерения и количественного описания данных. Сущность и характеристика основных видов шкал Стивенса. Представление результатов психологического исследования. Нормальный закон распределения и его применение. Статистические гипотезы.
учебное пособие, добавлен 16.10.2013Свойства теоретико-множественных операций. Способы задания бинарных отношений. Булевы функции одной и двух переменных. Двойственность и равнозначность формул булевой алгебры. Матричный способ задания конечного автомата. Анализ автоматов Мура и Мили.
учебное пособие, добавлен 28.12.2013- 98. Теория графов
Диаграмма Эйлера-Венна для множества. Системы счисления с креном. Построение Эйлеровой цепи в неориентированном графе. Определение минимального остовного дерева в неориентированном нагруженном графе. Понятие булевой функции и методы ее представления.
контрольная работа, добавлен 13.03.2017 Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Подобие цифр у древних людей. Римская система нумерации. Возникновение и особенности написание арабских цифр. Буквенное обозначение чисел у славянских народов. Десятичная и двоичная системы счисления. Таблицы сложения и умножения для однозначных чисел.
творческая работа, добавлен 04.02.2014