ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ. СОДЕРЖАНИЕ Аристотель (384г.-322г.до н.э.) Вильгельм Лейбниц (1646-1716) Джордж Буль(1815-1864 гг.) Булева алгебра Основной.

Презентация:



Advertisements
Похожие презентации
ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ Составила:учитель информатики Семенова З.С. г.Заинск.
Advertisements

Введение в алгебру логики Автор: Шатило Эльвира Николаевна, учитель информатики и математики МОУ СОШ 14 города Астрахани.
Логика Подготовила : Набиева Рузиля Класс 11 «Б».
Логика наука о законах и правилах мышления. Формальная логика наука о законах и формах мышления. Математическая логика изучает логические связи и отношения,
Основы логики 10 класс. Цели: Способствовать формированию представления об истории возникновения и эволюции логического мышления. Способствовать формированию.
Логика Логика –наука, изучающая законы и формы мышления. Логика изучает: Формы мышления Способы мышления.
Основатель – Аристотель ( гг. до н.э. ) Ввёл основные формулы абстрактного мышления Историческая справка 1 этап – формальная логика.
Основоположником логики считают древнегреческого мыслителя Аристотеля, жившего в г.г. до н.э. Основоположником логики считают древнегреческого.
Алгебра логики Автор: Курьянова Е.А., ГБОУ СОШ 1352.
Основные понятия формальной логики Высказывания. Основные понятия логики Логика – наука, которая показывает, как должно совершаться мышление и каким правилам.
На каких трех «китах» держится информатика? Логика, алгоритмы и программа Сайт автора:
Основы логики. Логика – это наука о формах и способах мышления. В логике мышление рассма-тривается как инструмент познания окружающего мира.
Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и опровержений, т. е. методы.
Логика – это наука, изучающая законы и формы человеческого мышления. Виды логики диалектическая логика формальная логика изучает мысль с точки зрения содержания.
Алгебра высказываний. Основные операции алгебры высказываний.
Алгебра логики. Логика Логика – это наука о формах и законах человеческой мысли, о законах доказательных рассуждений, изучающая методы доказательств и.
Основные понятия алгебры логики Логика -наука, изучающая законы и формы мышления.
АЛГЕБРА ВЫСКАЗЫВАНИЙ. ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ.
Введение в логику Логика – наука о формах и законах мышления.
Логические основы ПК. Понятие о науке логике Слово логика обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о.
Транксрипт:

ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ

СОДЕРЖАНИЕ Аристотель (384г.-322г.до н.э.) Вильгельм Лейбниц ( ) Джордж Буль( гг.) Булева алгебра Основной закон Буля Вопросы Определение логики

АРИСТОТЕЛЬ (384г.-322г.до н.э.) Основы формальной логики заложил ученый Древней Греции Аристотель Заслуга ученого состоит в том, что он отделил форму мышления от содержания. Попытался соединить логику и математику, разработал раздел теории доказательств.

ВИЛЬГЕЛЬМ ЛЕЙБНИЦ ( ) Лейбниц взглянул на логику Аристотеля через призму математики Он создал «Азбуку мыслей», сжатый и краткий язык символов. Разработал идея логического исчисления. Рассуждения обозначил буквами, сложные высказывания-формулами. В результате удалось содержательные рассуждения заменить формальными вычислениями

ДЖОРДЖ БУЛЬ( гг.) Дж.Буль автор известный произведений «Математический анализ логики»(1847г.) Основной труд Дж. Буля «Исследование законов мысли», в ней представлен раздел логики- алгебра высказываний. В 1844 г. Буль получает золотую медаль за работ по математическому анализу.

БУЛЕВА АЛГЕБРА Правила сложения (дизъюнкция) в булевой алгебре выглядят так: = = = = 1 Сложение обозначается «или», «+», «v». 1. Умножение классов, обозначился «·» и в настоящее время эта операция называется «конъюнкцией» или «пересечением» и обозначается символами «?» «&» «И» Правила умножения (конъюнкция) булевой алгебре: 0 · 0 = 0 1 · 0 = 0 0 · 1= 0 1 · 1 = 1 Дополнение класса (инверсия), для обозначения класса используется «Â» «не» и называется операцией отрицанием. Не 0 = 1 Не 1 = 0

ОСНОВНОЙ ЗАКОН БУЛЯ Основным законом алгебры Буля является закон идемпотентности, в соответствии с которым исключаются все коэффициенты и показатели степеней. А+А+А+А=А А·А·А=А если заменить символ А на 2, то в булевой алгебре будет:2 + 2 = 2 Точно также и умножение : А·А·А·А = А 2·2=2

ВОПРОСЫ 1.В академии какого философа учился и работал Аристотель? 2.Кто был воспитанником у Аристотеля? 3.Как называлось школа, которую создал Аристотель? 4.В каком городе находился университет, который он закончил Лейбниц? 5.Кто из ученых ввел символы для обозначения высказываний? 6.Кому принадлежит идея логического исчисления? 7.В каких годах жил и работал Джордж Буль? 8.В каком году вышла в свет книга «Исследование законов мысли»?. 9.Как записывается закон идемпотентности? 10.Какие основные булевы операции вы знаете? Запишите в тетрадь правила логического сложения, умножения, отрицания.