math-logic
Here are 15 public repositories matching this topic...
All individual tasks, homeworks in courses of Java, C++, Haskell, .... at the University
-
Updated
Sep 10, 2023 - Java
This repo is dediced to fix math problems.
-
Updated
Feb 23, 2023 - Python
tugas mata kuliah logika matematika membuat aplikasi logika matematika
-
Updated
Jan 3, 2023 - JavaScript
Math logic calculator and truth table for n variables.
-
Updated
Nov 5, 2023 - Java
A and C tasks for Mathlogic course of ITMO University
-
Updated
Feb 20, 2021 - Python
Implementation of arithmetic expression lexer and math-logic algorithms.
-
Updated
Jun 20, 2022 - Java
Implementation of sequential method for classic first-order-logic
-
Updated
Mar 7, 2019 - CSS
Homework from Mathematical Logic 2019 course in ITMO University.
-
Updated
Apr 14, 2019 - Haskell
This software was used to assist students during the escape room activity, as a part of the dynamic.
-
Updated
Jan 25, 2021 - C#
Homeworks for math logic course in ITMO University
-
Updated
May 3, 2018 - Java
Improve this page
Add a description, image, and links to the math-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the math-logic topic, visit your repo's landing page and select "manage topics."