1560371
столько раз учителя, ученики и родители
посетили сайт «Инфоурок»
за прошедшие 24 часа
Добавить материал и получить бесплатное
свидетельство о публикации
в СМИ №ФС77-60625 от 20.01.2015
ИнфоурокИнформатикаПрезентацииПрезентация к уроку по информатике и ИКТ по теме «Основы логики»

Презентация к уроку по информатике и ИКТ по теме «Основы логики»

ВНИМАНИЮ ВСЕХ УЧИТЕЛЕЙ: согласно Федеральному закону N273-ФЗ «Об образовании в Российской Федерации» педагогическая деятельность требует от педагога наличия системы специальных знаний в области обучения и воспитания детей с ОВЗ. Поэтому для всех педагогов является актуальным повышение квалификации по этому направлению!

Дистанционный курс «Организация работы с обучающимися с ограниченными возможностями здоровья (ОВЗ) в соответствии с ФГОС» от проекта "Инфоурок" даёт Вам возможность привести свои знания в соответствие с требованиями закона и получить удостоверение о повышении квалификации установленного образца (72 часа).

Подать заявку на курс
Выберите документ из архива для просмотра:

Выбранный для просмотра документ Логические основы.ppt

библиотека
материалов
Логические основы ПК  НРМОУ “Сентябрьская СОШ” © Выполнила Учитель информат...
3) Логические законы Содержание: 1) Логика и основные формы мышления 2) Логич...
ЛОГИКА Логика – это наука о формах и способах мышления Аристотель заложил ос...
ПОНЯТИЕ Понятие – это форма мышления, отражающая наиболее существенные призна...
ДИАГРАММА ЭЙЛЕРА-ВЕННА Диаграмма Эйлера –Венна используется для наглядной гео...
ВЫСКАЗЫВАНИЕ Высказывание – это форма мышления, в которой что-либо утверждает...
УМОЗАКЛЮЧЕНИЕ Умозаключение – это форма мышления, с помощью которой из одного...
ДОКАЗАТЕЛЬСТВО Доказательство есть мыслительный процесс, направленный на подт...
математики логики В основе число, переменная высказывание (логическая перемен...
Сколько различных чисел существует? Сколько различных значений могут принимат...
Простые высказывания в алгебре логики обозначаются прописными латинскими букв...
Составное высказывание на естественном языке образуется с помощью связок и, и...
Объединение двух (или нескольких) высказываний в одно с помощью союза «и» наз...
На формальном языке алгебры логики операцию логического умножения (конъюнкцию...
Объединение двух (или нескольких) высказываний в одно с помощью союза «или» н...
На формальном языке алгебры логики операцию логического операцию логического...
Присоединение частицы «не» к высказыванию называется операцией логического от...
Результатом операции логического отрицания является «истина» (1), когда аргум...
Законы логики
Правило коммутативности 			А & В = В & А			 			А v В = В v А Правило ассоциат...
Правила равносильности 		 		А v A = А 		A & A = A Правила исключения констант...
Упростить логическое выражение (A & В) v (A & В). 		 (A & В) v (A & В) = А &...
Найти значение логической переменной Х из логического уравнения Х v A v X v A...
1) Когда результатом операции логического умножения (конъюнкции) является «ис...
Практическое задание «Таблица истинности» (с использованием электронных табли...
Составное высказывание, образованное в результате операции логического умноже...
Составное высказывание, образованное в результате операции логического сложен...
Назад к вопросам Логическое отрицание (инверсия) получает из истинного высказ...

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

1 слайд Логические основы ПК  НРМОУ “Сентябрьская СОШ” © Выполнила Учитель информат
Описание слайда:

Логические основы ПК  НРМОУ “Сентябрьская СОШ” © Выполнила Учитель информатики Погудина З.И. п.Сентябрьский © 2012

2 слайд 3) Логические законы Содержание: 1) Логика и основные формы мышления 2) Логич
Описание слайда:

3) Логические законы Содержание: 1) Логика и основные формы мышления 2) Логическое умножение, сложение и отрицание 4) Правила преобразования логических выражений. 5) Вопросы и задания

3 слайд ЛОГИКА Логика – это наука о формах и способах мышления Аристотель заложил ос
Описание слайда:

ЛОГИКА Логика – это наука о формах и способах мышления Аристотель заложил основы формальной логики. Он отделил логические формы мышления от его содержания. Логика позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятие, высказывание (суждение), умозаключение.

4 слайд ПОНЯТИЕ Понятие – это форма мышления, отражающая наиболее существенные призна
Описание слайда:

