Falcão (falcao) wrote,
Falcão
falcao

  • Mood:
  • Music:

правила логического рассуждения: обсуждение

Я только что разместил серию больших постов о правилах логического рассуждения (в трёх частях). Это часть 1 -- исчисление высказываний, часть 2 -- исчисление предикатов, и часть 3 -- теорема Гёделя о полноте исчисления предикатов. Комменты в основных постах отключены. Обсуждение можно проводить здесь; все посты и обсуждение являются общедоступными.
Tags: математика
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 106 comments
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →