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