Register, vote, and volunteer to make an impact during U.S. 2020 elections.
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
-
Updated
Sep 12, 2018 - Idris
#
mathematical-logic
Here are 31 public repositories matching this topic...
A research project in path semantics, a re-interpretation of functions for expressing mathematics
-
Updated
Sep 4, 2020 - Rust
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
-
Updated
Jun 29, 2020
UCalgary version of forallx, an introduction to formal logic
-
Updated
Sep 1, 2020 - TeX
tree
algorithm
stack
queue
algorithms
datastructures
graph
mathematics
competitive-programming
data-structures
geeksforgeeks
number-theory
bitwise-operators
mathematical-logic
algorithms-datastructures
algorithms-and-data-structures
geeksforgeeks-solutions
geeksforgeeks-cpp
geeksforgeeks-dsa
-
Updated
Sep 4, 2020 - C++
The lecture notes for my discrete mathematics classes.
set-theory
graph-theory
game-theory
combinatorics
lecture-notes
mathematical-logic
probability-theory
computability-theory
combinatorial-game-theory
mathematical-reasoning
-
Updated
Jun 4, 2020 - TeX
An interpreter for Gödel's System T
-
Updated
Apr 17, 2017 - Haskell
Automated mathematical theorem formulation deduced from a provided set of axioms. Builds upon the HRL theorem generator.
theorem-proving
mathematical-logic
theorem-prover
hrl
theorem-generator
theorem-generation
lakatos
lakatos-methods
-
Updated
Aug 16, 2020 - Java
Generate Stack Math puzzles with this handy utility written in Visual Basic
-
Updated
Jan 21, 2018 - Visual Basic
Human Logic
-
Updated
Jul 18, 2020 - TypeScript
A world of solutions for mathematical problems using programming.
statistics
integration
calculus
algebra
mathematics
set-theory
discrete-mathematics
derivatives
mathematical-statistics
mathematical-logic
-
Updated
Aug 24, 2017
algebra, differential equations, calculus, statistics, probability
-
Updated
May 7, 2020 - Python
Prieskumník sémantiky logiky prvého rádu
-
Updated
May 27, 2018 - JavaScript
A simple calculator to perform basic mathematical operations.
-
Updated
Mar 31, 2020 - Python
This program is calculating a factorial of a number up to factorial of the same number.
-
Updated
Apr 15, 2020 - C
A Book "Mathematics for Computer Science: A Historical Perspective"
computer-science
book
set-theory
mathematical-logic
cs-math
math4cs
historical-perspective
computability-theory
-
Updated
Sep 1, 2017 - TeX
Repository contains homeworks of math logic course.
-
Updated
Aug 21, 2019 - Haskell
Contains C-program files for Numerical Methods/Analysis
-
Updated
Dec 2, 2018 - C
Practice tasks for Mathematical logic course at ITMO University spring 2018
-
Updated
Apr 15, 2018 - Haskell
A simple calculator made using HTML/CSS and JavaScript to perform basic mathematical operations with an appealing and responsive UI.
javascript
html5
js
css3
html-css
html-css-javascript
mathematical-logic
calculator-application
calculator-javascript
responsive-web-design
simple-calculator
basic-calculator
responsive-ui
simple-calculator-js
basic-calculator-app
-
Updated
Jun 4, 2020 - HTML
This project is intended for solving sequences from the logic of utterances. It's my first web-java project.
-
Updated
Jan 17, 2020 - Java
[PROJECT] Java simple guessing game.
-
Updated
Oct 15, 2016 - Java
HLM mathematical library for the Slate interactive theorem prover
web-app
mathematics
collaboration
proof-assistant
mathematical-expressions
mathematical-logic
formal-mathematics
interactive-theorem-proving
-
Updated
Sep 1, 2020 - Shell
Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic
artificial-intelligence
logic-programming
propositional-logic
mathematical-logic
cnf-clauses
forward-chaining
-
Updated
Aug 11, 2018 - Java
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.
-
Updated
Jul 16, 2020 - Python
Most of my writings — notes, talks, travelogues, thoughts, and the rest
topology
mathematics
talks
presentations
set-theory
category-theory
combinatorics
thoughts
number-theory
mathematical-logic
probability-theory
travelog
complex-analysis
real-analysis
large-deviations
mathematics-notes
mathematics-education
tensor-product
probability-theory-measure-based
stochastic-analysis
-
Updated
Aug 30, 2020 - TeX
calculator with full feature like devition and integral and draw function
-
Updated
Oct 18, 2018 - JavaScript
Improve this page
Add a description, image, and links to the mathematical-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mathematical-logic topic, visit your repo's landing page and select "manage topics."
Whenever a (top-level) menu is cut off on the right side, it should be moved to the left instead (according to its width, but never further than the left edge).