Четверг, 20.07.2017, 15:35
План-конспекты уроков по информатике
0+ Главная Регистрация Вход
Приветствую Вас, Гость · RSS
Меню сайта
Категории раздела
Все [56]
logoWriter [19]
Уроки по теме "logoWriter"
CorelDraw [7]
Практические задания с пошаговым алгоритмом выполнения по теме "CorelDraw"
MacromediaFlash [0]
Практические работы по теме "MacromediaFlash"
MS Excel [7]
План-конспекты по теме "MS Excel"
Логика [10]
План-конспекты уроков по логике
Разное [10]
Уроки, которые не подходят ни в одну категорию
Pascal [7]
Форма входа
Статистика

Яндекс.Метрика

Онлайн всего: 1
Гостей: 1
Пользователей: 0
Наш опрос
Очень сложно найти конспект на тему...
Всего ответов: 632
Реклама
 Каталог статей
Главная » Уроки » Все

Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.

Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.

Цели урока:
1) научить учащихся переводить и записывать различные выражения с естественного языка на язык алгебры логики;
2) развивать логическое мышление;
3)воспитывать интерес к предмету.
Ход урока.
I.    Орг. момент.
II.    Повторение.
Какие из приведенных ниже выражений являются формулами логики высказываний, а какие нет?
•    А+=> В;
•    (+ p + q);
•    p=> q => r ;
•    (q + p) => r.
1,2 не являются формулами логики высказываний.
III.    Новая тема.
Аппарат алгебры логики можно с успехом использовать для решения содержательных задач с запутанными исходными данными. Однако, прежде чем воспользоваться аппаратом алгебры логики, необходимо научиться правильно переводить высказывания естественного языка на символический язык алгебры логики. Как уже отмечалось, различают два вида высказываний: простые и сложные. Сложное высказывание состоит из двух или больше простых высказываний, соединенных с помощью логических операций. Логическое значение сложного высказывания зависит от значений составляющих его простых высказываний.
Рассмотрим несколько примеров.
1.    Переведите на язык алгебры логики следующее высказывание: «Я поеду в Москву, и если встречу там друзей, то мы интересно проведем время».
Ведем следующие простые высказывания:
М – «я поеду в Москву»;
В – «встречу там друзей»;
И – интересно проведем время».
Формула: М ∙ (В=> И).
2.    Переведите на язык алгебры логики следующее высказывание: «Если я поеду в Москву и встречу там друзей, то мы интересно проведем время».
Формула: (М ∙ В) => И.
3.    Переведите на язык алгебры логики следующее высказывание: «Неверно, что если дует ветер, то солнце светит только тогда, когда нет дождя».

Ведем следующие простые высказывания:
В – «дует ветер»;
Д – «идет дождь»;
С - «светит солнце».
Запишем исходное высказывание на языке алгебры логики:
¬(В=> (¬С=> Д ))
4.    Переведите на язык алгебры логики следующее высказывание: «Если будет солнечная погода, то ребята пойдут в лес, а если будет пасмурная погода, то ребята пойдут в кино».
Ведем следующие простые высказывания:
    С – «солнечная погода»;
    Р – «ребята пойдут в лес»;
К – «ребята пойдут в кино».
Запишем исходное высказывание на языке алгебры логики:
( С=> Р ) ∙ (¬С=> К ).
5.    Найдите отрицание следующего высказывания и сформулируйте его на естественном языке: «Если урок информатики будет интересным, то никто из школьников  - Миша, Вика, Саша - не будет смотреть в окно».
Введем следующие простые высказывания:
У – «урок информатики будет интересным»;
М – «Миша будет смотреть в окно»;
В – «Вика будет смотреть в окно»;
С – «Саша будет смотреть в окно».
Тогда:
   ¬ (У => (¬М ∙ ¬В ∙ ¬С))= ¬(¬У + (¬М ∙ ¬В ∙ ¬С))= У ∙  ¬ (¬М ∙ ¬В ∙ ¬С) = У ∙ (М+В+С).
Урок информатики будет интересным, но по крайней мере один из школьников будет смотреть в окно.

IV.  Д/задание.
6.    Переведите на язык алгебры логики следующее высказывание: « Неверно, что если погода пасмурная, то дождь идет только тогда, когда нет ветра».
Категория: Все | Добавил: Казначей (06.04.2011)
Просмотров: 23833 | Комментарии: 1 | Теги: Перевод выражений с естественного я | Рейтинг: 3.0/2
Не забываем комментировать!!!

Другие материалы
Урок 13,14. Команда ПОВТОРИ. Повторение команд чер...
Урок №20-21. Использование переменных в команде ПО...
Сортировка и фильтрация данных в MS Excel
Урок 15,16. Выделение вспомогательных алгоритмов. ...
Практическая работа №7: Визитная карточка
Тема 6. Преобразование логических выражений.
Занятие1.2: Структура электронной таблицы. Адреса...
Графика в Турбо Паскаль.
Урок 6: Построение изображений в цвете
Цикл с постусловием (цикл "ДО")
Урок 3: Команды перемещения исполнителя черепашка
Практическая работа №1: Работа с графическими прим...

Всего комментариев: 1
1  
I like to party, not look articles up onnlie. You made it happen.

Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Copyright KUPI © 2017
Готовимся к ЕГЭ и ГИА
ГИА, ЕГЭ 2014 по информатике ФИПИ скачать бесплатно без смс
Отследи свою посылку
Друзья сайта
  • Софт бесплатно
  • Интернет магазин бесплатно
  • Наша ссылка
    Наша кнопка
    Конспекты уроков
    Лидеры по просмотрам
    Тема 8. Решение логических задач.
    Виды и типы современных языков программирования
    Алгоритм и его свойства
    Информация: определение, свойства, формы представления; информационные процессы.
    Тема 7. Перевод и запись различных выражений с естественного языка на язык алгебры логики.
    Относительная и абсолютная адресация
    Моделирование и формализация. Часть 1.
    Графика в Турбо Паскаль.
    Сортировка и фильтрация данных в MS Excel
    Понятие формализации. Часть 2.
    Загрузить файл
    Сделать бесплатный сайт с uCoz