ПОНЯТИЕ Понятие – это форма мышления, отражающая наиболее существенные признаки предмета, отличающие его от других предметов. Содержание понятия составляет совокупность существенных признаков предмета. Объём понятия определяется совокупностью предметов, на которую понятие распространяется. Чем больше объём понятия, тем меньше его содержание, и наоборот, чем больше содержание понятия, тем меньше его объём. Понятие «компьютер» объединяет множество электронных устройств, которые предназначены для обработки информации и обладают монитором и клавиатурой. Понятие «карманный компьютер» охватывает меньший объём, чем понятие «компьютер», но обладает большей содержательностью.

5 слайд ДИАГРАММА ЭЙЛЕРА-ВЕННА Диаграмма Эйлера –Венна используется для наглядной гео
Описание слайда:

ДИАГРАММА ЭЙЛЕРА-ВЕННА Диаграмма Эйлера –Венна используется для наглядной геометрической иллюстрации объёмов понятий и соотношений между ними. Если имеются какие-либо понятия А, В, С и т.д. то объём каждого понятия (множество) можно представить в виде круга, а отношения между этими объёмами (множествами) – в виде пересекающихся кругов Соотношение между объёмами понятий «натуральные числа» и «чётные числа» Чётные числа Натуральные числа А С В Объём понятия «натуральные числа» включает в себя множество целых положительных чисел А. Объём понятия «чётные числа» включает в себя множество отрицательных и положительных чисел В. Множества А и В пересекаются, так как оба включают в себя множество положительных чётных чисел С.

6 слайд ВЫСКАЗЫВАНИЕ Высказывание – это форма мышления, в которой что-либо утверждает
Описание слайда:

ВЫСКАЗЫВАНИЕ Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть либо истинно, либо ложно. В простом высказывании никакая его часть сама не является высказыванием. «Наступила весна» Составное (сложное) высказывание состоит из простых высказываний. «Наступила весна, и прилетели грачи» В истинном высказывании связь понятий правильно отражает свойства и отношения реальных вещей. «Два умножить на два равно четырём» В математической логике рассматриваются предикаты, т.е. функциональные зависимости от неопределенных понятий (терминов), которые можно сравнить с переменными в уравнении. В ложном высказывании связь понятий искажает объективные отношения, не соответствует реальной действительности. «Два умножить на два равно пяти» Порядок предикатов равен числу неопределенных терминов.

7 слайд УМОЗАКЛЮЧЕНИЕ Умозаключение – это форма мышления, с помощью которой из одного
Описание слайда:

УМОЗАКЛЮЧЕНИЕ Умозаключение – это форма мышления, с помощью которой из одного или нескольких высказываний (посылок) может быть получено новое высказывание (вывод). Умозаключения бывают дедуктивные, индуктивные и по аналогии. «Все металлы электропроводны» «Ртуть является металлом» ___________________________________________________ «Ртуть электропроводна» В дедуктивных умозаключениях рассуждения ведутся от общего к частному В умозаключениях по аналогии движение мысли от общности одних свойств и отношений у сравниваемых предметов или процессов к общности других свойств и отношений В индуктивных умозаключениях рассуждения ведутся от частного к общему «Металлы железо и цинк электропроводны» ___________________________________________________________________ «Все металлы электропроводны» «Химический состав Солнца и Земли сходен» «На Солнце есть химический элемент гелий» ___________________________________________________________________ «На Земле тоже должен быть химический элемент гелий»

8 слайд ДОКАЗАТЕЛЬСТВО Доказательство есть мыслительный процесс, направленный на подт
Описание слайда:

ДОКАЗАТЕЛЬСТВО Доказательство есть мыслительный процесс, направленный на подтверждение или опровержение какого-либо положения посредством других несомненных, ранее обоснованных доводов. Доказательство по своей логической форме не отличается от умозаключения. Однако, в умозаключении заранее исходят из истинности посылок, а в доказательстве подвергается логической проверке истинность самих посылок. «Все углы треугольника равны» ___________________________________________________________________ «Этот треугольник равносторонний» Пример умозаключений – геометрические доказательства

