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

Дистанционные курсы для педагогов - курсы профессиональной переподготовки от 5 480 руб.;
- курсы повышения квалификации от 1 400 руб.
Московские документы для аттестации

ВЫБРАТЬ КУРС СО СКИДКОЙ 60%

ВНИМАНИЕ: Скидка действует ТОЛЬКО до 28 февраля!

(Лицензия на осуществление образовательной деятельности №038767 выдана ООО "Столичный учебный центр", г.Москва)

Инфоурок / Информатика / Презентации / Презентация по теме "Основы логики" 1, 2 уроки

Презентация по теме "Основы логики" 1, 2 уроки


Напоминаем, что в соответствии с профстандартом педагога (утверждён Приказом Минтруда России), если у Вас нет соответствующего преподаваемому предмету образования, то Вам необходимо пройти профессиональную переподготовку по профилю педагогической деятельности. Сделать это Вы можете дистанционно на сайте проекта "Инфоурок" и получить диплом с присвоением квалификации уже через 2 месяца!

Только сейчас действует СКИДКА 50% для всех педагогов на все 184 курса профессиональной переподготовки! Доступна рассрочка с первым взносом всего 10%, при этом цена курса не увеличивается из-за использования рассрочки!

ВЫБРАТЬ КУРС И ПОДАТЬ ЗАЯВКУ
библиотека
материалов
Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г....
НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
 Понятия Высказывания Умозаключения
форма мышления, которая выделяет существенные признаки предмета или класса пр...
формулировка своего понимания окружающего мира (повествовательное предложение...
ИСТИННОЕ			 (Пример: Буква «А» - гласная) 							 ЛОЖНОЕ (Пример: Компьютер б...
форма мышления, с помощью которой из одного или нескольких суждений может быт...
наука об общих операциях, аналогичных сложению и умножению, которые выполняют...
Логическая переменная – это простое высказывание, содержащее только одну мысл...
Название 	Обозначение 	Союз в естественном языке	Пример А – «Число 10 – четно...
таблица определяющая значение сложного высказывания при всех возможных значен...
Вывод: Результат будет истинным тогда и только тогда, когда оба исходных выск...
Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказ...
Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот...
Вывод: Результат будет ложным тогда и только тогда, когда из истинного основа...
Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания...
Если составное высказывание (логическую функцию) выразить в виде формулы, в к...
 Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность
Это составное высказывание состоит из простых высказываний: А = «Петя поедет...
Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное жи...
Урок №2
3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v (...
3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)
3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)
3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C
3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)
3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)
3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)
3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C
3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)

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

1 слайд Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г.
Описание слайда:

Муравьева Инна Владимировна Учитель информатики и ИКТ МБОУ «Гимназия №11» г. Выборг, Ленинградская обл. Урок №1

2 слайд НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ
Описание слайда:

НАУКА О ФОРМАХ И СПОСОБАХ МЫШЛЕНИЯ

3 слайд  Понятия Высказывания Умозаключения
Описание слайда:

Понятия Высказывания Умозаключения

4 слайд форма мышления, которая выделяет существенные признаки предмета или класса пр
Описание слайда:

форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их друг от друга (Пример: Прямоугольник - геометрическая фигура у которой все углы прямые и противоположные стороны равны)

