Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: mathematical-logic
advancedresearch/path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Language: Rust - Size: 82.7 MB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 160 - Forks: 13
hjbolus/Mathematical-Logic-Through-Python
These are my solutions to the tasks in the textbook Mathematical Logic Through Python by Nisan and Gonczarowski.
Language: Python - Size: 262 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 4 - Forks: 2
Inferara/inferara.com
An official website
Language: HTML - Size: 291 KB - Last synced: 10 days ago - Pushed: 11 days ago - Stars: 0 - Forks: 0
praisetompane/mathematics
an attempt at unpacking in layman's terms what mathematics is.
Language: Python - Size: 206 KB - Last synced: 14 days ago - Pushed: 14 days ago - Stars: 1 - Forks: 0
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
Language: C++ - Size: 42.9 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 9 - Forks: 2
rzach/forallx-yyc Fork of OpenLogicProject/forallx-cam
UCalgary version of forallx, an introduction to formal logic
Language: TeX - Size: 1.63 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 88 - Forks: 29
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
Language: Python - Size: 1020 KB - Last synced: 28 days ago - Pushed: 29 days ago - Stars: 5 - Forks: 0
dimglyn/propositional-logic
Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic
Language: Java - Size: 9.77 KB - Last synced: 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 1
rindeal/BI-MLO
BI-MLO Quick Reference
Language: HTML - Size: 2.18 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
HussainAther/mathematics
algebra, differential equations, calculus, statistics, probability
Language: Python - Size: 22.6 MB - Last synced: 2 months ago - Pushed: about 4 years ago - Stars: 2 - Forks: 0
Nagisanopan/USTC_2023Spring_MathematicalLogic_HW
USTC 2023春季学期 数理逻辑基础 许杨班 课程作业 考试资料
Size: 0 Bytes - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0
joom/hezarfen 📦
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
Language: Idris - Size: 48.8 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 118 - Forks: 3
arturania/human-logic
Human Logic
Language: TypeScript - Size: 708 KB - Last synced: 24 days ago - Pushed: 7 months ago - Stars: 6 - Forks: 1
SReichelt/slate
The Slate Interactive Theorem Prover
Language: TypeScript - Size: 7.5 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 23 - Forks: 1
martinberger/hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Language: Scala - Size: 136 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 1
choukh/MetaLogic
first-order logic and set theory
Language: Agda - Size: 340 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0
nabilBouzineDev/BMICalculator
A simple demo project to help you practice some Android fundamentals using Kotlin
Language: Kotlin - Size: 187 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0
miyamok/epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
Language: Haskell - Size: 407 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0
Ojaswy/Numerical-Methods
Contains C-program files for Numerical Methods/Analysis
Language: C - Size: 52.7 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
heracliteanflux/logic-and-numbers
Exercises in logic and number theory with an emphasis on primality and implementations in the Python programming language.
Language: Jupyter Notebook - Size: 2.46 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0
choukh/agda-lvo
large veblen ordinal in agda
Language: Agda - Size: 536 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 0
oscartangozero/itmo-math-logic
Toolkit for parsing, analyzing and proving logical expressions/statements with Java
Language: Java - Size: 183 KB - Last synced: 8 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
SReichelt/slate-hlm
HLM mathematical library for the Slate interactive theorem prover
Language: Shell - Size: 1.85 MB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 2 - Forks: 1
AlgebraicWolf/idris2-russel
Implementation of Russel paradox in Idris 2
Language: Idris - Size: 20.5 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0
Elisabete-MO/projeto-regra-progressao
Projeto Regra de Progressão
Language: Java - Size: 130 KB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0
norbert-acedanski/calculator
Old calculator of mine
Language: C++ - Size: 4.88 KB - Last synced: 10 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
Akash-Sharma-1/DNF-Generator
A python script which takes in complex propositional statements and processes them to generate a brute as well as reduced Disjunctive normal form for the statement along with the other information like Truth Table and Dont Cares.
Language: Python - Size: 9.77 KB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 1
andrefilipemm/slotmachine_game
This project provides valuable insights into the mechanics of the slot machine and showcases the power of combinatorial analysis and Python programming for simulating and studying such systems.
Language: Jupyter Notebook - Size: 23.4 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0
mireashik/mathlogic_2sem
Математическая логика и теория алгоритмов (автоматов), 2 семестр, РТУ МИРЭА
Size: 47.9 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0
SudipSinha/writings
Most of my writings — notes, talks, travelogues, thoughts, and the rest
Language: TeX - Size: 12.4 MB - Last synced: 12 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0
moratori/clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
Language: Common Lisp - Size: 443 KB - Last synced: 11 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0
DevOpsThinh/Coding-Deep-Learning
A self-taught project about Machine Learning & Deep Learning with Python. Thanks to the countless researchers and developers around the world and their open-source code, particularly Python-based open-source code!
Language: Python - Size: 595 MB - Last synced: 12 months ago - Pushed: 12 months ago - Stars: 3 - Forks: 0
adyavanapalli/stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
Size: 8.46 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 89 - Forks: 27
CallumBeaney/Symbolic-Notation-Converter
A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]
Language: JavaScript - Size: 95.7 KB - Last synced: about 1 month ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0
pankajkumarravi/programming-fundamantal
This repo contains Basic programming practice code from different platform like Hackerrank,GFG, ..........
Language: Java - Size: 851 KB - Last synced: almost 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
jeremarques/calculator-of-second-degree-equation
This is a great tool for students, this calculator shows the value of the roots of the 2nd degree equation from the Bhaskara Formula, and it also calculates the value of Delta and tells if the roots are real, irrational or equal from the value of the Delta of the equation.
Language: JavaScript - Size: 82 KB - Last synced: 11 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0
Lisp-Life/Mathematical-Logic
数理逻辑
Size: 5.64 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 25 - Forks: 1
alisoltanirad/dialectic
Mathematical logic Implementation
Language: Python - Size: 37.1 KB - Last synced: 4 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
alexanderknop/I2DM
The lecture notes for my discrete mathematics classes.
Language: TeX - Size: 56.2 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 16 - Forks: 5
haskucy/foundation_of_mathematics
Exploring the depths of mathematics through the study of its foundations
Size: 43.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
DaniinXorchenabo/probability_theory
Домашняя контрольная работа по теории вероятностей
Language: Python - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
ssrucs-phanulab-coursework/652-1002
discrete mathematics with Julia
Language: Julia - Size: 844 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0
choukh/HilbertSystem
Formal development of Hilbert style propositional logic in Agda
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
keshavrp/Project_Euler_Code
This repository contains python codes for 100 project euler problems and the answers of the problems.
Language: Python - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
GoPavel/math-logic
Repository contains homeworks of math logic course.
Language: Haskell - Size: 760 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0
USTC-CS-Course-Resource/InferenceEngine
数理方程推理机(效率奇低hhhh)
Language: Python - Size: 225 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
vinnik-dmitry07/resolution-technique
Mathematical logic: a resolution technique
Language: Python - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
FlorentCLMichel/Theorie_Ensembles_Arithmetique
Some notes on the basics of Mathematical logic, set theory, and arithmetic (in French).
Language: TeX - Size: 71.9 MB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
xbreu/constraint-programming
Materials from the Constraint Logic Programming course at FEUP.
Language: Prolog - Size: 52.5 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
cannor147/itmo-mathlog
Mathematical Logic course at ITMO University
Language: Java - Size: 113 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 1
kkkooolllyyyaaa/math_log
My assignments in the mathematical logic discipline
Language: C++ - Size: 187 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
emarzion/SystemT
An interpreter for Gödel's System T
Language: Haskell - Size: 2.55 MB - Last synced: 11 months ago - Pushed: about 7 years ago - Stars: 11 - Forks: 0
righ1113/godel
Mathematical Girls
Language: Idris - Size: 85 KB - Last synced: about 1 month ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
Fab2bprog/Xojo-Prime-Number-Generator
Xojo Prime number generator with Atkin and Erastosthene sieve algorithm
Language: Xojo - Size: 47.9 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
rnowotniak/Quine-McCluskey-algorithm2004
Quine-McCluskey-algorithm2004 project
Language: C - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0
arjunthakur08/mathematical-solutions
A world of solutions for mathematical problems using programming.
Size: 1.95 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 1
dfzunigah/GuessIt-Game
[PROJECT] Java simple guessing game.
Language: Java - Size: 429 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0
Kovarniy/sequences
This project is intended for solving sequences from the logic of utterances. It's my first web-java project.
Language: Java - Size: 1.22 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
dshea89/HRLPlus
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
Language: Java - Size: 1.37 MB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 0
ComprosoftCEO/StackMathGenerator
Generate Stack Math puzzles with this handy utility written in Visual Basic
Language: Visual Basic - Size: 48.8 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 1
a3up/plog
Logic Programming Repository
Language: Prolog - Size: 49.8 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
RuwiniP/Calculator
A simple calculator to perform basic mathematical operations.
Language: Python - Size: 1.95 KB - Last synced: 4 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0
LifeofMichal/EmployeeBonusCalculator
Angular 8 project for calculating salary bonuses for employees. Simple CRUD functionality + some maths for the calculations. Simple, clean, effective. Focus on CSS is barely existent.
Language: TypeScript - Size: 3.36 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
mcifra/prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
Language: JavaScript - Size: 5.69 MB - Last synced: 12 months ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0
faridsh69/Javascript-calculator
calculator with full feature like devition and integral and draw function
Language: JavaScript - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
gpevnev/math-logic
Practice tasks for Mathematical logic course at ITMO University spring 2018
Language: Haskell - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0
hengxin/math4cs-historical-perspective
A Book "Mathematics for Computer Science: A Historical Perspective"
Language: TeX - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0