X

Скопируйте код и вставьте его на свой сайт.

Ширина px

Вы можете уменьшить размер презентации, указав свой размер!

Основы логики

Разработка: Клинковская М.В. – учитель информатики и ИКТ МОУ гимназии № 7 г. ...
ЛОГИКА -- ЭТО УЧЕНИЕ О СПОСОБАХ РАССУЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ, НАУКА О ЗАКОНАХ ...
СОКРАТ ПЛАТОН АРИСТОТЕЛЬ Древняя Греция: XVII в. Готфрид Вильгельм Лейбниц: «...
ВЫСКАЗЫВАНИЕ – ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, В КОТОРОМ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ...
На марсе была жизнь. Динозавры были теплокровными животными. 1 марта 1 года н...
Высказывание может принимать одно из двух возможных логических значений: ИСТИ...
Конъюнкцией двух высказываний А и В называется новое высказывание А&В, которо...
Дизъюнкцией двух высказываний А и В называется новое высказывание АVВ, которо...
Отрицанием, или инверсией высказывания А называется новое высказывание А, кот...
Логическое выражение – форма записи высказывания. Логические выражения состав...
-- находятся значения выражений в скобках; -- выполняются логические операции...
1. (3x – 2y >5) AND (x-y
В текстовом процессоре MS Word изобразите таблицы (таблицу) истинности для ло...
Выучить основные понятия математической логики: -- определения основных логич...
Утверждение, заключенное в красную рамку на этом слайде, истинно. Утверждение...
Импликация -- связывает два простых логических высказывания, из которых перво...
Эквивалентность -- операция сравнения двух логических высказываний А и В, рез...
Н.Макарова. Информатика 7-9. «Питер», 2004 г . Информатика. Задачник-практику...
Класс
Автор

Основы логики

Описание презентации по отдельным слайдам:

1 слайд

Разработка: Клинковская М.В. – учитель информатики и ИКТ МОУ гимназии № 7 г. Балтийска 2009-2010 уч.год

2 слайд

ЛОГИКА -- ЭТО УЧЕНИЕ О СПОСОБАХ РАССУЖДЕНИЙ И ДОКАЗАТЕЛЬСТВ, НАУКА О ЗАКОНАХ И ФОРМАХ МЫШЛЕНИЯ «LOGOS» -- СЛОВО, МЫСЛЬ, ПОНЯТИЕ, РАССУЖДЕНИЕ, ЗАКОН

3 слайд

СОКРАТ ПЛАТОН АРИСТОТЕЛЬ Древняя Греция: XVII в. Готфрид Вильгельм Лейбниц: «Рассуждения могут быть сведены к механическому выполнению определенных действий по установленным правилам» XIX в. – логика формируется как самостоятельный раздел математики. Джордж Буль: «Математический анализ логики» - 1847г., «Исследование законов мышления, базирующихся на математической логике и теории вероятности» - 1854г.

4 слайд

ВЫСКАЗЫВАНИЕ – ПОВЕСТВОВАТЕЛЬНОЕ ПРЕДЛОЖЕНИЕ, В КОТОРОМ ЧТО-ЛИБО УТВЕРЖДАЕТСЯ ИЛИ ОТРИЦАЕТСЯ. Свойство высказывания: ПРО ВЫСКАЗЫВАНИЕ ВСЕГДА МОЖНО СКАЗАТЬ, ИСТИННО ОНО ИЛИ ЛОЖНО

5 слайд

На марсе была жизнь. Динозавры были теплокровными животными. 1 марта 1 года новой эры на территории современной Москвы прошел дождь. В тихом омуте черти водятся С помощью философского камня можно превратить свинец в золото.

6 слайд

Высказывание может принимать одно из двух возможных логических значений: ИСТИНА или ЛОЖЬ ЛОГИЧЕСКИЕ ПОСТОЯННЫЕ Или ЛОГИЧЕСКИЕ КОНСТАНТЫ

7 слайд

Конъюнкцией двух высказываний А и В называется новое высказывание А&В, которое истинно тогда и только тогда, когда истинны оба исходных (простых) высказывания. Конъюнкция – логическое умножение «И» AND А В А&B И И И И Л Л Л И Л Л Л Л

8 слайд

Дизъюнкцией двух высказываний А и В называется новое высказывание АVВ, которое ложно тогда и только тогда, когда оба исходных (простых) высказывания ложны. Дизъюнкция– логическое сложение «ИЛИ» OR А В АVB И И И И Л И Л И И Л Л Л

9 слайд

Отрицанием, или инверсией высказывания А называется новое высказывание А, которое истинно тогда, когда А – ложно, и ложно тогда, когда А – истинно. Отрицание, или инверсия «НЕ», «НЕВЕРНО, ЧТО» NOT А А И Л Л И

10 слайд

Логическое выражение – форма записи высказывания. Логические выражения составляются из простых высказываний с помощью логических операций, а так же операций отношения (>, =, 5) AND (x-y

11 слайд

-- находятся значения выражений в скобках; -- выполняются логические операции: - отрицание (NOT), - конъюнкция (AND), - дизъюнкция (OR).

12 слайд

1. (3x – 2y >5) AND (x-y

13 слайд

В текстовом процессоре MS Word изобразите таблицы (таблицу) истинности для логических операций: КОНЪЮНКЦИИ, ДИЗЪЮНКЦИИ, ИНВЕРСИИ. Полученный файл сохраните на рабочем столе под своей фамилией.

14 слайд

Выучить основные понятия математической логики: -- определения основных логических операций, таблицы истинности, -- приоритет операций; -- придумайте 3 логических выражения и найдите значение каждого из них (задание оформить в тетради).

15 слайд

Утверждение, заключенное в красную рамку на этом слайде, истинно. Утверждение, заключенное в синюю рамку на этом слайде, ложно.

16 слайд

Импликация -- связывает два простых логических высказывания, из которых первое (А) является условием, а второе (В) – следствием. Результатом импликации является ЛОЖЬ тогда и только тогда, когда условие (А) истинно, а следствие (В) ложно. Импликация – логическое следование «ЕСЛИ… , ТО…» А В А=>B И И И И Л Л Л И И Л Л И

17 слайд

Эквивалентность -- операция сравнения двух логических высказываний А и В, результатом которой является новое логическое высказывание А В, которое истинно тогда и только тогда, когда оба исходных высказывания одновременно истинны или ложны. Эквивалентность – равнозначность А В АB И И И И Л Л Л И Л Л Л И

18 слайд

Н.Макарова. Информатика 7-9. «Питер», 2004 г . Информатика. Задачник-практикум в 2 т. / Под ред. И.Г.Семакина, Е.К.Хеннера: Том 1, 2. – М.: БИНОМ. Лаборатория знаний, 2004. Энциклопедия для детей.[ том 11. ] Математика – 2-е изд., перераб./ ред.коллегия: М.Аксенова, В.Володин, М.Самсонов. – М.: Мир энциклопедий Аванта+, Астрель, 2007 – 621 [3] с.: ил. Энциклопедия для детей.[ том 22] Информатика / ред. Коллегия: М.Аксенова, Е.Журавлева, А.Леонов. – М.: Мир энциклопедий Аванта+, Астрель, 2008 – 624 с.: ил.