Исчисление высказываний - реферат по информатике и телекоммуникациям

 

Тезисы:

  • Затем мы рассмотрим расширение исчисление высказываний до исчисления предикатов.
  • Начало исчисления высказываний было положено работами Джоржа Буля.
  • Это расширение позволит нам строить рассуждения над целым рядом конструкций таких, как циклы.
  • Мы также рассмотрим идеи эквивалентности, общезначимости или тавтологии для доказательства.
  • Сумма двух сторон треугольника больше или равна третьей стороне этого треугольника.
Читать онлайнСкачать реферат

 

 

Похожие работы:

Еще похожие работы

Предметы

Все предметы »

 

 

Актуальные рефераты по информатике и телекоммуникациям