Алгебра логики Скачать
презентацию
<<  Логика высказываний Функции алгебры логики  >>
История науки алгебры логики
История науки алгебры логики
Содержание
Содержание
Аристотель
Аристотель
Аристотель
Аристотель
Вильгельм Лейбниц (1646-1716)
Вильгельм Лейбниц (1646-1716)
Вильгельм Лейбниц (1646-1716)
Вильгельм Лейбниц (1646-1716)
Джордж Буль
Джордж Буль
Джордж Буль
Джордж Буль
Булева алгебра
Булева алгебра
Основной Закон Буля
Основной Закон Буля
Вопросы
Вопросы
Формы мышления
Формы мышления
Формы мышления
Формы мышления
Логика– это наука о формах и способах мышления
Логика– это наука о формах и способах мышления
Понятие
Понятие
Высказывание – это форма мышления
Высказывание – это форма мышления
Умозаключение
Умозаключение
Определение формы
Определение формы
Домашнее задание
Домашнее задание
Картинки из презентации «История алгебры логики» к уроку алгебры на тему «Алгебра логики»

Автор: User. Чтобы познакомиться с картинкой полного размера, нажмите на её эскиз. Чтобы можно было использовать все картинки для урока алгебры, скачайте бесплатно презентацию «История алгебры логики.ppt» со всеми картинками в zip-архиве размером 109 КБ.

Скачать презентацию

История алгебры логики

