Математическая логика
Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
Подобные документы
Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012Основы алгебры логики, понятие и типы системы счисления. Применение двоичной, восьмеричной и шестнадцатеричной систем счисления в современной цифровой схемотехнике. Способы описания логической функции, алгебраические выражения и таблицы истинности.
реферат, добавлен 27.06.2015Понятие случайных событий и величин в математической статистике. Основные определения и формулы, отражающие механизм дискретного распределения чисел. Очерк правил решения алгебраических и геометрических примеров со случайными пороговыми значениями.
учебное пособие, добавлен 13.01.2017Нахождение погрешности на примере арифметических операций и вычисления значений функции. Постановка задачи и применение интерполирования путем разбора интерполяционной схемы Эйткена, интерполяционной формулы Гаусса, многочлена Лагранжа, Ньютона и Эрмита.
учебное пособие, добавлен 14.01.2014Решение задач по теории вероятности с помощью диаграмм Эйлера-Венна. Геометрическая интерпретация бинарных отношений. Отношение следствий пары высказываний. Анализ истинности суждений построением таблицы, преобразованием формулы, методом "от противного".
контрольная работа, добавлен 27.12.2014Элементы дискретной математики. Сущность математической логики. Операции над множествами. Правила, формулы дифференцирования. Неопределенный интеграл, методы интегрирования. Основы теории вероятностей и математической статистики. Понятие и предел функции.
учебное пособие, добавлен 03.07.2013Понятие интеграла от функции двух, трех и большего числа переменных, основная методика их выражения в декартовых координатах. Двойные и тройные интегралы, их свойства и способы вычисления. Вычисление криволинейных интегралов с помощью формулы Грина.
лекция, добавлен 29.09.2014Создание таблицы значений функции алгебры логики, способы нахождения всех существенных переменных. Построение полинома Жегалкина функции. Определение совершенной дизъюнктивной нормальной формы. Особенности создания связного ориентированного графа.
контрольная работа, добавлен 27.08.2013Определение минимальной дизъюнктивной нормальной формы логической функции устройства. Таблица истинности функции. Минимизация функции алгебры логики. Задача определения простых импликант по методу Квайна-Маккласки. Синтез схемы для МДНФ в базисе Буля.
курсовая работа, добавлен 21.11.2010Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Формулы сокращенного умножения и разложения на множители, степени и корни, квадратное уравнение, прогрессии (арифметическая, геометрическая) математики. Тригонометрия (формулы сложения двойного и половинного аргумента), геометрия и стереометрия.
шпаргалка, добавлен 01.05.2009Рассмотрение особенностей арифметической и геометрической прогрессий. Таблица значений тригонометрических функций некоторых углов. Характеристика физических основ механики. Изучение законов электростатики. Основы электрического тока в металлах и газе.
учебное пособие, добавлен 13.01.2014Формулы логики предикатов, содержащие предикаты, зависящие только от одного переменного, направления исследования и соответствующие теоремы, доказательства. Практика по решению проблемы разрешимости формул, содержащих предикаты от одного переменного.
курсовая работа, добавлен 23.04.2011Алгоритм вычисления интеграла с заданной точностью. Формулы левых, правых и средних прямоугольников. Составная функция трапеции. Квадратурные формулы Ньютона-Котеса. Принцип Рунге практического оценивания погрешностей. Расчеты в малом и в целом.
презентация, добавлен 30.10.2013Определение логических отношений между понятиями и выражение этих отношений с помощью круговых схем. Объединенная классификация суждений, изображение отношений между терминами с помощью кругов Эйлера, установление распределенности субъекта и предиката.
задача, добавлен 12.09.2010Квадратурная формула Ньютона-Котеса, ее характеристика и частные случаи. Анализ квадратурной формулы Гаусса. Приближенное вычисление несобственных интегралов. Кубатурные формулы типа Симпсона как метод приближенного вычисления двойного интеграла.
лекция, добавлен 26.09.2017Теоремы сложения и умножения вероятностей. Использование формулы полной вероятности и формулы Байеса. Локальная и интегральная теоремы Лапласа. Составление ряда распределения. Вычисление математического ожидания и среднего квадратического отклонения.
контрольная работа, добавлен 06.11.2012- 68. Булева алгебра
Ознакомление с историей зарождения и особенностями булевой алгебры. Характеристика специфики совершенных дизъюнктивной и конъюнктивной нормальных форм. Рассмотрение сущности математической логики. Основные теории вероятности в функциональном анализе.
реферат, добавлен 11.10.2012 Тригонометрическая система функций. Формулы интеграла Фурье для различных функций. Применение преобразования Фурье к задачам математической физики, электротехники. Решение уравнения Бесселя, возникающего при разделении переменных. Гармонический анализ.
курс лекций, добавлен 29.09.2014Исследование этапов вычисления определенных интегралов с помощью формулы Ньютона-Лейбница. Нахождение первообразной подынтегральной функции. Доказательство основной теоремы анализа. Характеристика операций дифференциального и интегрального исчислений.
презентация, добавлен 18.09.2013Анализ роли человека в создании машин, которые умеют решать логические задачи. Характеристика предмета, целей и задач математической логики. Алгебра высказываний как раздел математической логики, в котором изучаются логические операции над высказываниями.
реферат, добавлен 02.11.2015Технические аспекты реализации. Операции криптографических алгоритмов. Вычислительная мощность числовых процессоров по количеству выполняемых элементарных логических операций. Теория реализации модулярных вычислений. Формульный метод получения МОЧНФ.
презентация, добавлен 10.08.2013Общая характеристика методов решения задач на темы "переправы" и "фальшивый объект". Знакомство с основными особенностями решение логических задач. Характеристика принципов логических игр. Анализ задач на нахождение наименьшего количества предметов.
статья, добавлен 26.03.2019Представление структуры объекта в виде множеств. Исследование отношений на рефлексивность, транзитивность, симметричность. Определение логических взаимосвязей между множествами объекта. Представление структуры управления в виде графов, матрицы смежности.
курсовая работа, добавлен 07.06.2010Рассмотрение логических или нечисловых задач, которые составляют обширный класс нестандартных задач. Анализ разных способов решения логических задач. Особенности методов рассуждений, таблиц, графов, блок-схем, бильярда, метода с помощью кругов Эйлера.
статья, добавлен 25.02.2019