Курсовая по математической логике, вариант №3

Описание материала:
Курсовая работа по математической логике, состоящая из нескольких заданий:

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

Информация о материале:

  • Год: 2010
  • Формат: doc
  • Размер материала: 28,1 KiB


Комментировать эту запись

Вы можете следить за ответами к этой записи через RSS 2.0. Вы можете оставить отзыв или трекбек со своего сайта.