Логика предикатов - реферат по философии

 

Тезисы:

  • Логика предикатов с одним переменным . . . . . . . . . . . . . . . . . . . . . . . . . . . .5.
  • Предикатов с e-символом и предикатом существования.
  • Её решение и является целью данной курсовой работы.
  • Умея решать вопрос о выполнимости, мы тем самым сможем решать и вопрос об истинности любой формулы.
  • Современные исследования пролили свет на природу этих затруднений.
  • Для некоторых частных типов формул, однако, проблема разрешимости решается.
  • Ложна, и наоборот.
  • Невыполнима, и обратно.
  • Министерство Образования Российской Федерации.
  • Выполнил: студент гр. Ю-993.
Читать онлайнСкачать реферат

 

 

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

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

Предметы

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

 

 

Актуальные рефераты по философии