January 28th, 2013

Гин-сан

Хэлп ми!

Готовлюсь к экзаменам, предмет математическая логика и теория алгоритмов. И нигде не могу найти нормального и конкретного определения на четыре вопроса. Может кто может подсказать?
Вопросы следующие:
Табличный способ доказательства формул логики высказываний.
Правила построения таблиц в логике предикатов.
Правило существования и правило всеобщности в логике предикатов.
Формализация в логике высказываний и в логике предикатов

Искренне надеюсь на помощь.
promo den_stranger august 7, 2013 11:57 84
Buy for 10 tokens
Данный журнал принадлежит широко малоизвестному в узких кругах писателю Куприянову Денису. Если кого-то подобное заявление внезапно не отпугнуло, а заинтересовало то рекомендую посмотреть мою страничку на СамИздате. Сам журнал предназначен для выкладывания бредовых опусов, мыслей в духе Капитана…