Джордж Буль
Краткая биографическая справка о жизни английского математика, логика, профессора колледжа Корка и одного из основателей математической логики - Д. Буля. История создания булевой алгебры и ее влияние на развитие современной вычислительной техники.
Подобные документы
Изучение построения фундамента для математики в XX в. Понятие истинности в математике, абсолютизация человеческих представлений о реальном мире. Формализация математической логики. Эквивалентность интуитивных и формальных доказательств в тезисе Гильберта.
реферат, добавлен 28.10.2018Анализ фундаментальных проблем в направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Построение примеров йордановых супералгебр над произвольным полем. Арифметическое описание спектров.
научная работа, добавлен 28.10.2018Особенности присутствия математики во всех отраслях нашей жизни. Математическое моделирование в архитектуре. Современный характер применения уже созданных математических теорий к техническим проблемам. Математика в физике и астрономии, химии и биологии.
презентация, добавлен 18.05.2016Операции над множествами. Понятия и определения отношений и функций. Характеристики графов, алгоритм Форда–Беллмана нахождения минимального пути. Минимальные остовные деревья нагруженных графов. Формулы логики булевых функций, преобразования формул.
методичка, добавлен 28.06.2013Математика как наука о количественных отношениях и пространственных формах действительного мира. Ее роль в современном обществе и этапы развития. Основы построения математической теории. Вклад Ньютона в создание физико-математического естествознания.
реферат, добавлен 03.06.2010- 106. Математика XIX века
Предыстория математической логики. Алгебраическая теория чисел. Социальная и антропометрическая статистика. Вклад К.Ф. Гаусса в теорию вероятностей. Исследования С.Д. Пуассона и О. Коши. П.Г. Лежен-Дирихле и теорема об арифметических прогрессиях.
книга, добавлен 25.11.2013 Формулировка исходных идей теории относительности в период, предшествующий ее созданию. Ценные идеи крупнейшего мыслителя английского математика Эдмунда Уиттекера. Основные положения, необходимые для аксиоматического построения релятивистской теории.
доклад, добавлен 01.05.2012Анализ понятия характеристического полинома булевой функции, имеющего заданную поляризацию переменных. Исследование метода представления булевой функции полиномом Рида-Маллера (каноническим поляризованным полиномом) с помощью характеристического полинома.
статья, добавлен 12.05.2018- 109. Логика ветвящегося времени и ее применение в интеллектуальных системах поддержки принятия решений
Характеристика основных положений темпоральной (временной) логики для ветвящегося времени в плане ее использования в интеллектуальных системах поддержки принятия решений реального времени. Исследование проблемы программной реализации данной логики.
статья, добавлен 16.01.2018 Система мышления, создающая взаимосвязи между заданными условиями и позволяющая делать умозаключения, основываясь на предпосылках и предположениях. Принципы построения математических теорий. Использование алгебры высказываний в современной информатике.
реферат, добавлен 12.04.2015Ввод простейших команд в Maxima. Решение задач элементарной математики и линейной алгебры. Программирование в Maxima на встроенном макроязыке. Построение графиков функций. Вычисление пределов и производных функции. Функции для работы с матрицами.
курсовая работа, добавлен 14.05.2014- 112. История математики
Первая математическая деятельность: счет и наскальные рисунки. Развитие математики в Вавилоне и Египте. Греческая математика, получение заключений на основе дедуктивного рассуждения. Математики Индии, появление нуля. Математика эпохи Возрождения.
реферат, добавлен 22.06.2014 Изучение фундаментальных проблем и взаимосвязей в следующих направлениях современной алгебры: теория неассоциативных алгебр, теория конечных групп и алгебраическая геометрия. Исследования квантований алгебр, в конечных лиевых и нелиевых группах.
научная работа, добавлен 28.10.2018Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Парадоксы на примере математической науки. Преднамеренное, сознательное нарушение правил логики.
презентация, добавлен 17.02.2015Анализ схемы, реализующей логическое отрицание. Особенность инверсии дизъюнкции и конъюнкции в алгебре логики. Характеристика функций Шеффера и Пирса. Формирование законов склеивания и поглощения. Основные приоритеты выполнения последовательных операций.
лабораторная работа, добавлен 03.03.2015Сущность программы логицизма - определение основных, исходных понятий чистой математики в терминах логики, а её фундаментальные законы доказать как теоремы логики. Перевод на язык логики основных понятий арифметики. Первый известный логицист Г. Фреге.
статья, добавлен 02.10.2018- 117. Основы логики
Ознакомление с основными понятиями и методами формальной логики и применению их при построении умозаключений. Характеристика основных типичных ошибок в организации мыслительного процесса, в осуществлении системы процедур доказательства и опровержения.
методичка, добавлен 16.05.2017 Изучение истории развития математики - науки о величинах и количествах. Характеристика основных разделов математики: арифметики, элементарной алгебры, геометрии (планиметрии и стереометрии), теории элементарных функций и элементов анализа. Цифры майя.
реферат, добавлен 10.11.2011Математика как наука о структурах, порядке и отношениях, исторически сложившаяся на основе операций подсчета, измерения и описания формы объектов, знакомство с историей возникновения. Анализ роли математики в жизни человека. Особенности точных наук.
реферат, добавлен 07.12.2021Ценность теории вероятностей для общего образования. Краткая историческая справка появления азартных игр, применение теории в них. Сущность закона Бернулли. Художественная правда и вероятность сложного события. Краткая характеристика теории рекламы.
доклад, добавлен 21.02.2013Решение задач с помощью здравого смысла и строгой логики рассуждений, подтвержденных точными расчетами. Определение вероятности получения наибольшего приданого при случайном выборе одного билетика из пяти. Изучение лексикографического порядка подсчета.
презентация, добавлен 24.04.2012- 122. Законы логики
Содержание и специфика основных законов логики. Свойства человеческой мысли вычленять вещи из окружающего мира и рассматривать их раздельно. Диалектические противоречия процесса познания и их выражения в форме формально-логических противоречий и гипотез.
реферат, добавлен 30.10.2010 Основные понятия алгебраической логики. Проведение отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции над высказываниями. Перевод текстов на язык предикатов, определение их истинности. Этапы формирования законов логики в трудах Аристотеля.
контрольная работа, добавлен 01.02.2012Периоды развития математики в Китае и наиболее яркие открытия китайских учёных. Структура и рассматриваемые научные вопросы математических сочинений, входящих в сборник в "Десятикнижье". Техника вычислений, методы алгебры и геометрии в Древнем Китае.
реферат, добавлен 25.04.2011- 125. История математики
Геометрия у египтян. Греческая математика и система счисления. Дедуктивный характер греческой математики. Важный вклад арабов в математику. Начало современной математики. Алгебраические уравнения для представления и исследования кривых и поверхностей.
реферат, добавлен 21.04.2010