Topic: "math-logic"
Smoren/formula-tools-php
Tools for working with formulas
Language: PHP - Size: 19.5 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 5 - Forks: 4
Shemplo/Study-courses
All individual tasks, homeworks in courses of Java, C++, Haskell, .... at the University
Language: Java - Size: 62.9 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 4
CleitonBrito/Math-Problems
This repo is dediced to fix math problems.
Language: Python - Size: 161 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
Hyperb0rean/itmo_matlog
Second grade ITMO university Math Logic course labs
Language: C - Size: 53.7 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0
ohchiko/math-logic
tugas mata kuliah logika matematika membuat aplikasi logika matematika
Language: JavaScript - Size: 3.34 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
akifev/math-logic
Mathematical Logic in ITMO, 2019
Language: Haskell - Size: 2.51 MB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0
ASN-Lab/Kalkulator-Logika
Mathematical Logic Calculator for Mathematical Logic Course Final Project
Language: CSS - Size: 876 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
zubrailx/university-itmo
Коспекты, билеты, лабораторные работы из Университета ИТМО.
Language: Java - Size: 224 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
MagnusAleksandar/Logos
Math logic calculator and truth table for n variables.
Language: Java - Size: 136 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
octoant/mathematical-logic
Implementation of arithmetic expression lexer and math-logic algorithms.
Language: Java - Size: 181 KB - Last synced at: about 1 month ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
aleksandr-gordeiko/mathlogic-itmo 📦
A and C tasks for Mathlogic course of ITMO University
Language: Python - Size: 3.91 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
paulogusstavo/escapeRoom
This software was used to assist students during the escape room activity, as a part of the dynamic.
Language: C# - Size: 182 MB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
naumovdk/prover
The algorithm from the completeness of classical logic theorem
Language: Java - Size: 166 KB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
pavponn/math-logic
Homework from Mathematical Logic 2019 course in ITMO University.
Language: Haskell - Size: 92.8 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
lionell/sequential-method
Implementation of sequential method for classic first-order-logic
Language: CSS - Size: 1.4 MB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
SerTelnov/math-logic
solution for Math logic university course
Language: Java - Size: 48.8 KB - Last synced at: 6 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
KokorinIlya/math_logic
Homeworks for math logic course in ITMO University
Language: Java - Size: 3.91 MB - Last synced at: 24 days ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
