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

Category:
  • Mood:
  • Music:

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

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

  • задача дня-12

    Попалась на днях одна симпатичная вероятностная задача. В исходной постановке, она достаточно несложная, но более общий вопрос на эту тему для меня…

  • о невычислимых функциях

    Данный пост является "общепросветительским", поэтому он открыт для всех. На эту тему я уже писал https://falcao.livejournal.com/26513.html когда-то…

  • задача дня-11

    Давненько уже не было постов под этим "тегом". А сейчас очень симпатичная задача попалась. В принципе, поучаствовать в её решении могут все желающие,…

  • 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 →

  • задача дня-12

    Попалась на днях одна симпатичная вероятностная задача. В исходной постановке, она достаточно несложная, но более общий вопрос на эту тему для меня…

  • о невычислимых функциях

    Данный пост является "общепросветительским", поэтому он открыт для всех. На эту тему я уже писал https://falcao.livejournal.com/26513.html когда-то…

  • задача дня-11

    Давненько уже не было постов под этим "тегом". А сейчас очень симпатичная задача попалась. В принципе, поучаствовать в её решении могут все желающие,…