<<  История предмета Начала  >>
История алгебры логики

История алгебры логики. Понятие логики как науки появилось ещё в XIX в., т.е. задолго до появления науки информатики и компьютеров. Элементы математической логики можно найти уже в работах древнегреческих философов. В XVII в. Г. В. Лейбниц высказал идею о том, что рассуждения могут быть сведены к механическому выполнению определенных действий по установленным правилам. Однако как самостоятельный раздел математики логика начала формироваться только с середины XIX в.. Для того чтобы рассуждать, человеку необходим какой-либо язык. Не удивительно, что математическая логика начиналась с анализа того, как говорят и пишут люди на естественных языках. Этот анализ привёл к тому, что выяснилось существование формулировок, которые невозможно разделить на истинные и ложные, но, тем не менее, выглядят осмысленным образом. Это приводило к возникновению парадоксов, в том числе в одной из фундаментальных наук математики. Тогда было решено создать искусственные формальные языки, лишённого «вольностей» языка естественного.

Слайд 3 из презентации «Алгебра Логики»

Размеры: 720 х 540 пикселей, формат: .jpg. Чтобы бесплатно скачать слайд для использования на уроке, щёлкните на изображении правой кнопкой мышки и нажмите «Сохранить изображение как...». Скачать всю презентацию «Алгебра Логики.ppt» можно в zip-архиве размером 201 КБ.

Похожие презентации

краткое содержание других презентаций на тему слайда

«Таблицы по алгебре 7 класс» - Выражения. Разность квадратов. Таблицы алгебра. Содержание.

«Логика» - Правила вывода подразделяются на два класса. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми. Важную роль в математической логике играет понятие исчисления. Математическая логика. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами).

«Алгебра и анализ» - Учебники «Алгебра и начала анализа» 10, 11 классы. Об авторе УМК "Алгебра и начала математического анализа" 10 – 11 класс. Алгебра и начала математического анализа. 10 класс (профильный уровень). Научный руководитель Всероссийского семинара преподавателей математики педвузов с 1987 года. Ч.2. Задачник (профильный уровень).

«Урок алгебры в 8 классе» - Замените степень с целым отрицательным показателем дробью: Замените дробь степенью с отрицательным показателем: Цель: Познакомить учащихся с понятием степени с целым отрицательным показателем. Такое соглашение принимается для степеней с любыми основаниями, отличными от нуля. Анализ контрольной работы.

«Логика в школе» - Укажите наибольшее возможное значение такой дроби. Условие Представьте следующие рациональные числа в виде десятичных дробей: а)1/7 ; б)2/7. Условие Какая из дробей больше: 29/73 или 291/731? Можно ли так жить? Немного логики. Медведева Ольга.

«Логические основы компьютера» - Логические законы и правила преобразования. Логика. Как устроен полноразрядный сумматор? Для чего необходим и где используется триггер? Формы мышления. Умозаключение. Алгебра высказываний. Решение логических задач. Компьютер. Высказывание. Дважды два равно пять – естественный язык. Таблица истинности операции конъюнкция.

Алгебра логики

19 презентаций об алгебре логики
Урок

Алгебра

35 тем