Добавить материал и получить бесплатное свидетельство о публикации в СМИ
Эл. №ФС77-60625 от 20.01.2015
Инфоурок / Информатика / Конспекты / Конспект урока+презентация по информатике на тему Основы логики. Таблицы истинности(10 класс)

Конспект урока+презентация по информатике на тему Основы логики. Таблицы истинности(10 класс)

Международный конкурс по математике «Поверь в себя»

для учеников 1-11 классов и дошкольников с ЛЮБЫМ уровнем знаний

Задания конкурса по математике «Поверь в себя» разработаны таким образом, чтобы каждый ученик вне зависимости от уровня подготовки смог проявить себя.

К ОПЛАТЕ ЗА ОДНОГО УЧЕНИКА: ВСЕГО 28 РУБ.

Конкурс проходит полностью дистанционно. Это значит, что ребенок сам решает задания, сидя за своим домашним компьютером (по желанию учителя дети могут решать задания и организованно в компьютерном классе).

Подробнее о конкурсе - https://urokimatematiki.ru/


Идёт приём заявок на самые массовые международные олимпиады проекта "Инфоурок"

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

1. Бесплатные наградные документы с указанием данных образовательной Лицензии и Свидeтельства СМИ;
2. Призовой фонд 1.500.000 рублей для самых активных учителей;
3. До 100 рублей за одного ученика остаётся у учителя (при орг.взносе 150 рублей);
4. Бесплатные путёвки в Турцию (на двоих, всё включено) - розыгрыш среди активных учителей;
5. Бесплатная подписка на месяц на видеоуроки от "Инфоурок" - активным учителям;
6. Благодарность учителю будет выслана на адрес руководителя школы.

Подайте заявку на олимпиаду сейчас - https://infourok.ru/konkurs

  • Информатика

Название документа Презентация к уроку по информатике в 10 классе Основы логики. Таблицы истинности.pptx

Логические выражения Каждое составное высказывание можно выразить в виде форм...
Практическая работа
Задание 1. Даны два высказывания: А = «12 делится на 3» В = «12 делится на 4»...
Задание 2. Расставьте над символами логических операций их номера в порядке в...
Задание 3. Укажите значения переменных А и В, если: а) А ˄ В = 1 А = _____ В...
Задание 4. Заполните таблицу истинности логического выражения: ¬ (А ˄ В) А В...
Задание 4. Заполните таблицу истинности логического выражения: А ˅ ¬ В ˅ С А...
Домашняя работа Задание: Заполнить таблицу истинности логического выражения:...
1 из 8

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

№ слайда 1 Логические выражения Каждое составное высказывание можно выразить в виде форм
Описание слайда:

Логические выражения Каждое составное высказывание можно выразить в виде формулы (логического выражения) в которую входят логические переменные, обозначающие высказывания, и знаки логических операций, обозначающие логические функции. ФИО: Воронова Екатерина Николаевна Место работы: МАОУ "Лицей №1"г. Стерлитамак Должность: учитель информатики

№ слайда 2 Практическая работа
Описание слайда:

Практическая работа

№ слайда 3 Задание 1. Даны два высказывания: А = «12 делится на 3» В = «12 делится на 4»
Описание слайда:

Задание 1. Даны два высказывания: А = «12 делится на 3» В = «12 делится на 4» Записать символьно: а) 12 делится на 3 и на 4 б) 12 делится на 3 и не делится на 4 в) 12 не делится ни на 3, ни на 4 г) 12 делится на 3 или на 4 д) не верно, что12 не делится ни на 3, ни на 4 А ˄ В А ˄ ¬ В ¬ А ˄ ¬ В А ˅ В ¬ ( ¬ А ˄ ¬ В)

№ слайда 4 Задание 2. Расставьте над символами логических операций их номера в порядке в
Описание слайда:

Задание 2. Расставьте над символами логических операций их номера в порядке выполнения операций при вычислении выражения: а) ¬ A ˅ (В ˅ ¬ С) б) А ˅ В ˄ С в) А ˄ ¬ (В ˅ ¬ С) ˅ D 1 2 4 3 5 1 1 2 2 3 4

№ слайда 5 Задание 3. Укажите значения переменных А и В, если: а) А ˄ В = 1 А = _____ В
Описание слайда:

Задание 3. Укажите значения переменных А и В, если: а) А ˄ В = 1 А = _____ В = _____ Ответ: А = 1, В = 1 б) А ˅ В = 0 А = _____ В = _____ Ответ: А = 0, В = 0 в) ¬ (А ˄ В) = 1 А = _____ В = _____ Ответ: А = 1, В = 0

№ слайда 6 Задание 4. Заполните таблицу истинности логического выражения: ¬ (А ˄ В) А В
Описание слайда:

Задание 4. Заполните таблицу истинности логического выражения: ¬ (А ˄ В) А В А ˄ В ¬ (А ˄ В)

№ слайда 7 Задание 4. Заполните таблицу истинности логического выражения: А ˅ ¬ В ˅ С А
Описание слайда:

Задание 4. Заполните таблицу истинности логического выражения: А ˅ ¬ В ˅ С А В С ¬В А ˅ ¬ В А ˅ ¬ В ˅ С

№ слайда 8 Домашняя работа Задание: Заполнить таблицу истинности логического выражения:
Описание слайда:

Домашняя работа Задание: Заполнить таблицу истинности логического выражения: ¬ A ˅ (В ˅ ¬ С)

Название документа Урок по информатике в 10 классе Основы логики. Таблицы истинности.docx

Поделитесь материалом с коллегами:

hello_html_m636238bb.gifhello_html_m66270cfb.gifhello_html_m79e0f7c9.gifhello_html_m79e0f7c9.gifhello_html_550e4122.gifФИО: Воронова Екатерина Николаевна

Место работы: МАОУ "Лицей №1"г. Стерлитамак

Должность: учитель информатики



Тема: Основы логики. Таблицы истинности.

Класс: 10

Цели урока:

Образовательная: формировать практические умения решать логические задачи;

Развивающая: развитие алгоритмического мышления, памяти, внимательности;

Воспитательная: воспитывать научное мировоззрение, информационную культуру, расширять кругозор учащихся.

Методы обучения: - объяснительно - иллюстративный;

- практическая работа;

Тип урока: комбинированный.

План урока:

  1. Организационный момент 2 – 3 мин.

  2. Проверка и актуализация знаний – 6 мин.

  3. Объяснение нового материала – 10 мин.

  4. Практическая работа 20 мин.

  5. Домашняя работа – 2 – 3 мин

  6. Подведение итогов урока, выставление оценок 2 – 3 мин.

Оборудование: Мультимедийный проектор, презентация.


Ход урока

1. Организационный момент (2 – 3 мин)

Здравствуйте, ребята, присаживайтесь (проверка отсутствующих). Откройте тетради, запишите число и классная работа.

2. Проверка и актуализация знаний (6 мин)

  • Что такое конъюнкция, дизъюнкция и инверсия?

3. Объяснение нового материала (10 мин)

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

Для записи составного высказывания в виде логического выражения на формальном языке (языке алгебры логики) в составном высказывании нужно выделить простые высказывания и логические связи между ними.

Запишем в форме логического выражения составное высказывание (Два умножить на два равно пяти или Два умножить на два равно четырем) и (Два умножить на два не равно пяти или Два умножить на два не равно четырем). Проанализируем составное высказывание. Оно содержит два простых высказывания:

А = 2 hello_html_79c0f69b.gif 2 = 5 – ложно (0),

В = 2 hello_html_79c0f69b.gif 2 = 4 – истинно (1),

Тогда составное высказывание можно записать в следующей форме:

(А или В) и (hello_html_7dbe8413.gif или hello_html_f1665a9.gif)

Теперь необходимо записать высказывание в форме логического выражения с учетом последовательности выполнения логических операций. При выполнении логических операций определен следующий порядок их выполнения: инверсия, конъюнкция, дизъюнкция. Для изменения указанного порядка могут использоваться скобки: F = (A ˅ В) ˄ (hello_html_7dbe8413.gif ˅ hello_html_f1665a9.gif)

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

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

F = (A ˅ В) ˄ (hello_html_7dbe8413.gif ˅ hello_html_f1665a9.gif) = (0 ˅ 1) ˄ (1 ˅ 0) = 1 ˄ 1 = 1

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

При построении таблиц истинности целесообразно руководствоваться определенной последовательностью действий.

Во - первых, необходимо определить количество строк в таблице истинности. Оно равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение. Если количество логических переменных равно п, то: количество строк = hello_html_6f35c527.gif + 1.

В нашем случае логическая функция F = (A ˅ В) ˄ (hello_html_7dbe8413.gif ˅ hello_html_f1665a9.gif) имеет 2 переменные и, следовательно, количество строк в таблице истинности должно быть равно 4.

Во - вторых, необходимо определить количество столбцов в таблице истинности, которое равно количеству логических переменных плюс количество логических операций.

В нашем случае количество переменных равно двум, а количество логических операций - пяти, то есть количество столбцов таблицы истинности равно семи.

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

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

А

В

A ˅ B

hello_html_7dbe8413.gif

hello_html_f1665a9.gif

hello_html_7dbe8413.gif˅ hello_html_f1665a9.gif

(A ˅ В) ˄ (hello_html_7dbe8413.gif ˅ hello_html_f1665a9.gif)

0

0

0

1

1

1

0

0

1

1

1

0

1

1

1

1

1

0

1

1

1

1

1

1

0

1

0