5 слайд формулировка своего понимания окружающего мира (повествовательное предложение
Описание слайда:

формулировка своего понимания окружающего мира (повествовательное предложение в котором что-либо утверждается или отрицается) (Пример: Париж – столица Франции)

6 слайд ИСТИННОЕ			 (Пример: Буква «А» - гласная) 							 ЛОЖНОЕ (Пример: Компьютер б
Описание слайда:

ИСТИННОЕ (Пример: Буква «А» - гласная) ЛОЖНОЕ (Пример: Компьютер был изобретен до нашей эры)

7 слайд форма мышления, с помощью которой из одного или нескольких суждений может быт
Описание слайда:

форма мышления, с помощью которой из одного или нескольких суждений может быть получено новое суждение (знание или вывод) (Пример: любая теорема)

8 слайд наука об общих операциях, аналогичных сложению и умножению, которые выполняют
Описание слайда:

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

9 слайд Логическая переменная – это простое высказывание, содержащее только одну мысл
Описание слайда:

Логическая переменная – это простое высказывание, содержащее только одну мысль Обозначение: латинская буква (А, В, Х …) Значение: ИСТИНА (1) или ЛОЖЬ (0) Логическая функция – это составное высказывание, которое содержит несколько простых мыслей, соединенных между собой с помощью логических операций Обозначение: F Логические операции – логическое действие

10 слайд Название 	Обозначение 	Союз в естественном языке	Пример А – «Число 10 – четно
Описание слайда:

Название Обозначение Союз в естественном языке Пример А – «Число 10 – четное» В – «Число 10 – отрицательное» Конъюнкция (логическое умножение) А ^ B или A & B И «Число 10 четное и отрицательное» - ЛОЖЬ Дизъюнкция (логическое сложение) A v B ИЛИ «Число 10 четное или отрицательно» - ИСТИНА Инверсия (отрицание) ¬ A или Ā НЕ «Число 10 нечетное» – ЛОЖЬ «Число 10 – не отрицательное» - ИСТИНА Импликация логическое следование) А → В ЕСЛИ … ТО …; КОГДА …. ТОГДА …. «Если число 10 – четное, то оно отрицательное» - ЛОЖЬ Эквивалентность (логическое равенство) А В или А ↔ В … ТОГДА И ТОЛЬКО ТОГДА, КОГДА … «Число 10 – четное тогда и только тогда, когда оно отрицательное» - ЛОЖЬ

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

таблица определяющая значение сложного высказывания при всех возможных значениях простых высказываний

12 слайд Вывод: Результат будет истинным тогда и только тогда, когда оба исходных выск
Описание слайда:

Вывод: Результат будет истинным тогда и только тогда, когда оба исходных высказывания истинны А В А^В 0 0 0 0 1 0 1 0 0 1 1 1

13 слайд Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказ
Описание слайда:

Вывод: Результат будет ложным тогда и только тогда, когда оба исходных высказывания ложны, и истинным во всех остальных случаях А В А v В 0 0 0 0 1 1 1 0 1 1 1 1

14 слайд Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот
Описание слайда:

Вывод: Результат будет ложным, если исходное высказывание истинно, и наоборот. А Ā 0 1 1 0

15 слайд Вывод: Результат будет ложным тогда и только тогда, когда из истинного основа
Описание слайда:

Вывод: Результат будет ложным тогда и только тогда, когда из истинного основания (А) следует ложное следствие (В) А В А → В 0 0 1 0 1 1 1 0 0 1 1 1

16 слайд Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания
Описание слайда:

Вывод: Результат будет истинным тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны А В А ↔ В 0 0 1 0 1 0 1 0 0 1 1 1

17 слайд Если составное высказывание (логическую функцию) выразить в виде формулы, в к
Описание слайда:

Если составное высказывание (логическую функцию) выразить в виде формулы, в которую войдут логические переменные и знаки логических операций, то получится ЛОГИЧЕСКОЕ ВЫРАЖЕНИЕ истина ложь

18 слайд  Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность
Описание слайда:

Действия в скобках Инверсия Конъюнкция Дизъюнкция Импликация Эквивалентность

19 слайд Это составное высказывание состоит из простых высказываний: А = «Петя поедет
Описание слайда:

Это составное высказывание состоит из простых высказываний: А = «Петя поедет в деревню» В = «Будет хорошая погода» С = «Он пойдет на рыбалку» Записываем высказывание в виде логического выражения, учитывая порядок действий F = A ^ (B → C)

20 слайд Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное жи
Описание слайда:

Есть два простых высказывания: А = «Число 10 четное» В = Волк – травоядное животное» Составьте из них все возможные составные высказывания и определите их истинность Запишите следующие высказывания в виде логических выражений: Неверно, что корова – хищное животное На уроке физики ученики выполняли лабораторную работу и сообщали результаты учителю. Если Маша – сестра Саши, то Саша - брат Маши.

21 слайд Урок №2
Описание слайда:

Урок №2

22 слайд 3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v (
Описание слайда:

3. Решить логические выражения: F(A, B) =¬(А v В)^( A ^ ¬B) F(A, B, C) =C v ( B ^ A ^ ¬C) F(A, B, C) =А ^ В v ¬B v ¬A ^ C F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C F(A, B, C) = (A v B) → (¬A v C) F(A, B, C) = ¬A v С v (A ^ ¬B) F(A, B, C) = (A v B) ^ (¬A v C) F(A, B, C) = A ^¬B ^ C v A v B v ¬C F(A, B, C) = (A ^ B) → (A v ¬C)

23 слайд 3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)
Описание слайда:

3. Решить логические выражения: 1) F(A, B) =¬(А v В)^( A ^ ¬B)

