math-logic
There are 15 repositories under math-logic topic.
Smoren/formula-tools-php
Tools for working with formulas
Hyperb0rean/itmo_matlog
Second grade ITMO university Math Logic course labs
CleitonBrito/Math-Problems
This repo is dediced to fix math problems.
ohchiko/math-logic
tugas mata kuliah logika matematika membuat aplikasi logika matematika
Shemplo/Study-courses
All individual tasks, homeworks in courses of Java, C++, Haskell, .... at the University
akifev/math-logic
Mathematical Logic in ITMO, 2019
lionell/sequential-method
Implementation of sequential method for classic first-order-logic
MagnusAleksandar/Logos
Math logic calculator and truth table for n variables.
naumovdk/prover
The algorithm from the completeness of classical logic theorem
paulogusstavo/escapeRoom
This software was used to assist students during the escape room activity, as a part of the dynamic.
aleksandr-gordeiko/mathlogic-itmo
A and C tasks for Mathlogic course of ITMO University
KokorinIlya/math_logic
Homeworks for math logic course in ITMO University
octoant/mathematical-logic
Implementation of arithmetic expression lexer and math-logic algorithms.
pavponn/math-logic
Homework from Mathematical Logic 2019 course in ITMO University.
SerTelnov/math-logic
solution for Math logic university course