Tools for working with formulas

Second grade ITMO university Math Logic course labs

All individual tasks, homeworks in courses of Java, C++, Haskell, .... at the University

This repo is dediced to fix math problems.

tugas mata kuliah logika matematika membuat aplikasi logika matematika

Mathematical Logic in ITMO, 2019

Implementation of arithmetic expression lexer and math-logic algorithms.

A and C tasks for Mathlogic course of ITMO University

Math logic calculator and truth table for n variables.

Implementation of sequential method for classic first-order-logic

Homework from Mathematical Logic 2019 course in ITMO University.

solution for Math logic university course

This software was used to assist students during the escape room activity, as a part of the dynamic.

Mathematical Logic Calculator for Mathematical Logic Course Final Project

Homeworks for math logic course in ITMO University

The algorithm from the completeness of classical logic theorem