Презентация к уроку "Алгебра логики"
презентация к уроку по информатике и икт (9 класс) на тему

Слайд 1

АЛГЕБРА ЛОГИКИ Презентацию составила учитель информатики МАОУ Домодедовскго лицея №3 Карастелина Е.В.

Слайд 2

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

Слайд 3

АРИСТОТЕЛЬ(384 Г.ДО Н.Э.- 322 Г.ДО Н.Э.) Ученик Платона. С 343 до н. э. — воспитатель Александра Македонского. В 335/4 г. до н. э. основал Ликей (др.-греч. Λύκειο Лицей) Наиболее влиятельный из диалектиков древности; основоположник формальной логики. Создал понятийный аппарат, который до сих пор пронизывает философский лексикон и сам стиль научного мышления. Аристотель был первым мыслителем, создавшим всестороннюю систему философии, охватившую все сферы человеческого развития — социологию, философию, политику, логику, физику. Его взгляды на онтологию имели серьёзное влияние на последующее развитие человеческой мысли. Метафизическое учение Аристотеля было принято Фомой Аквинским и развито схоластическим методом.

Слайд 4

ГОТФРИД ВИЛЬГЕЛЬМ ЛЕЙБНИЦ (1646-1716) ЛЕЙБНИЦ Готфрид Вильгельм немецкий философ, математик, физик, языковед. Основатель и президент (с 1700) Бранденбургского научного общества (позднее - Берлинская АН). По просьбе Петра I разработал проекты развития образования и государственного управления в России. Реальный мир, по Лейбницу, состоит из бесчисленных психических деятельных субстанций - монад, находящихся между собой в отношении предустановленной гармонии ("Монадология", 1714); существующий мир создан богом как "наилучший из всех возможных миров" ("Теодицея", 1710). В духе рационализма развил учение о прирожденной способности ума к познанию высших категорий бытия и всеобщих и необходимых истин логики и математики ("Новые опыты о человеческом разуме", 1704). Предвосхитил принципы современной математической логики ("Об искусстве комбинаторики", 1666). Один из создателей дифференциального и интегрального исчислений.

Слайд 5

ДЖОРЖ БУЛЬ (1815-1864) Джордж Буль— английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849. Один из предтеч математической логики. Создатель математической логики (булева алгебра или логика высказываний).

Слайд 6

ТЕСТ

Слайд 7

Немного отдыха

Слайд 8

БУЛЕВАЯ АЛГЕБРА ИЛИ ЛОГИКА ВЫСКАЗЫВАНИЙ

Слайд 9

ВЫСКАЗЫВАНИЕ - ЭТО МИНИМАЛЬНАЯ МЫСЛЬ, УТВЕРЖДЕНИЕ, КОТОРОЕ МОЖЕТ БЫТЬ ЛИБО ИСТИННЫМ, ЛИБО ЛОЖНЫМ.

Слайд 10

ПОСЫЛКА - ЭТО УТВЕРЖДЕНИЕ, ИЗ КОТОРОГО МЫ ИСХОДИМ В СВОИХ РАССУЖДЕНИЯХ.

Слайд 11

УМОЗАКЛЮЧЕНИЕ - ЭТО МЫСЛИТЕЛЬНЫЙ ПРОЦЕСС, В КОТОРОМ ИЗ ОДНОГО ИЛИ НЕСКОЛЬКИХ СУЖДЕНИЙ, ДЕЛАЕТСЯ ЗАКЛЮЧЕНИЕ.

Слайд 12

ГИПОТЕЗА -ЭТО УТВЕРЖДЕНИЕ, ИСТИННОСТЬ КОТОРОГО ТРЕБУЕТСЯ ДОКАЗАТЬ.

Слайд 13

ПРОТИВОРЕЧИЕ - ЭТО СИТУАЦИЯ, КОГДА В ПРОЦЕССЕ НАШИХ РАССУЖДЕНИЙ ПОЛУЧИЛИСЬ ДВА ВЗАИМОИСКЛЮЧАЕМЫХ УТВЕРЖДЕНИЯ.

Слайд 14

СУЖДЕНИЕ - ЭТО ЕДИНИЦА МЫШЛЕНИЯ.

Слайд 15

Основные законы Закон тождества Закон противоречия Закон исключения третьего Закон достаточного основания

Слайд 16

Методы мышления Дедукция Метод приведения к противоречию

Слайд 17

конец