GoodYear Posted November 9, 2003 Share Posted November 9, 2003 кто-нибудь изучал матлогику? нужно срочно найти доказательства правил вывода исчисления высказываний. в частности правила контрпозиции. может у кого есть учебники, лекции в электронном варианте? помогите, плиз. Quote Link to comment Share on other sites More sharing options...
mishuk Posted November 10, 2003 Share Posted November 10, 2003 http://libyr.narod.ru/lecmatlog2.htm Клини С. Математическая логика - неплохая книга, говорят. http://univ2.omsk.su/~guts/logic.htm http://mathforall.narod.ru/formuls/1.10.htm Quote Link to comment Share on other sites More sharing options...
GoodYear Posted November 13, 2003 Author Share Posted November 13, 2003 спасибо, Мишук, за ссылки. я уже все сам сделал Quote Link to comment Share on other sites More sharing options...
Black Alex Posted November 13, 2003 Share Posted November 13, 2003 Первоначальное сообщение от GoodYear я уже все сам сделал Ну, об этом мог бы и промолчать... Quote Link to comment Share on other sites More sharing options...
Guest thalamus Posted January 27, 2004 Share Posted January 27, 2004 Ymolqu pomogite - ny ochen' hochetsq poprobyvat')) Quote Link to comment Share on other sites More sharing options...
Guest thalamus Posted January 27, 2004 Share Posted January 27, 2004 Ymolqu pomogite - ny ochen' hochetsq poprobyvat')) Quote Link to comment Share on other sites More sharing options...
Recommended Posts
Join the conversation
You can post now and register later. If you have an account, sign in now to post with your account.