Презентация «Алгебра логики»

В основе современной логики лежат учения, созданные ещё древнегреческими мыслителями, хотя первые учения о формах и способах мышления возникли в Древнем Китае и Индии. Основоположником формальной логики является Аристотель, который впервые отделил логические формы мышления от его содержания. Работа компьютера заключается в выполнении заданных человеком команд (утверждений - высказываний), то есть компьютер является исполнителем. Мышление всегда осуществляется через понятия, высказывания и умозаключения.Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличить их от других.Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод).Высказывание – законченно по смыслу предложение, относительно которого однозначно можно утверждать, истинно оно или ложно. Один из основателей математической логики: предложил использовать в логике символику и впервые высказал мысль о возможности использования в ней двоичной системы счисления. После Лейбница настоящий успех в исследованиях в области математической логики и двоичной системы счисления пришел к английскому математику –самоучке.Главный его труд «Исследование законов мышления, на которых основаны математические теории логики и вероятностей» появился в 1854 г. Какой длины эта лента?Прослушайте сообщение.Делайте утреннюю зарядку!Назовите устройство ввода информации.Кто отсутствует?Париж – столица Англии.Число 11 является простым.4 + 5 = 10.Без труда не вытащишь рыбку из пруда.Сложите числа 2 и 5.Некоторые медведи живут на севере.Все медведи – бурые.Чему равно расстояние от Москвы до Санкт-Петербурга.Проверка Какой длины эта лента? Прослушайте сообщение.Делайте утреннюю зарядку!Назовите устройство ввода информации.Кто отсутствует?Париж – столица Англии. ЯвляетсяЧисло 11 является простым. Является4 + 5 = 10. ЯвляетсяБез труда не вытащишь рыбку из пруда. ЯвляетсяСложите числа 2 и 5.Некоторые медведи живут на севере. ЯвляетсяВсе медведи – бурые. ЯвляетсяЧему равно расстояние от Москвы до Санкт-Петербурга. Простое высказывание – высказывание, содержащие утверждение относительно одного параметра объекта.Сложное высказывание – высказывание, содержащие утверждение относительно нескольких параметров. Сложное состоит из простых. Для создания логических выражений, которые применяются в условиях, используются логические операции. К основным логическим операциям относятся:AND – логическое «И».OR – логическое «ИЛИ».NE – отрицание. Чтобы пойти кататься на лыжах, необходимы снег и хорошая погода.Если погода плохая, мы не идем.Если нет снега, мы не идем.Если нет снега и погода плохая, мы не идем.Мы идем при выполнении обоих условий.Вариант № 1Снег есть, погода плохая = не идем кататься 1 + 0 = 0 Вариант № 2Снега нет, погода хорошая = не идем кататься 0 + 1 = 0Вариант № 3Снега нет, погода плохая = не идем кататься 0 + 0 = 0Вариант № 4 Снег есть, погода хорошая = идем кататься 1 + 1 = 1 Мы пойдем в кино в выходной день или на каникулах. Вариант № 1Сегодня выходной день, но не каникулы = идем в кино 1 + 0 = 1 Вариант № 2Сегодня не выходной, но каникулы = идем в кино 0 + 1 = 1Вариант № 3Сегодня не выходной и не каникулы = не идем в кино 0 + 0 = 0Вариант № 4 Сегодня выходной и каникулы = идем в кино 1 + 1 = 1 8 марта - праздник Вариант № 1 8 марта – праздник 1 Вариант № 2Неверно, что 8 марта - праздник0 AND – логическое «И»OR – логическое «ИЛИ» AND 0 + 1 = 0 1 + 0 = 0 0 + 0 = 0 1 + 1 = 1 OR 0 + 1 = 1 1 + 0 = 1 0 + 0 = 0 1 + 1 = 1 Соколова Щ. Л., Универсальные поурочные разработки по информатике. 10 класс. М.: ВАКО, 2006. – 400 с. – (В помощь школьному учителю).Информатика. 5-7 классы: материалы к урокам/авт.сост. С. в. сидорова. – Волгоград: Учитель, 2008. – 128 с.Библиотечка «Первое сентября», серия «Информатика», вып. 6, М.: Чистые пруды, 2005.https://encrypted-tbn2.gstatic.com/images?q=tbn:ANd9GcQjXrfxG-zpQXr2aqQL_NRtGMWMPtLZhvWNGMWoxFcJRux765Ighttps://encrypted-tbn2.gstatic.com/images?q=tbn:ANd9GcSNJxO0fziL5VsAedp_cfuq8bP6cNcVO07AeubJipnEkmmX9TZ5YQhttps://encrypted-tbn2.gstatic.com/images?q=tbn:ANd9GcQcXgA3ngrktYKApD4dmb_y-kQjM3f1-co1uTIorPZ71p3Sp3ZlxAhttp://go1.imgsmail.ru/imgpreview?key=http%3A//img243.imageshack.us/img243/3050/70014597.gif&mb=imgdb_preview_1451http://go2.imgsmail.ru/imgpreview?key=http%3A//infoegehelp.ru/my_image_zadachi/logika_i.jpg&mb=imgdb_preview_847