mathematical-logic
There are 74 repositories under mathematical-logic topic.
advancedresearch/path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
joom/hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
adyavanapalli/stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
rzach/forallx-yyc
UCalgary version of forallx, an introduction to formal logic
SReichelt/slate
The Slate Interactive Theorem Prover
alexanderknop/I2DM
The lecture notes for my discrete mathematics classes.
ozekik/mathesis
Python library for computational formal logic, formal semantics, and theorem proving
xamidi/pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
emarzion/SystemT
An interpreter for Gödel's System T
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!
arturania/human-logic
Human Logic
hjbolus/Mathematical-Logic-Through-Python
Python package that provides an interface to work with classical propositional and first-order logic, based on my solutions to the textbook Mathematical Logic Through Python by Nisan and Gonczarowski
YXlh-64/ENSIA-2PC
This repository is designed to provide all the necessary resources for the second year preparatory cycle at ENSIA.
choukh/agda-veblen
veblen function in agda
dshea89/HRLPlus
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
martinberger/hol-c
A proof-of-concept LCF-style interactive theorem prover for HOL(C)
SReichelt/slate-hlm
HLM mathematical library for the Slate interactive theorem prover
ComprosoftCEO/StackMathGenerator
Generate Stack Math puzzles with this handy utility written in Visual Basic
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.
AlgebraicWolf/idris2-russel
Implementation of Russel paradox in Idris 2
choukh/agda-googology
formalized googology in agda
choukh/MetaLogic
first-order logic and set theory
moratori/clover
A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
CallumBeaney/Symbolic-Notation-Converter
A webapp that converts English coded input to mathematical notation. e.g. [all var in dd goe pi] → [∀𝑥 ∈ 𝔻 ≥ π ]
Elisabete-MO/projeto-regra-progressao
Projeto Regra de Progressão
faridsh69/Javascript-calculator
calculator with full feature like devition and integral and draw function
haskucy/foundation_of_mathematics
Exploring the depths of mathematics through the study of its foundations
HussainAther/mathematics
algebra, differential equations, calculus, statistics, probability
Inferara/inferara.com
Inferara official website
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.
Kovarniy/sequences
This project is intended for solving sequences from the logic of utterances. It's my first web-java project.
mcifra/prieskumnik-struktur
Prieskumník sémantiky logiky prvého rádu
mireashik/mathlogic_2sem
Математическая логика и теория алгоритмов / автоматов (мат. логика), 2 семестр, РТУ МИРЭА
miyamok/epsilonproofchecker
Proof assistant for Hilbert style proof systems including predicate calculus and epsilon calculus
nabilBouzineDev/BMICalculator
A simple demo project to help you practice some Android fundamentals using Kotlin
praisetompane/mathematics
An attempt at unpacking in layman's terms what mathematics is and how it is created.