Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
Подобные документы
Основы теории множеств. Логические операции над высказываниями. Равносильные преобразования формул. Способы задания булевой функции. Метод карт Карно. Двоичное сложение и полином Жегалкина. Кванторные операции над одноместными и двуместными предикатами.
методичка, добавлен 24.09.2019Вклад Омара Хайяма в развитие научных учений в области математики, астрономии и физики. Математический труд "Трактат о доказательствах проблем алгебры и ал-мукабалы". Краткая классификация всех видов уравнений (линейных, квадратных, кубических).
реферат, добавлен 09.12.2014Понятие и происхождение слова "Математика". История возникновения математики как науки в Древней Греции. Ее развитие и применение в жизни. Создание счёта и измерения линий, поверхностей и объёмов. Роль и престиж математики в развитии науки и экономики.
презентация, добавлен 13.01.2016- 79. Нечеткая логика
Форма классической логики и теории множеств, базирующиеся на понятии нечёткого множества. Применение нечетких множеств в экономическом, финансовом анализе и в современных технологиях управления. Алгоритм по формализации задачи в терминах нечеткой логики.
презентация, добавлен 29.06.2022 Различные формы задания булевых функций. Переход от одной формы задания к другой. Построение и упрощение формул, задаваемых различными схемами. Нахождение кратчайших маршрутов для взвешенных графов с помощью алгоритма Форда–Беллмана и алгоритма Дейкстры.
курсовая работа, добавлен 18.10.2017Понятие, сущность и характеристика математики и философии как науки. Влияние математики на философию, последствия их роль и описание. Соотношение математики и логики, а также полученные результаты. Понятие об иррациональном числе, особенности исчисления.
реферат, добавлен 08.02.2009Развитие математической логики. Предмет калькуляции высказываний и ее операции: отрицание и конъюнкция, дизъюнкция, импликация, эквивалентность. Логические формулы и логические элементы компьютера. Функции триггера, сумматора, переключательной схемы.
реферат, добавлен 21.04.2012- 83. Теория графов
Первая работа по теории графов всемирно известного математика и механика Леонардо Эйлера. Построения электрических цепей и подсчёта химических веществ с различными типами молекулярных соединений. Становление кибернетики и развитие вычислительной техники.
реферат, добавлен 17.06.2014 Розробка перемикальної функції, синтез комбінаційної схеми для базису Буля, полінома Жегалкіна, стрілки Пірс, штриху Шеффера, мінімізації функцій. Синтез цифрового автомата, етапи даного процесу та вимоги до нього. Мінімізація функцій алгебри логіки.
контрольная работа, добавлен 03.04.2014Изучение сфер жизни человека, в которых присутствует математика. Связь геометрии с повседневной жизнью человека. "Золотое сечение" в окружающей действительности, его применение в архитектуре и произведениях искусства. История возникновения геометрии.
презентация, добавлен 14.04.2016Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
учебное пособие, добавлен 15.01.2016Основные элементы алгебры логики. Характеристика синтеза логических схем на основе программы National Instruments и NI ELVIS II. Анализ комбинационных и последовательностных устройств. Представление логических функций математическими выражениями.
лабораторная работа, добавлен 21.11.2017Множества и операции над ними. Функции и формулы алгебры логики. Важнейшие замкнутые классы. Обобщение понятия равенства, отношение упорядоченности. Принцип двойственной записи вычислений. Построение совершенных нормальных форм и закон коммутативности.
методичка, добавлен 05.05.2014Построение комбинаторной теории Лейбницем. Использование ее при решении задач алгебры, геометрии. Интеграция комбинаторики в современную математику. Правила суммы и умножения. Описание урновой схемы как одной из простейших моделей теории вероятностей.
контрольная работа, добавлен 17.06.2014Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.
лекция, добавлен 07.08.2013Аксиомы топологии, примеры топологических пространств. Понятие про открытое и замкнутое множество. Аксиомы булевой алгебры, примеры. Булево объединение и пересечение произвольного семейства элементов алгебры. Понятие про регулярные замкнутые множества.
курсовая работа, добавлен 10.07.2012Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
материалы конференции, добавлен 26.12.2012История математики в Индии. Счётное устройство инков. Древнеегипетские математические тексты. Вавилонская расчётная техника. Цифры в Древнем Китае, их обозначение специальными иероглифами. Развитие математики в Европе. Древнерусская нумерация чисел.
реферат, добавлен 13.06.2013Определение и анализ сущности комплементарной логики, которая создаётся путём синтеза экстенсиональной и интенсиональной логики. Характеристика особенностей интерпретации редукции волновой функции на основе принципа психофизического параллелизма.
статья, добавлен 25.12.2021История применения алгебры в геометрии. Основные уравнения конических сечений. Анализ изложения аналитической геометрии у Декарта и Ферма. Кинематическое образование линий. Геометрия как раздел математики, изучающий пространственные отношения и формы.
контрольная работа, добавлен 20.10.2012Определение математики и анализ этапов ее развития: элементарная математика; математика переменных величин; аналитическая геометрия; дифференциальное и интегральное исчисление. Развитие математики в России в 18-19 ст. Достижения современной математики.
реферат, добавлен 08.09.2015Краткая биография древнегреческого философа и ученого Пифагора Самосского, его роль в развитии математики. Моральный кодекс пифагорейцев. История создания теоремы Пифагора, различные формулировки и способы доказательства. Задачи на применение теоремы.
реферат, добавлен 18.04.2015Русский математик Ермаков Василии Петрович: биография, математические труды, педагогическая деятельность и история получения звания экстраординарного профессора. Жизнь и вклад в развитие математики древнегреческих ученых Евдокса Книдского и Эвклида.
реферат, добавлен 04.01.2015Рассмотрение математической науки как науки о структурах, порядке исчисления. История возникновения операций подсчёта, измерения и описания форм реальных объектов. Дедуктивный характер греческой математики. Формирование теории Пифагора в геометрии.
реферат, добавлен 04.02.2014Описание логической системы, в которой множеством истинности является множество самосопряженных положительных операторов в гильбертовом пространстве. Определение операторозначной логической алгебры и некоторые ее свойства, особенности применения.
статья, добавлен 27.02.2019