Описание материала:
Курсовая работа по математической логике, состоящая из нескольких заданий:
- Формализация составных высказываний.
- Упрощение формулы, перевод формулы на предметный язык и сравнение.
- Множество истинности предиката.
- Определение значения истинности высказывания.
- Определение временной сложности алгоритма.