24 слайд 3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)
Описание слайда:

3. Решить логические выражения: 2) F(A, B, C) =C v ( B ^ A ^ ¬C)

25 слайд 3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C
Описание слайда:

3. Решить логические выражения: 3) F(A, B, C) =А ^ В v ¬B v ¬A ^ C

26 слайд 3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C
Описание слайда:

3. Решить логические выражения: 4) F(A, B, C) =А ^ ¬B ^ C v A v B v ¬C

27 слайд 3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)
Описание слайда:

3. Решить логические выражения: 5) F(A, B, C) = (A v B) → (¬A v C)

28 слайд 3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)
Описание слайда:

3. Решить логические выражения: 6) F(A, B, C) = ¬A v С v (A ^ ¬B)

29 слайд 3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)
Описание слайда:

3. Решить логические выражения: 7) F(A, B, C) = (A v B) ^ (¬A v C)

30 слайд 3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C
Описание слайда:

3. Решить логические выражения: 8) F(A, B, C) = A ^¬B ^ C v A v B v ¬C

31 слайд 3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)
Описание слайда:

3. Решить логические выражения: 9) F(A, B, C) = (A ^ B) → (A v ¬C)

Общая информация

Номер материала: ДВ-004300



Очень низкие цены на курсы переподготовки от Московского учебного центра для педагогов

Специально для учителей, воспитателей и других работников системы образования действуют 60% скидки (только до конца зимы) при обучении на курсах профессиональной переподготовки (124 курса на выбор).

После окончания обучения выдаётся диплом о профессиональной переподготовке установленного образца с присвоением квалификации (признаётся при прохождении аттестации по всей России).

Подайте заявку на интересующий Вас курс сейчас: KURSY.ORG

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

Курс повышения квалификации «Табличный процессор MS Excel в профессиональной деятельности учителя математики»
Курс повышения квалификации «Методика преподавания информатики в начальных классах»
Курс повышения квалификации «Современные информационные технологии и их использование в работе преподавателей. Системы автоматизированного проектирования одежды и организация технологического процесса»
Курс повышения квалификации «Основы создания интерактивного урока: от презентации до видеоурока»
Курс повышения квалификации «Организация работы по формированию медиаграмотности и повышению уровня информационных компетенций всех участников образовательного процесса»
Курс повышения квалификации «Облачные технологии в образовании»
Курс «Оператор персонального компьютера»
Курс «1С: Предприятие 7.7»
Курс «WEB-ВЕРСТКА (HTML, CSS)»
Курс повышения квалификации «Развитие информационно-коммуникационных компетенций учителя в процессе внедрения ФГОС: работа в Московской электронной школе»
Курс профессиональной переподготовки «Информационные технологии в профессиональной деятельности: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Введение в программирование на языке С (СИ)»
Курс профессиональной переподготовки «Математика и информатика: теория и методика преподавания в образовательной организации»
Курс повышения квалификации «Современные тенденции цифровизации образования»
Курс повышения квалификации «Современные языки программирования интегрированной оболочки Microsoft Visual Studio C# NET., C++. NET, VB.NET. с использованием структурного и объектно-ориентированного методов разработки корпоративных систем»

Благодарность за вклад в развитие крупнейшей онлайн-библиотеки методических разработок для учителей

Опубликуйте минимум 3 материала, чтобы БЕСПЛАТНО получить и скачать данную благодарность

Сертификат о создании сайта

Добавьте минимум пять материалов, чтобы получить сертификат о создании сайта

Грамота за использование ИКТ в работе педагога

Опубликуйте минимум 10 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Свидетельство о представлении обобщённого педагогического опыта на Всероссийском уровне

Опубликуйте минимум 15 материалов, чтобы БЕСПЛАТНО получить и скачать данное cвидетельство

Грамота за высокий профессионализм, проявленный в процессе создания и развития собственного учительского сайта в рамках проекта "Инфоурок"

Опубликуйте минимум 20 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Грамота за активное участие в работе над повышением качества образования совместно с проектом "Инфоурок"

Опубликуйте минимум 25 материалов, чтобы БЕСПЛАТНО получить и скачать данную грамоту

Почётная грамота за научно-просветительскую и образовательную деятельность в рамках проекта "Инфоурок"

Опубликуйте минимум 40 материалов, чтобы БЕСПЛАТНО получить и скачать данную почётную грамоту

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