Вікіпедія:Проєкт:Комп'ютерні науки/Несистематизовані

Навчальні програми

Тема 4.1 Абстрактна алгебра Буля. Аксіоми та теореми булевої алгебри. Булеві функції та формули. Побудова таблиць істинності. Відповідні перетворення. Досконалі форми: ДДНФ, ДКНФ. Алгебра Жегалкіна.

Тема 4.2 Дослідження та перетворення систем булевих функцій. Властивості булевих функцій: монотонність, самоподвійність, лінійність. Функціональна замкненість класів булевих функцій. Функціональна повнота. Теорема Поста. Скорочені та мінімальні дизъюнктивні форми. Діаграми Вейча.

Prefix: a b c d e f g h i j k l m n o p q r s t u v w x y z 0 1 2 3 4 5 6 7 8 9

Portal di Ensiklopedia Dunia

Kembali kehalaman sebelumnya