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