den_stranger (den_stranger) wrote,
den_stranger
den_stranger

Хэлп ми!

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

Искренне надеюсь на помощь.
Tags: вопрос
Subscribe

  • Пятница-развратница

    Очередная пятница и очередная подборка историй на эротическую и околоэротическую тематику. Погнали. Игрушки надо прятать Дети видят всё. -…

  • Немного про детей

    Младшая дочка у нас конечно няша. Вечно такая улыбчивая, на позитиве. Но, в обиду себя не даёт. Чуть какой наезд, реакция молниеносная. Старшая…

  • Злободневно-третьесентябрьское

    Вот за что благодарен Шуфутинову дню, так за то что узнал про эту команду. Сижу и балдею от их креативных каверов.

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

    Error

    switch
    default userpic

    Your reply will be screened

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
    Help
  • 3 comments