Логіка Буля !

Опис вашого першого форуму.

Логіка Буля !

Повідомлення qeasqdew » П'ят березня 15, 2013 7:15 am

Для чого потрібна програма "Master of Logic" ?
qeasqdew
 
Повідомлень: 6
З нами з: П'ят березня 15, 2013 6:18 am

Re: Логіка Буля !

Повідомлення Саша » П'ят березня 15, 2013 8:26 am

1.будувати таблицю істинності для довільної формули алгебри висловлень від n висловлювальних змінних, де 1 ≤ n ≤ 31;
2.визначати, до якого класу формул належить задана формула;
3.встановлювати, чи є дві формули алгебри висловлень рівносильними;
4.для формул алгебри висловлень, що задаються в аналітичному вигляді або таблично, будувати досконалі кон'юнктивні і диз'юнктивні нормальні форми, а також мінімальні кон'юнктивні і диз'юнктивні нормальні форми;
5.встановлювати, чи є задана формула алгебри висловлень логічним наслідком скінченної кількості посилок;
6.розв'язувати булеві рівняння та системи булевих рівнянь;
7.створювати і працювати з файлами, які містять задачі вказаних типів;
8.створювати завдання для проведення самостійних і контрольних робіт з відповідних тем або для комплексного контролю знань.
Саша
 
Повідомлень: 6
З нами з: П'ят березня 15, 2013 6:33 am


Повернутись до Ваш перший форум

Хто зараз онлайн

Зараз переглядають цей форум: Немає зареєстрованих користувачів і 0 гостей

cron