содержание презентации «История алгебры логики.ppt»
Сл Текст Сл Текст
1История науки алгебры логики. Составила:учитель информатики 8отрицания.
Семенова З.С. г.Заинск. 9Формы мышления.
2Содержание. Аристотель (384г.-322г.до н.э.) Вильгельм 10ЛОГИКА– это наука о формах и способах мышления. Аристотель
Лейбниц (1646-1716) Джордж Буль(1815-1864 гг.) Булева алгебра отделил формы мышления от его содержания Логика позволяет
Основной закон Буля Вопросы Определение логики Понятие строить формальные модели окружающего мира, отвлекаясь от
Высказывание Умозаключение Вопросы. содержательной стороны. Мышления всегда существует в каких – то
3АРИСТОТЕЛЬ (384г.-322г.до н.э.). Основы формальной логики формах – это понятие, высказывание, умозаключение.
заложил ученый Древней Греции Аристотель Заслуга ученого состоит 11ПОНЯТИЕ – это форма мышление, которая фиксирующая основные,
в том, что он отделил форму мышления от содержания. Попытался существенные признаки объекта. Понятие имеет две стороны:
соединить логику и математику, разработал раздел теории содержание и объем. Содержание это совокупность признаков
доказательств. Биография Аристотель.doc. объекта. Объем – это совокупность (количество объектов ) на
4Вильгельм лейбниц (1646-1716). Лейбниц взглянул на логику которые эти признаки распространяются.
Аристотеля через призму математики Он создал «Азбуку мыслей», 12ВЫСКАЗЫВАНИЕ – это форма мышления. В которой что-либо
сжатый и краткий язык символов. Разработал идея логического утверждается или отрицается о свойствах реальных предметов и
исчисления. Рассуждения обозначил буквами, сложные отношениях между ними. Высказывание может быть истинно или
высказывания-формулами. В результате удалось содержательные ложно. Свое понимание окружающего мира человек формулирует в
рассуждения заменить формальными форме высказываний.(суждений, утверждений). Высказывание
вычислениями.БиографияЛейбниц.doc. строиться на основе понятий и по форме является
5ДЖОРДЖ БУЛЬ(1815-1864 гг.). Дж.Буль автор известный повествовательным предложением. Высказывание об объекте может
произведений «Математический анализ логики»(1847г.) Основной быть истинным или ложным. Высказывание не может быть
труд Дж. Буля «Исследование законов мысли», в ней представлен вопросительным или повелительным т.к. оценка истинности или
раздел логики- алгебра высказываний. В 1844 г. Буль получает ложности невозможна. Истинность является величиной
золотую медаль за работ по математическому анализу. БиографияДж. относительной, и завесит от многих причин и обстоятельств.
Буль.doc. Ссылка:формы_мышлен.doc.
6Булева алгебра. Правила сложения (дизъюнкция) в булевой 13УМОЗАКЛЮЧЕНИЕ – это форма мышления, с помощью которой из
алгебре выглядят так: 0 + 0 = 0 1 + 0 = 1 0 + 1 = 1 1 + 1 = 1 одного или нескольких суждений может быть получено новое
Сложение обозначается «или», «+», «v». 1. Умножение классов, суждение (заключение). Умозаключение позволяет на основе
обозначился «·» и в настоящее время эта операция называется известных фактов, выраженных в форме высказываний, получить
«конъюнкцией» или «пересечением» и обозначается символами «?» заключение, т.е. новое знание.(геометр. док-ва) Посылками
«&» «И». Правила умножения (конъюнкция) булевой алгебре: 0 · умозаключения могут быть только истинные суждения, тогда
0 = 0 1 · 0 = 0 0 · 1= 0 1 · 1 = 1 Дополнение класса (инверсия), заключение будет истинным, в противном случае можно прийти к
для обозначения класса используется «?» «не» и называется ложному умозаключению.(по подробнее можно прочесть по
операцией отрицанием. Не 0 = 1 Не 1 = 0. гиперссылке формы_мышлен.doc.
7Основной закон буля. Основным законом алгебры Буля является 14Вопросы. 1 Определение формы понятие. 2 Чем характеризуется
закон идемпотентности, в соответствии с которым исключаются все понятие? 3 Придумайте примеры понятий об объектах: квадрат,
коэффициенты и показатели степеней. А+А+А+А=А А·А·А=А. если стол, вода. 4 Определение высказывания. 5 Какие значения
заменить символ А на 2, то в булевой алгебре будет:2 + 2 = 2 принимает высказывание ? 6 Может ли суждение высказанное в
Точно также и умножение : А·А·А·А = А 2·2=2. повелительной форме являться высказыванием? Привести пример. 7
8Вопросы. 1.В академии какого философа учился и работал Придумайте и запишите в тетрадь простые высказывания. 8
Аристотель? 2.Кто был воспитанником у Аристотеля? 3.Как Придумайте и запишите в тетрадь сложные высказывания.
называлось школа, которую создал Аристотель? 4.В каком городе 15Домашнее задание. 0. 1. Придумайте слова противоположные по
находился университет, который он закончил Лейбниц? 5.Кто из смыслу. Занесите эти слова в таблицу. В булевой алгебре
ученых ввел символы для обозначения высказываний? 6.Кому используется численное обозначение:1 и 0. Цифрой «1» обозначим
принадлежит идея логического исчисления? 7.В каких годах жил и состояние «горячо», а «0» - состояние «холодно». Продолжите
работал Джордж Буль? 8.В каком году вышла в свет книга заполнение таблице, где «1» и «0» означает не количественное
«Исследование законов мысли»? . 9.Как записывается закон отношение, а только символизирует два возможных конкретных
идемпотентности? 10.Какие основные булевы операции вы знаете? состояния. Годная. Горячо. Бракова-нная.
Запишите в тетрадь правила логического сложения, умножения,
«История алгебры логики» | История алгебры логики.ppt
http://900igr.net/kartinki/algebra/Istorija-algebry-logiki/Istorija-algebry-logiki.html
cсылка на страницу

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

другие презентации об алгебре логики

«Примеры логических функций» - Определить истинность формулы. Даны простые высказывания. Определите, кто из подозреваемых участвовал в преступлении. Определение. Заполните таблицу истинности. В нарушении правил обмена валюты подозреваются четыре банка. Логические функции двух переменных. Логические функции. Банк B нарушил правила обмена валюты.

«Булевы функции» - Приоритет выполнения операций. Построить таблицу истинности. Булевы функции двух переменных. Функция. Эквивалентные формулы. Основные определения. Булевы функции и алгебра логики. Задание булевых функций. Формула содержит функции. Самодвойственные булевы функции. Значение двоичного кода. Законы и тождества алгебры логики.

«Алгебра логики» - Упражнения. Постройте отрицания. Предложения не являются высказываниями. Логическое равенство. Этапы развития логики. Число. Высказывание. Суждения. Логическое умножение. Эквивалентность. Вопросительные и восклицательные предложения. Импликация. Металлы. Формы мышления. Значение логической переменной.

«Логическое умножение, сложение и отрицание» - Истина. Логическое отрицание (инверсия). Простые высказывания в алгебре логики. Составное высказывание на естественном языке. Результатом операции логического сложения является «ложь». Логическое сложение (дизъюнкция). Логическое умножение (конъюнкция). Результатом операции логического отрицания является «истина».

«Функции алгебры логики» - Свойства конъюнкции и дизъюнкции. Наборы переменных. Индуктивное определение формулы. Значение “основания”. Переменная. Соотношения, связанные с “навешиванием отрицания”. Класс монотонных функций. Таблица для функции f. Класс монотонных функций М - замкнутый класс. Вычислительная сложность. Суперпозиция функций алгебры логики.

«История алгебры логики» - Основной Закон Буля. Джордж Буль. История науки алгебры логики. Умозаключение. Содержание. Вильгельм Лейбниц (1646-1716). Аристотель. Понятие. Формы мышления. Определение формы. Логика– это наука о формах и способах мышления. Булева алгебра. Вопросы. Высказывание – это форма мышления.

Урок

Алгебра

34 темы
Картинки
Презентация: История алгебры логики | Тема: Алгебра логики | Урок: Алгебра | Вид: Картинки
900igr.net > Презентации по алгебре > Алгебра логики > История алгебры логики.ppt