2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

» » »




  Пред. тема | След. тема 
gefest_md 
 логика высказываний. резолюция
Сообщение03.12.2012, 20:57 
Аватара пользователя
Подскажите книгу, где есть доказательство теоремы.
Цитата:
Пусть $F$ - формула в КНФ. Если $F$ невыполнима, то $\emptyset\in Rez^*(F)$.
 
 
gefest_md 
 Re: логика высказываний. резолюция
Сообщение04.12.2012, 19:16 
Аватара пользователя
Нашёл здесь.
 
 
 Страница 1 из 1
  [ Сообщений: 2 ] 

Список форумов » Математика » Помогите решить / разобраться (М) » Мат. логика, основания математики, теория алгоритмов


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group