math-logic

Description

There are my solutions of problems from course of mathematical logic in ITMO, 2019

Table Of Contents

• Description
• Table Of Contents
• Dependencies
  • Build dependencies
• Installation
  • Build And Run From Source Code
  • Optional
• Uninstallation
  • Delete math-logic
• Problems
  • Solutions
  • Suppporting projects
  • Problem statements

Dependencies

Build Dependencies

• GHC (compiler and interactive environment for Haskell)
• Alex (tool for generating lexical analysers in Haskell)
• Happy (parser generator system for Haskell)

Note: This tools contains in Haskell Platform.

Installation

Build And Run From Source Code

1. Make sure you have installed all Dependencies.

2. Clone this repository.

   $ git clone https://github.com/akifev/math-logic.git

3. Select problem.

   $ cd math-logic/A/ # for example problem A

4. Run application.

   $ make run

Optional

• Delete generated files.

  $ make clean

• Pack project.

  $ make pack

Uninstallation

Delete math-logic

1. Run.

   $ rm -Rf <path>

Note: <path> - path to math-logic/ directory

Problems

Solutions

1. A. Разбор утверждения
2. B. Минимизация доказательства
3. C. Теорема Гливенко
4. D. Полнота исчисления высказываний
5. E. Проверка доказательства в формальной арифметике

Supporting projects

• Deductor
• Translator

Problem statements

• Statements

Note: Statements are available on Russian language