9 слайд математики логики В основе число, переменная высказывание (логическая перемен
Описание слайда:

математики логики В основе число, переменная высказывание (логическая переменная)

10 слайд Сколько различных чисел существует? Сколько различных значений могут принимат
Описание слайда:

Сколько различных чисел существует? Сколько различных значений могут принимать переменные? Сколько различных значений могут принимать логические переменные? «Истина» (1) «Ложь» (0)

11 слайд Простые высказывания в алгебре логики обозначаются прописными латинскими букв
Описание слайда:

Простые высказывания в алгебре логики обозначаются прописными латинскими буквами. А – «Два умножить на два равно четырем». В – «Два умножить на два равно пяти». Какова истинность высказываний? Первое высказывание истинно (А = 1). Второе высказывание ложно (В = 0). Логическое умножение, сложение и отрицание

12 слайд Составное высказывание на естественном языке образуется с помощью связок и, и
Описание слайда:

Составное высказывание на естественном языке образуется с помощью связок и, или, не, которые в алгебре логики заменяются на логические операции умножения, сложения и отрицания. Логические операции задаются таблицами истинности.

13 слайд Объединение двух (или нескольких) высказываний в одно с помощью союза «и» наз
Описание слайда:

Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией. Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. 1) «2  2 = 5 и 3  3 = 10» (ложно) 2) «2  2 = 5 и 3  3 = 9» (ложно) 3) «2  2 = 4 и 3  3 = 10» (ложно) 4) «2  2 = 4 и 3  3 = 9» (истинно) Конъюнкция

14 слайд На формальном языке алгебры логики операцию логического умножения (конъюнкцию
Описание слайда:

На формальном языке алгебры логики операцию логического умножения (конъюнкцию) принято обозначать значком «&» (амперсенд) или значком «». Значение логической операции умножения задается с помощью таблицы истинности. Таблица истинности показывает, какие значения дает логическая операция при всех возможных наборах ее аргументов. Результатом операции логического умножения является «истина» (1) тогда и только тогда, когда оба аргумента принимают значения «истина» (1). Конъюнкция А В А & В 0 0 0 0 1 0 1 0 0 1 1 1

15 слайд Объединение двух (или нескольких) высказываний в одно с помощью союза «или» н
Описание слайда:

Объединение двух (или нескольких) высказываний в одно с помощью союза «или» называется операцией логического сложения или дизъюнкцией. Составное высказывание, образованное в результате операции логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. 1) «2  2 = 5 или 3  3 = 10» (ложно) 2) «2  2 = 5 или 3  3 = 9» (истинно) 3) «2  2 = 4 или 3  3 = 10» (истинно) 4) «2  2 = 4 или 3  3 = 9» (истинно) Дизъюнкция

16 слайд На формальном языке алгебры логики операцию логического операцию логического
Описание слайда:

На формальном языке алгебры логики операцию логического операцию логического сложения (дизъюнкцию) принято обозначать значком «». Значение логической операции сложения задается с помощью таблицы истинности. Результатом операции логического сложения является «ложь» (0) тогда и только тогда, когда оба аргумента принимают значения «ложь» (0). Дизъюнкция А В А v В 0 0 0 0 1 1 1 0 1 1 1 1

17 слайд Присоединение частицы «не» к высказыванию называется операцией логического от
Описание слайда:

Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией. Логическое отрицание (инверсия) получает из истинного высказывания ложное и, наоборот, из ложного — истинное. Высказывание «Два умножить на два равно четырем» истинно. Высказывание, образованное с помощью операции логического отрицания, «Два умножить на два не равно четырем» ложно. Инверсия

18 слайд Результатом операции логического отрицания является «истина» (1), когда аргум
Описание слайда:

Результатом операции логического отрицания является «истина» (1), когда аргумент принимает значение «ложь» (0), и значение «ложь» (0), когда аргумент принимает значение «истина» (1). На формальном языке алгебры логики операцию логического отрицания (инверсию) над логическим высказыванием А принято обозначать или А, или  А. Значение логической операции отрицания задается с помощью таблицы истинности. Инверсия А А 0 1 1 0

19 слайд Законы логики
Описание слайда:

Законы логики

20 слайд Правило коммутативности 			А & В = В & А			 			А v В = В v А Правило ассоциат
Описание слайда:

Правило коммутативности А & В = В & А А v В = В v А Правило ассоциативности (А & В) & C = A & (В & C) (А v В) v C = A v (В v C) Правило дистрибутивности (А & В) v (A & C) = A & (В v C) (А v В) & (A v C) = A v (В & C)

21 слайд Правила равносильности 		 		А v A = А 		A & A = A Правила исключения констант
Описание слайда:

Правила равносильности А v A = А A & A = A Правила исключения констант А v 1 = 1 А v 0 = A А & 1 = A A & 0 = 0 Правила преобразования

22 слайд Упростить логическое выражение (A & В) v (A & В). 		 (A & В) v (A & В) = А &
Описание слайда:

Упростить логическое выражение (A & В) v (A & В). (A & В) v (A & В) = А & (B v B) = A & 1 = A По правилу дистрибутивности По закону исключения третьего По правилу исключения констант ПРЕОБРАЗОВАНИЕ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ

23 слайд Найти значение логической переменной Х из логического уравнения Х v A v X v A
Описание слайда:

Найти значение логической переменной Х из логического уравнения Х v A v X v A = В. (Х v A) v (X v A) = В (Х & A) v (X & A) = В Х & (A v A) = В Х & 1 = В Х = В Х = В Решение логического уравнения

