Джордж Буль
Вклад в информатику и методологические идеи Джорджа Буля. Графический способ решения задания, булевы функции. Превращение логики в точную науку с помощью трактовки ее предмета средствами математического аппарата. Основные операции булевой алгебры.
Подобные документы
Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016Определение понятия булевой функции как n-местной алгебраической операции на множестве. Нахождение фиктивных и существенных переменных. Алгоритм определения переменных. Принцип построения блок-схемы и листинг для программы нахождения фиктивной функции.
курсовая работа, добавлен 24.04.2011Основные топологические понятия; аксиомы топологии и примеры некоторых соотношений в топологических пространствах. Булева алгебра и регулярные замкнутые множества: булево объединение и булево пересечение произвольного семейства элементов булевой алгебры.
курсовая работа, добавлен 07.07.2012Характеристика методики решения системы линейных уравнений. Изучение методов поиска преобразования с помощью средств матричного исчисления. Определение с помощью векторной алгебры длины ребер и направляющих косинуса вектора, объема пирамиды и ее высоты.
методичка, добавлен 25.05.2015- 80. Алгебра логики
Раздел математической логики, в котором изучаются логические операции над высказываниями. Аксиома - исходное положение теории, принимаемое в рамках данной теории истинным без требования доказательства. Логические операции и математические выражения.
презентация, добавлен 12.03.2015 Изучение основных понятий логики предикатов. Определение формулы логики предикатов. Кванторы и кванторные операции. Анализ особенностей применения логики предикатов к логико-математической практике. Аристотелева силлогистика и методы рассуждений.
курсовая работа, добавлен 18.05.2017Множества и основные операции над множествами. Упорядоченные пары и прямое произведение множеств. Основные законы и формулы комбинаторики. Логика высказываний: основные понятия, формулы, логические операции, составные высказывания и законы логики.
реферат, добавлен 07.11.2015Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Автоматизация процессов обработки информации. Создание математической модели отнесения документов, поступающих в автоматизированную систему к области ответственности исполнителя. Использование математического аппарата алгебры конечных предикатов.
статья, добавлен 12.05.2017Алгебра логики как математическая основа преобразования логических функций. Основные свойства конъюнкции, дизъюнкции и отрицания. Методы составления таблицы истинности для импликации и сложения по модулю 2 совершенной дизъюнктивной нормальной формы.
курсовая работа, добавлен 29.04.2014Понятие элементарной суммы и произведения. Множество дизъюнктивных и конъюнктивных нормальных форм для алгебры высказываний. Тождественно-истинная и тождественно-ложная формула. Проблема разрешимости для логики высказываний. Формализация рассуждений.
презентация, добавлен 17.04.2013Изучение решения задач по математической статистике и теории вероятностей с помощью формулы Бейеса и Бернулли. Определение константы, вычисление математического ожидания и дисперсии величины X, а также расчет и построение графика функции распределения.
контрольная работа, добавлен 19.03.2014Определяются фундаментальные понятия матричного исчисления: линейно зависимые и независимые совокупности строк (столбцов) матрицы, ранг матрицы, сумма и произведение матриц, определитель матрицы, обратная матрица. Свойства определителей алгебры логики.
статья, добавлен 30.08.2020Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.
статья, добавлен 05.06.2018Детерминированные функции и способы их задания. Основные типы преобразующих автоматов. Последовательные автоматные вычисления. Построение логических цепей. Операции над словами и языками. Порождение и распознавание цепочек. Элементы теории кодирования.
учебное пособие, добавлен 20.05.2014Логика как самостоятельная наука. История становления классической математической логики. Виды и направления в развитии неклассической логики. Учение о силлогизме. Становление неформальной логики. Основные разделы современной математической логики.
контрольная работа, добавлен 17.06.2013Основные биографические данные из жизни Джона фон Неймана, начало его карьеры как математика. Научная деятельность фон Неймана во время войны в области физики зарядов. Вклад фон Неймана в теорию групп, алгебру операторов и теории вычислительных машин.
реферат, добавлен 14.09.2010- 94. Предшественники кафедр механико-математического факультета Пермского государственного университета
Характеристика создания кафедры математического анализа в 1938 году. А.А. Фридман как автор теории расширяющейся вселенной и один из основоположников советской школы динамической метеорологии. Особенность появления кафедры высшей алгебры и геометрии.
статья, добавлен 26.04.2019 Системы линейных уравнений, методы их решения. Метод Гаусса, метод последовательного исключения. Решение уравнений по правилу Крамера и матричный метод. Критерий совместности Кронекера-Капелли. Графический способ решения системы линейных уравнений.
курсовая работа, добавлен 27.03.2011Основные достижения в области методов решения оптимизационных задач. Теоретические основы математического аппарата поиска оптимума. Определение значения принципа максимума и динамического программирования в области задач оптимального управления.
реферат, добавлен 13.06.2019Способы решения геометрических задач, рассчитанных на применение аналитических методов. Тенденции использования элементов алгебры и математического анализа при их решении. Методы, приемы и подходы к решению задачи, содержащей буквенные данные (параметры).
статья, добавлен 23.06.2018Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013Графический метод решения уравнений (уравнение окружности, эллипса, гиперболы, кардиоида). Нахождение модуля, методы определения пределов и производных. Условия применений правила Лопиталя, вычисление экстремумов, монотонности. Расчет дифференциалов.
контрольная работа, добавлен 11.04.2009Изложение методов анализа и синтеза булевых выражений, примеров реализации комбинационных схем, построенных по словесному описанию алгоритма функционирования: булевы преобразования двоичных последовательностей и области применения этих преобразований.
учебное пособие, добавлен 15.04.2014