Добавил:
Upload
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:логика УРОК.doc
X
- •Урок №1-2 тема "алгебра высказываний. Основные операции алгебры высказываний"
- •I. Беседа с учащимися (файл matlog1.Ppt)
- •3. Прочтите формулы:
- •Ход урока.
- •20 Вопросов
- •Новый материал.
- •1. Установление истинности сложных высказываний.
- •2. Эквивалентность высказываний.
- •3. Тавтология.
- •I. Актуализация опорных знаний.
- •II. Составление таблиц истинности.
- •Самостоятельная работа. Вариант №1.
- •Вариант №2.
- •Домашнее задание.
- •Законы де моргана. Тождественность высказываний. Упрощение формул. План урока.
- •Ход урока.
- •I. Подача нового материала.
- •1. Упрощение формул.
- •2. Преобразования “поглощение” и “склеивание”
- •3. Всякую формулу можно преобразовать так, что в ней не будет отрицаний сложных высказываний - все отрицания будут применяться только к простым высказываниям.
- •4. Любую формулу можно тождественно преобразовать так, что в ней не будут использованы:
- •5. Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание.
- •II. Практическая работа на эвм.
- •I. Проверка домашнего задания (файл д_з3.Doc).
- •II. Решение логических задач.
- •2. Графический способ решения систем логических уравнений.
- •3. Решение логических задач на эвм.
- •Решение контрольной работы №1 "Истинность высказываний. Тавтологии. Эквивалентности. Законы логики. Тождественные преобразования". Вариант №1.
- •Вариант №2.
- •Вариант №3.
- •Вариант №4.
- •Решение логических задач.
- •План урока.
- •Ход урока.
- •I. Проверка домашнего задания.
- •II. Решение задач.
- •Задача.
- •I. Актуализация опорных знаний. Беседа.
- •II. Логические основы построения эвм.
- •III. Структурные формулы и функциональные схемы.
- •IV. Построение логического выражения по таблице истинности
- •V. Домашнее задание.
- •Применяя законы и правила преобразования формул булевой алгебры упростить выражения:
- •Решение.
- •Построить логические схемы, реализующие заданные функции:
Применяя законы и правила преобразования формул булевой алгебры упростить выражения:
Решение.
Построить логические схемы, реализующие заданные функции:
1. Прочтите формулы:
2. Установите с помощью таблиц истинности, какие из следующих формул - тавтологии:
3. Для формул придумайте формализуемые ими предложения:
а) б) в)
4. Установить истинность высказываний:
5. Установить эквивалентность высказываний:
а) б) в) г)
6. Упростить:
а) ; б) ; в) г) д) е) ж) з) и) й) к) л)
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