24 слайд 1) Когда результатом операции логического умножения (конъюнкции) является «ис
Описание слайда:

1) Когда результатом операции логического умножения (конъюнкции) является «истина»? 2) Когда результатом операции логического сложения (дизъюнкции) является «истина»? 3) Когда результатом операции логического отрицания (инверсии) является «истина»? 4) Как называется таблица, которая показывает, какие значения даёт логическая операция при всех возможных наборах ее аргументов. Вопросы и задания Ответ Ответ Ответ Ответ

25 слайд Практическое задание «Таблица истинности» (с использованием электронных табли
Описание слайда:

Практическое задание «Таблица истинности» (с использованием электронных таблиц Microsoft Excel) (стр.160-163). Дополнительно: 2. Лабораторная работа «Решение задач с использованием электронных таблиц Microsoft Excel» (№ 3.4 на стр.163 и №3.5 на стр. 164).

26 слайд Составное высказывание, образованное в результате операции логического умноже
Описание слайда:

Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны все входящие в него простые высказывания. Назад к вопросам

27 слайд Составное высказывание, образованное в результате операции логического сложен
Описание слайда:

Составное высказывание, образованное в результате операции логического сложения (дизъюнкции), истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний. Назад к вопросам

28 слайд Назад к вопросам Логическое отрицание (инверсия) получает из истинного высказ
Описание слайда:

Назад к вопросам Логическое отрицание (инверсия) получает из истинного высказывания ложное и, наоборот, из ложного — истинное. Результатом операции логического отрицания является «истина» (1), когда аргумент принимает значение «ложь» (0), и значение «ложь» (0), когда аргумент принимает значение «истина» (1).

Курс профессиональной переподготовки
Учитель информатики
Почему учителям и воспитателям следует проходить курсы повышения квалификации и профессиональной переподготовки в учебном центре «Инфоурок» ?

• Огромный каталог:  677 курсов профессиональной переподготовки и повышения квалификации;
• Очень низкая цена, при этом доступна оплата обучения в рассрочку – первый взнос всего 10%, оставшуюся часть необходимо оплатить до конца обучения;
• Вы можете начать обучение уже сегодня (группы формируются ежедневно);
• Курсы проходят полностью в дистанционном режиме (форма обучения в документах не указывается);
• Возможность оплаты курса за счёт Вашей организации.
• Дипломы и Удостоверения от проекта «Инфоурок» соответствуют всем установленным законодательству РФ требованиям. (Согласно ФЗ «Об образовании в Российской Федерации» от 2012 года).
Найдите материал к любому уроку,
указав свой предмет (категорию), класс, учебник и тему:
также Вы можете выбрать тип материала:
Краткое описание документа:
Погудина Зинаида Ивановна, учитель информатики НРМОБУ «Сентябрьская СОШ». Презентация по информатике и ИКТ по теме «Основы логики». Данная тема изучается в 10-11 классе. В презентации представлен материал по алгебре множеств, о диаграмме Эйлера-Венна, о терминах и о связке высказываний. Приводятся определения логики, понятия, высказывания, умозаключения, доказательства. Представлены виды высказываний, умозаключений. В презентации даются определения конъюнкции, дизъюнкции, инверсии, приводится понятие таблицы истинности. Дается представление об использовании логических законов и правил преобразования логических выражений. Презентация содержит контрольные вопросы и задания. Для лучшего восприятия информации, в презентации выполнены переходы и анимация. Слайд «Содержание» имеет гиперссылки, благодаря которым можно перейти на любой пункт содержания в презентации. Слайд с контрольными вопросами построен также с гиперссылками, которые позволяют после прочтения вопроса увидеть правильный ответ.
Общая информация

Вам будут интересны эти курсы:

Курс повышения квалификации «Информационные технологии в деятельности учителя физики»
Курс повышения квалификации «Методика преподавания информатики в начальных классах»
Курс повышения квалификации «Внедрение системы компьютерной математики в процесс обучения математике в старших классах в рамках реализации ФГОС»
Курс профессиональной переподготовки «Информатика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Облачные технологии в образовании»
Курс повышения квалификации «Специфика преподавания информатики в начальных классах с учетом ФГОС НОО»
Курс повышения квалификации «Введение в программирование на языке С (СИ)»
Курс повышения квалификации «Современные тенденции цифровизации образования»
Курс повышения квалификации «Специфика преподавания дисциплины «Информационные технологии» в условиях реализации ФГОС СПО по ТОП-50»
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.
Включите уведомления прямо сейчас и мы сразу сообщим Вам о важных новостях. Не волнуйтесь, мы будем отправлять только самое главное.