0

Равносильные логические выражения. Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак «=».

Докажем, что логические выражения А ˄ В и A ˅ B равносильны. Построим сначала таблицу истинности логического выражения А ˄ В.

А

В

hello_html_7dbe8413.gif

hello_html_f1665a9.gif

hello_html_7dbe8413.gif˄ hello_html_f1665a9.gif

0

0

1

1

1

0

1

1

0

0

1

1

0

1

0

1

1

0

1

0

Теперь построим таблицу истинности логического выражения hello_html_2e84baec.gif.

А

В

hello_html_7dbe8413.gif

hello_html_f1665a9.gif

hello_html_7dbe8413.gif˄ hello_html_f1665a9.gif

0

0

1

1

1

0

1

1

0

0

1

1

0

1

0

1

1

0

1

0

Значения в последних столбцах таблиц истинности совпадают, следовательно, логические выражения равносильны:

hello_html_7dbe8413.gif˄ hello_html_f1665a9.gif = hello_html_2e84baec.gif

4. Практическая работа (20 мин)

Задание 1. Даны два высказывания

А = «12 делится на 3»

В = «12 делится на 4»

Записать символьно:

а) 12 делится на 3 и на 4 (Ответ: А ˄ В )

б) 12 делится на 3 и не делится на 4 (Ответ: А ˄ ¬ В )

в) 12 не делится ни на 3, ни на 4 (Ответ: ¬ А ˄ ¬ В )

г) 12 делится на 3 или на 4 (Ответ: А ˅ В )

д) не верно, что 12 не делится ни на 3, ни на 4 (Ответ: ¬ ( ¬ А ˄ ¬ В))

Задание 2. Расставьте над символами логических операций их номера в порядке выполнения операций при вычислении выражения:

а) ¬ A ˅ ˅ ¬ С)

б) А ˅ В ˄ С

в) А ˄ ¬˅ ¬ С) ˅ D

Задание 3. Укажите значения переменных А и В, если:

а) А ˄ В = 1 А = _____ В = _____ (Ответ: А = 1, В = 1)

б) А ˅ В = 0 А = _____ В = _____ (Ответ: А = 0, В = 0)

в) ¬˄ В) = 0 А = _____ В = _____ (Ответ: А = 1, В = 0)

Задание 4. Заполните таблицу истинности логических выражений:




а)

А

В

А ˄ В

¬˄ В)

0

0

1

0

0

1

1

0

1

0

1

0

1

1

0

1

б)

А

В

С

¬В

А ˅ ¬ В

А ˅ ¬ В ˅ С

0

0

0

0

0

0

0

0

1

0

0

1

0

1

0

1

1

1

0

1

1

1

1

1

1

0

0

0

1

1

1

0

1

0

1

1

1

1

0

1

1

1

1

1

1

1

1

1

5. Домашняя работа (2 – 3 мин)

Задание: Заполнить таблицу истинности логического выражения:

¬ A ˅ ˅ ¬ С)


6. Подведение итогов урока, выставление оценок (2 – 3 мин)


7. Использованная литература:

  1. Информатика и ИКТ. Задачник-практикум: в 2 т. / Л.А. Залогова [и др.]; под ред. И.Г. Семакина, Е.К. Хеннера. – 3 изд. – М.: БИНОМ. Лаборатория знаний, 2011.

  2. Семакин И.Г., Залогова Л.А, Русаков С.В., Шестакова Л.В. Информатика и ИКТ: учебник для 9 класса. – М.: БИНОМ. Лаборатория знаний, 2011.

  3. Семакин И.Г., Шеина Т.Ю. Преподавание базового курса информатики в средней школе: методическое пособие. М.: БИНОМ. Лаборатория знаний, 2007.

  4. Семакин И.Г., Вараксин Г.С. Структурированный конспект базового курса. – М.: Лаборатория Базовых Знаний, 2001.


Самые низкие цены на курсы профессиональной переподготовки и повышения квалификации!

Предлагаем учителям воспользоваться 50% скидкой при обучении по программам профессиональной переподготовки.

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

Обучение проходит заочно прямо на сайте проекта "Инфоурок".

Начало обучения ближайших групп: 18 января и 25 января. Оплата возможна в беспроцентную рассрочку (20% в начале обучения и 80% в конце обучения)!

Подайте заявку на интересующий Вас курс сейчас: https://infourok.ru/kursy



Автор
Дата добавления 10.02.2016
Раздел Информатика
Подраздел Конспекты
Просмотров312
Номер материала ДВ-440178
Получить свидетельство о публикации

УЖЕ ЧЕРЕЗ 10 МИНУТ ВЫ МОЖЕТЕ ПОЛУЧИТЬ ДИПЛОМ

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

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

Список всех тестов можно посмотреть тут - https://infourok.ru/tests

Похожие материалы

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