den_stranger (den_stranger) wrote,
den_stranger
den_stranger

Хэлп ми!

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

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

  • Отпускное

    Третий день как дома и третий день не могу расписать как классно отдохнули. Реально расслабленность, плюс жара делают своё коварное дело. Хочется…

  • 41 однако

    Ну вот минус ещё один год. Если честно то чем дальше, тем больше я устаю. Начинаю стонать, нудеть, что меня сильно огорчает. Увы, но кавайная,…

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

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

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