Алгебра логики
Возникновение логики. Элементы математической логики. Операции над логическими функциями. Булевы функции. Преобразование выражений булевых функций. Нахождение исходного выражения по его значениям. Применение в вычислительной технике и информатике.
Подобные документы
- 101. Математика XIX века
Предыстория математической логики. Алгебраическая теория чисел. Социальная и антропометрическая статистика. Вклад К.Ф. Гаусса в теорию вероятностей. Исследования С.Д. Пуассона и О. Коши. П.Г. Лежен-Дирихле и теорема об арифметических прогрессиях.
книга, добавлен 25.11.2013 Тригонометрическая система функций. Формулы интеграла Фурье для различных функций. Применение преобразования Фурье к задачам математической физики, электротехники. Решение уравнения Бесселя, возникающего при разделении переменных. Гармонический анализ.
курс лекций, добавлен 29.09.2014Интегрирование гиперболических функций. Преобразование произведений синусов и косинусов в суммы. Связь между табличными интегралами и обратными гиперболическими функциями. Расчет суммы разности двух аргументов, основное гиперболическое тождество.
лекция, добавлен 28.05.2016Вычисление пределов функций без использования правила Лопиталя. Нахождение производных функций с использованием формул и правил дифференцирования. Нахождение наибольшего и наименьшего значения функции на отрезке. Нахождение интервалов монотонности.
контрольная работа, добавлен 06.01.2015- 105. Реляционная алгебра
Основы реляционной алгебры, её операции и замкнутость. Реляционные операторы и специальные реляционные операции. Выражение реляционного исчисления кортежей и реляционные исчисления с переменными на доменах. Элементы синтаксиса QUEL и языка предикатов.
реферат, добавлен 25.12.2015 Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Формулировки определений и теорем. Преобразование алгебраических и тригонометрических выражений в технике дифференцирования и интегрирования. Элементы эвристики по Пойа в доказательствах теорем и решениях задач геометрии и математического анализа.
статья, добавлен 09.11.2018Изучение направлений при проектировании дискретных преобразователей. Исследование булевых функций от четырех аргументов, их минимизация и оценка сложности. Решение задач, построение библиотеки близких формул для булевых функций от четырех аргументов.
статья, добавлен 28.01.2019Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015Сущность Континуум-Гипотезы Кантора как основы мета-математики ("теории доказательства") и математической логики. Конитивная семантическая визуализация проблемы континуума, его трансляционная фрактальность. Когнитивная визуализация монадологии Лейбница.
статья, добавлен 17.01.2018Построение таблицы истинности. СДНФ и СКНФ. Применение метод Квайна - Мак-Класки и метод Петрика, карт Карно. Факторизация и декомпозиция. Использование методов минимизации булевых функций с дальнейшим построением комбинационных схем на их основе.
курсовая работа, добавлен 03.01.2022Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Арифметические операции над функциями, имеющими предел. Доказательство непрерывности функции в точке. Переход к пределу в неравенствах. Свойства непрерывной математической функции. Изучение классификации точек разрыва в арифметических неравенствах.
презентация, добавлен 16.10.2014Решение уравнения и построение его на комплексной плоскости. Определение точек разрыва функции и указание характера точек разрыва. Нахождение производных функций. Расчет экстремумов функции с использованием второй производной. Разложение функции в ряд.
контрольная работа, добавлен 22.04.2018Методика введения определений тригонометрических функций углов и изучения тригонометрических функций в курсе алгебры. Тождественные преобразования тригонометрических выражений. Тригонометрические уравнения и неравенства и методика обучения решению.
реферат, добавлен 06.03.2022Подобие второго рода. Осевая симметрия. Следствия векторных формул. Алгебра преобразований и векторных формул, примеры решения основных задач с их использованием. Исследование векторных выражений. Вывод формул разложения на элементарные преобразования.
статья, добавлен 04.05.2012- 117. Линейная алгебра
Применение матричного исчисления к решению систем линейных уравнений. Аналитическая геометрия и векторная алгебра. Математический анализ, предел функции и свойства производных. Основные теоремы дифференциального исчисления. Схема исследования функций.
курс лекций, добавлен 22.01.2013 - 118. Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012 Анализ проблемы парадоксов логики и математики, основанной на "физическом" моделировании парадокса "Лжец" на аналоговой вычислительной машине. Изучение понятия актуальной бесконечности и некоторых аспектов применения диагонального метода Кантора.
статья, добавлен 16.01.2018В статье рассматриваются существующие способы математического описания и представления в ЭВМ алгоритмов операций преобразования данных. Проводится краткий анализ известных форм представления систем булевых функций с учётом используемых средств реализации.
статья, добавлен 07.03.2019Решение задач на применение закона Кулона. Теория вероятности, интегральная и дифференциальная функции распределения, нахождение дисперсии и критических точек графика функции. Построение графиков интегральной и дифференциальной функций величины.
контрольная работа, добавлен 05.01.2012Сущность, социальное назначение и функции логики, ее роль в формировании логической культуры человека и значение для людей различных профессий. Характеристика видов аргументирования философской науки, ее законы. Доказательство и его логическая структура.
реферат, добавлен 25.11.2010- 123. Компьютерная алгебра
Обзор исследования функции. Нахождение коэффициентов кубического сплайна, интерполирующего данные, представленные в векторах. Представление графического изображения результатов интерполяции данных различными методами с использованием встроенных функций.
курсовая работа, добавлен 21.10.2017 - 124. Рекурсивные функции
Изучение проблемы формализации алгоритма (рекурсивных функций). Определение частичной функции и упорядочивание последовательности. Теория вычислимости и тезис Черча. Элементарные операции над простейшими функциями: композиция, соединение и рекурсия.
контрольная работа, добавлен 15.04.2015 Построение таблицы поведения автомата и графа, принципы кодирования данных. Нахождение системы булевых функций для возбуждения Т-триггеров, реализующих различные функции. Порядок и правила составления логической схемы заданного автомата, ее компоненты.
курсовая работа, добавлен 10.06.2015