motib / mathematical-logicLinks
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
☆15Updated 2 years ago
Alternatives and similar repositories for mathematical-logic
Users that are interested in mathematical-logic are comparing it to the libraries listed below
Sorting:
- multilingual dictionary of mathematical terminology☆19Updated this week
- Supplementary code for Introduction to Theoretical Computer Science book.☆65Updated last year
- Tim Button's open textbook on set theory☆38Updated this week
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆26Updated 2 months ago
- SAT solver for education☆26Updated 2 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Applied Discrete Structures using PreTeXt☆44Updated 2 weeks ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- Repository for (for now) filing bug reports about DCIC.☆28Updated 2 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 4 years ago
- ☆11Updated 3 years ago
- Python in high school - Algorithms and mathematics☆16Updated 3 years ago
- Online, interactive edition of the "Simply Logical" Prolog textbook☆148Updated 6 months ago
- Repository of free educational resources for learning artificial intelligence☆13Updated 3 years ago
- GeoGebra Discovery☆23Updated 2 months ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆73Updated last year
- Educational tool for relational algebra☆91Updated last year
- Beautiful pseudocode in latex☆21Updated 11 years ago
- Online BDD Simulation Tool☆18Updated 3 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆45Updated 2 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Source of metamath book☆48Updated last year
- LPTP: A Logic Program Theorem Prover, written by Robert F. Staerk in the mid 90's☆11Updated last year
- Jape, a configurable proof editor (best at natural deduction and sequent calculus)☆51Updated last year
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆73Updated 3 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 2 months ago
- An automated theorem prover that uses Büchi automata.☆42Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 6 months ago
- https://code.google.com/p/graph-theory-algorithms-book/☆20Updated 9 years ago