Математическая логика или Булева алгебра
Система мышления, создающая взаимосвязи между заданными условиями и позволяющая делать умозаключения, основываясь на предпосылках и предположениях. Принципы построения математических теорий. Использование алгебры высказываний в современной информатике.
Подобные документы
Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Сущность векторной алгебры. Изучение математических операций с векторами (сложение, умножение). Понятие векторного пространства и линейной зависимости векторов, необходимость коллинеарности и компланарности. Скалярное произведение векторов и координаты.
конспект урока, добавлен 16.01.2010Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Физическое устройство, реализующее одну из операций алгебры логики или простую логическую функцию. Схема, составленная из конечного числа логических элементов по определенным правилам. Практическое следствие принципа двойственности при записи выражений.
презентация, добавлен 21.11.2021- 55. Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
реферат, добавлен 21.05.2015 Математическая логика как раздел математики, посвящённый изучению способов доказательств, утверждений, вопросов оснований математики. Умозаключение и его способы получения нового знания на основе некоторого имеющегося. Формальные аксиоматические методы.
курсовая работа, добавлен 21.04.2015Понятия и операции реляционной алгебры. Создание реляционной модели данных. Последовательность шагов для получения результирующего отношения. Операции реляционной алгебры, обеспечивающие выполнение каждого шага. Способ объединения двух отношений.
краткое изложение, добавлен 23.09.2015Рассмотрение математических моделей динамических объектов, представляющих собой линейные и нелинейные системы дифференциальных уравнений. Анализ результатов использования методов теории устойчивости, математического анализа, линейной и высшей алгебры.
автореферат, добавлен 15.02.2018Сущность понятия "генетическая модель". Канонический вид дискретной модели вольтерра. Операторы умножения в алгебре, идемпотенты и нильпотенты. Условия ассоциативности генетической алгебры. Трансверсальность в генетических алгебрах вольтерровского типа.
диссертация, добавлен 19.06.2015Понятие и предназначение функции алгебры логики, характеристика табличного, графического, координатного, числового и аналитического способа её задания. Специфика составления карты Карно с помощью функции алгебры логики, таблица истинности переменных.
реферат, добавлен 15.11.2017Системи числення та функції алгебри логіки. Переведення чисел з однієї позиційної системи в іншу. Булеві функції та метод Квайна-Мак-Класски. Логічні елементи та їх класифікація. Приклади мінімізації функцій і синтезу комбінаційних схем різної складності.
курсовая работа, добавлен 09.12.2014Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020Методика постановки математических задач для поиска оптимального решения. Специфика использования геометрического и динамического программирования для решения заданий оптимизации многостадийных процессов. Принципы построения многоугольника решений.
реферат, добавлен 22.01.2014Рассмотрение особенностей проведения линейных операций над различными векторами с одинаковыми координатами. Ознакомление с условиями коллинеарности в координатной форме. Проекция вектора на ось в алгебре. Вычисления прямоугольной системы координат.
презентация, добавлен 01.09.2015- 65. Алгебра матрицы
Рассмотрение понятия матрицы, её производных. Численные методы - раздел вычислительной математики, посвященный математическому описанию исследованию процессов численного решения задач линейной алгебры. Применение матрицы и ее алгебраические функции.
реферат, добавлен 25.05.2017 Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
контрольная работа, добавлен 09.01.2014Особенности алгебры над множеством логических функций и переменных, сигнатура которой содержит две бинарные операции. Характеристика полиномома Жегалкина. Основные аспекты его поиска. Анализ основ использования метода неопределенных коэффициентов.
реферат, добавлен 06.04.2015Деление и история алгебры, происхождение ее термина. Древнейшие сочетания по алгебре, появление от арабов и ее развитие в Европе в эпоху Возрождения. Решение уравнений третей и четвёртой степени. Некоторые математические знаки и даты их возникновения.
реферат, добавлен 27.09.2014- 69. Алгебра событий
Введения понятия алгебры множеств. Необходимость объединять счетные наборы событий в теории вероятностей. Замкнутость множества относительно счетного числа любых других операций над событиями. Составление функций распределения на основе их рядов.
контрольная работа, добавлен 09.01.2015 Особенность нахождения отношения эквивалентности на множестве А. Построение таблиц истинности для высказываний. Изучение замыкания над множеством булевой функции. Проведение исследования класса линейных функций. Нахождение максимального потока в сети.
курсовая работа, добавлен 05.12.2019Исторические сведения о зарождении уравнения. Первоначальное значение термина алгебра. Зарождение искусства решения уравнений. Значительный вклад в развитие языка алгебры Ф. Виета. Усовершенствование теории уравнений с применением изобретенных символов.
контрольная работа, добавлен 29.01.2012Элементы линейной алгебры и ее следование из вычислительных задач. Матрица как математический объект, записываемый в виде прямоугольной таблицы элементов поля, представляющая совокупность строк и столбцов, на пересечении которых находятся её элементы.
презентация, добавлен 19.12.2015Принципы построения формальных теорий. Проблемы, связанные с системой аксиом. Доказательство независимости системы аксиом. Исчисление высказываний, символы и формулы. Теорема дедукции и правило силлогизма (транзитивный вывод). Примеры решения задач.
презентация, добавлен 17.04.2013Изучение сведений о матрицах. Рассмотрение алгебры матриц. Обзор определителей квадратных матриц. Анализ системы линейных уравнений. Определение положения векторов на плоскости и в трехмерном пространстве. Оценка элементов аналитической геометрии.
учебное пособие, добавлен 13.04.2019Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.
реферат, добавлен 07.10.2014