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

tugas mata kuliah logika matematika membuat aplikasi logika matematika

This repo is dediced to fix math problems.

Mathematical Logic in ITMO, 2019

Homework from Mathematical Logic 2019 course in ITMO University.

A simple game using Flutter. Three numbers appear. Two follow a math rule (e.g., multiples of 4), one doesn’t. Tap the o)dd one as quickly as possible.

Clean C++ solutions for Algorithms & Problem-Solving Level 2. Focusing on modular programming, mathematical algorithms, digit manipulation, and building a reusable custom library (MyLib).

Mathematical Logic Calculator for Mathematical Logic Course Final Project

Implementation of arithmetic expression lexer and math-logic algorithms.

Function checks for a collision between a circle and a (possibly rotated) rectangle. Returns an object describing the collision and any impacted edges.

A C program that extracts data from floating-point numbers using modular arithmetic and performs iterative optimization to find integer solutions for a non-linear inequality.

Math logic calculator and truth table for n variables.

A and C tasks for Mathlogic course of ITMO University

A C-based computational tool that validates whether a given integer is a 'Perfect Number' by calculating the sum of its proper positive divisors.

A C-based algorithmic utility that analyzes the order of magnitude (digit count) of an integer and generates the theoretical maximum value permissible for that specific digit length.

A C-based numeric utility that reverses the digit order of integers using modular arithmetic and iterative reconstruction, preserving algebraic sign.

The algorithm from the completeness of classical logic theorem

Implementation of sequential method for classic first-order-logic