Васильева Н.И.
Учитель информатики и ИКТ МОУ СОШ №35 г.Белгорода
Формы мышления. Алгебра высказываний.
(Информатика,10 класс)
Презентационное сопровождение урока
Урок-лекция по теме: «Основы логики. »
Тема урока:
«Формы мышления. Алгебра высказываний. »
Цели урока:
•сформировать у учащихся понятие форм мышления;
•сформировать понятия: логическое высказывание, логические величины, логические операции.
Содержание
•Формы мышления
•Алгебра высказываний
•Задания для фронтальной работы
•Задания для командной работы
•Задания для индивидуальной работы
•Работа с обобщающей таблицей
•Кроссворд
•Подведение итогов
•Домашнее задание
•Рефлексия
Формы мышления
•Как человек мыслит?
•Что в нашей обыденной речи является высказыванием, а что - нет. Предложение «Кто последний?» — это высказывание или нет?
•Арифметическое умножение и логическое умножения. В чем сходство и различие?
•Познание истины– одна из важнейших потребностей человека. Каждый человек и человечество в целом стремятся к истине, добру и красоте. Все люди нуждаются в истинном знании, получении новой информации о мире, в котором они живут. Для чего? Для того, чтобы жить, что в данном случае означает ориентироваться в быстро меняющейся обстановке, принимать правильные решения и на их основе совершать правильные действия.
•Человек с древних времен стремился познать законы правильного мышления, т. е. логические законы. Законы развития есть у природы, общества, любой сложной системы и, конечно же, у самого мышления. Существует даже мнение, что всякое движение нашей мысли, постигающей истину, добро и красоту, опирается на логические законы. Мы можем не осознавать их, но вынуждены всегда следовать этим законам, чтобы жить в обществе, общаться с людьми, понимать их и быть понятыми. Наука логика помогает познанию этих законов.
•Логика- наука, изучающая формы и законы человеческого мышления.
Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные в 4 веке до нашей эры древне- греческими мыслителями. Основы формальной логики заложил Аристотель, который впервые отделил логические формы речи от ее содержания. Он исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.
АРИСТОТЕЛЬ (384-322 до н. э.)
Древнегреческий философ. Учился у Платона в Афинах; в 335 основал Ликей, или перипатетическую школу. Воспитатель Александра Македонского. Сочинения Аристотеля охватывают все отрасли тогдашнего знания. Основоположник формальной логики. создатель силлогистики. «Первая философия» (позднее названа метафизикой) содержит учение об основных принципах бытия: возможности и осуществлении, форме и материи, действующей причине и цели СИЛЛОГИСТИКА (от греч. syllogistikos — выводящий умозаключение), исторически первое, созданное Аристотелем учение о логической дедукции, в котором рассматриваются рассуждения в форме силлогизмов.
ЛЕЙБНИЦ Готфрид Вильгельм
(1 июля 1646,Лейпциг — 14 ноября 1716, Ганновер)
Немецкий математик, физик и философ, организатор и первый президент Берлинской академии наук. Вошел в историю математики прежде всего как создатель дифференциального и интегрального исчисления, комбинаторики, теории определителей. Но его имя стоит и в ряду выдающихся изобретателей счетных устройств; в 1694 году им было создано механическое устройство для расчетов. Лейбниц вплотную приблизился и к созданию математической логики: предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления, которая позднее нашла применение в автоматических вычис лительных машинах.