Курсовая по дискретной математике

 
Тема: Метод резолюций при исчислении высказываний

Состоит из двух частей: 

теоретической и практической 

в теоретической раскрыть понятия метода, привести простые примеры. 

в практической решить задачу. 

Ни поэты, ни отшельники не могут быть палачами. 
Палач будет художником только в том случае, если он китаец. 
Если человек не китаец, то он не станет хорошим палачом. 
Кроме этого китайцы являются хорошими поэтами. 
Все китайцы в мире становятся либо художниками, либо поэтами. 
Все хорошие люди либо поэты, либо отшельники. 
Палачи не могут быть хорошими людьми. 
Не отшельники являются либо палачами, либо китайцами. 
Следовательно, некоторые поэты в мире хорошие люди. 

требования к объему: 14й шрифт, 1.5 интервал, объем страниц 20-25.