Алгебра логики
Изучение специальной алгебры, занимающейся исчислением высказываний. Её роль в описании работы дискретных устройств. Элементарные функции алгебры логики. Использование двух приемов для построения произвольной. Предназначение эквивалентных соотношений.
Подобные документы
Понятия и операции реляционной алгебры. Создание реляционной модели данных. Последовательность шагов для получения результирующего отношения. Операции реляционной алгебры, обеспечивающие выполнение каждого шага. Способ объединения двух отношений.
краткое изложение, добавлен 23.09.2015Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016Оценка раздела математики, который можно охарактеризовать как обобщение и расширение арифметики. Обзор происхождения алгебры на земле. Исследование её развития в разных странах со временем. Определение назначения алгебры и её применения в жизни человека.
реферат, добавлен 19.10.2016Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015- 30. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Существенная характеристика алгебры и сигма-алгебры событий, встречающихся в теории вероятностей. Изучение косвенных методов вычисления возможностей. Свойства операций сложения и умножения явлений. Особенность изучения основных законов де Моргана.
контрольная работа, добавлен 25.11.2015- 32. Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
реферат, добавлен 14.07.2008 - 33. Алгебра логики
Краткая справка возникновения логики как науки, методика и предмет ее исследования. Особые математические функции от логических аргументов. Преобразование выражений, состоящих из булевых функций, применение в вычислительной технике и информатике.
реферат, добавлен 18.06.2015 Переменные и функции алгебры логики, обзор ее основных теорем о положений. Реализация импульсно-потенциальных логических элементов Троичные коды и система счисления. Логические элементы дискретной автоматики. Принцип двойственности (правило де Моргана).
лекция, добавлен 22.10.2013Изучение и характеристика закона функционирования сложных логических устройств, который записывается в виде алгебраического выражения. Рассмотрение содержания и понятия конституенты нуля, называемого макстермом. Ознакомление с таблицей истинности.
лекция, добавлен 15.11.2017- 36. Булева алгебра
Понятие и предмет математической логики. Задача математизации формальной логики Лейбница. Получение правильного вывода в логической схеме. Калькуляция высказываний и предикатов при которых с заменой переменных на высказывания, получаются верные выводы.
реферат, добавлен 03.12.2014 Матрицы, определители, системы линейных уравнений. Элементарные преобразования матриц, ранг матрицы. Матричная запись системы линейных уравнений и ее матричное решение. Элементы векторной алгебры и аналитической геометрии. Смешанное произведение векторов.
учебное пособие, добавлен 25.11.2012Рассмотрение становления геометрической алгебры в Древней Греции, ее применения при решении уравнений, доказательстве алгебраических тождеств, при построении фигур. Влияние геометрической алгебры на разрешение математических проблем в арабских странах.
статья, добавлен 26.04.2019- 39. Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
реферат, добавлен 20.10.2015 Изучение основных понятий векторной алгебры. Определение базиса вектора, коллинеарных и компланарных векторов. Изучение проекции на ось и ее свойств. Рассмотрение сложения векторов: правил треугольника и параллелограмма. Формулирование теоремы Фалеса.
лекция, добавлен 26.01.2014Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021Характеристика доказательства по заданному модусу путем построения диаграмм Эйлера. Изучение методов математической логики для формализации высказывания. Доказательство общезначимости формулы, используя законы алгебры, равносильные преобразования.
контрольная работа, добавлен 05.09.2016Исследование вопросов линейной алгебры и физики для активного и неформального усвоения: основные понятия и теоремы, формулы, решение практических задач, упражнения для самостоятельной работы, для решения на практических занятиях и для домашних заданий.
краткое изложение, добавлен 25.03.2011Предмет математической логики. Недостатки формальной логики. Сущность понятия "высказывание". Сущность отрицания, конъюнкции. Алгебра логических значений. Главные особенности импликации. Эквивалентность как вид выражения операции. Блок управления памятью.
реферат, добавлен 21.10.2012- 45. Булева алгебра
Математическая логика как современная форма формальной логики, применяющей математические методы для исследования своего предмета. Теоретические аспекты понятия "вывод". Калькуляция высказываний и алгебра логических значений, импликация и эквивалентность.
реферат, добавлен 30.10.2010 Изучение сведений о матрицах. Рассмотрение алгебры матриц. Обзор определителей квадратных матриц. Анализ системы линейных уравнений. Определение положения векторов на плоскости и в трехмерном пространстве. Оценка элементов аналитической геометрии.
учебное пособие, добавлен 13.04.2019Производственная сфера хозяйства и использование математических методов для оценки её эффективности. Межотраслевой баланс производства и применение линейной алгебры в экономике. Графическое отображение закономерностей и расчётф зависимости явлений.
контрольная работа, добавлен 20.06.2012Теоретические основы изучения функциональной линии в курсе алгебры основной школы. Понятие функции, способы её задания и исследования. Изображение замкнутых кривых на координатной плоскости. Методика изучения линейной, квадратной и кубической функции.
методичка, добавлен 30.01.2016Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
реферат, добавлен 28.11.2016Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012