Алгебра логики
Понятия алгебры логики: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность. Двоичные операции с цифровыми сигналами. Классификация электронных транзисторных физических реализаций логических элементов. Комбинационные логические устройства.
Подобные документы
Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014- 53. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 - 54. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 - 55. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019- 58. Законы логики
Предмет и основные законы логики. Понятие как логическая форма. Логические действия с понятиями. Определение количества и качества суждений, их связка. Умозаключение как форма мысли, простой категорический силлогизм. Доказательство и опровержение.
контрольная работа, добавлен 25.03.2014 Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
реферат, добавлен 25.12.2015Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
реферат, добавлен 15.05.2015Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Исследование основных логических операций и их свойств. Алгебра высказываний. Проектирование и синтез дискретного автомата. Анализ контактной схемы и работы логического сумматора. Аналитическое выражение логической функции, описывающей работу схемы.
контрольная работа, добавлен 22.11.2015Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Основные топологические понятия; аксиомы топологии и примеры некоторых соотношений в топологических пространствах. Булева алгебра и регулярные замкнутые множества: булево объединение и булево пересечение произвольного семейства элементов булевой алгебры.
курсовая работа, добавлен 07.07.2012Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021Составление таблицы истинности. Замена симметричных переменных с использованием элементарных симметричных функций. Анализ целесообразности совместной реализации системы функций. Раздельная минимизация и декомпозиция системы функций алгебры логики.
контрольная работа, добавлен 01.01.2013Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014Множества: операции, свойства, уравнения, декартово произведения. Способы описания бинарного отношения. Эквивалентность, понятия комбинаторики. Графы: определения, расширения модели, оптимизационные задачи. Алгебры, группы, изоморфизмы и гомоморфизмы.
учебное пособие, добавлен 18.01.2015- 70. Алгебра октав
Определение понятия системы аксиом алгебры октав; ее непротиворечивость и категоричность. Изучение понятия и свойств сопряженных октав. Рассмотрение основных тождеств, применяемых к октавам. Формулирование и доказательство теорем Гурвица и Фробениуса.
дипломная работа, добавлен 05.05.2012 Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.
диссертация, добавлен 19.06.2015Изучение понятий операций конъюнкции (логического умножения) и дизъюнкции (логическое сложение) над предикатами, заданными на множествах. Рассмотрение их свойств и приведение примеров доказательств равенства и тождества с использованием кругов Эйлера.
презентация, добавлен 05.01.2014