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