01;
. Запишіть заперечення таких умов:
х = 5; А або В; х = к2.
. Знайдіть безліч істинності кон'юнкцій наступних предикатів (безліч значень х є безліч дійсних чисел):
х2 + х - 2 = 0, х2 = 4;
х3 = 1, х2 - 4х + 4 = 0;
. Наведіть приклад внутрішньо суперечливого предиката (такого, що область його істинності порожній). p align="justify">. Зробити висновок про виконану роботу. p align="justify"> Висновок
Дана методика передбачає 2 резервних заняття, спрямованість яких вибирає викладач. Це дозволяє пристосувати дану методику до конкретних вимог до рівня знань учнів, робить її універсальною. З невеликою коригуванням дану методику можна застосовувати при вивченні даної теми в школах з поглибленим вивченням інформатики. Дана методика не претендує на місце єдино вірною, проте слід зауважити, що розбивка тим, на мій погляд, найбільш оптимальна. br/>
Література:
1. Павловський та ін В«Інформатика 10В» - Мінськ: Народна асвета, 2000. p> 2.Бусленко В. І. В«Логіка ЕОМВ» - Москва: Просвещение, 1980.
3.Гротта Д., Гротта С.В. В«Як думає комп'ютерВ» - Москва: Просвещение, 1995. p>. Дьяков В. В«Системи числення: загальні відомостіВ» - Мінськ: Народна асвета, 1995.
. Валерьев П. Д. В«Залізна логікаВ» - Москва: Просвещение, 2000.
. Швидких Н. Н. В«Введення в булеву алгебруВ» - Москва: Знання, 1999.
. Логан Б. А. В«Дітям про комп'ютериВ» - Москва: Просвещение, 1995.