motib / mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
☆14Updated 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
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆28Updated this week
- ☆18Updated 4 years ago
- "CLP-1 Differential Calculus" open source textbook☆51Updated 2 months ago
- ☆43Updated last year
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆31Updated last month
- Stanford GraphBase☆28Updated 4 months ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆62Updated last year
- Intro To Bayesian Networks☆11Updated 8 years ago
- A textbook for the transition to proof course for mathematics majors utilizing IBL.☆43Updated 2 weeks ago
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆217Updated 2 weeks ago
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆38Updated this week
- A JavaFX GUI to run the REDUCE Computer Algebra System☆14Updated last year
- DYNAMO interpreter☆17Updated 3 years ago
- This repository contains lecture notes, solved problems, and simulation software on control systems in general.☆12Updated last year
- Specification files for the Foundations of Applied Mathematics lab curriculum. https://foundations-of-applied-mathematics.github.io/☆50Updated 5 months ago
- A few Mathematics Revision Cheat Sheets I've made on LaTeX.☆87Updated 2 months ago
- CS341 for Spring 2024☆11Updated 6 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 9 months ago
- A series of simulation codes used to emulate quantum-like networks in the simulation of emergent adaptive behavior, such as network sync…☆13Updated 5 months ago
- SAT solver for education☆25Updated 2 years ago
- Various notes and solutions on Math and Physics (and Mathematical Physics)☆71Updated last year
- Interactive mathematics in the browser☆60Updated last week
- Jupyter notebooks with the Python equivalent to the R code sections in Blitzstein and Hwang's Introduction To Probability, Second Edition☆72Updated 5 years ago
- List of Books, Courses for Data Science☆29Updated 2 years ago
- Geometric Algebra using wxMaxima (GAwxM)☆12Updated 8 months ago
- RPNCalc: The Command Line Reverse Polish Notation (RPN) Calculator☆30Updated 3 weeks ago
- P.D. Magnus' forallx logic textbook☆64Updated last year
- Lecture notes of the course Analysis On Manifolds☆20Updated 2 weeks ago
- List of projects, books, booklets, papers, and applications related to machine learning, AI, data science in Pharo☆66Updated 3 years ago
- Tartarus is a multi-agent emulator for Static as well as Mobile Agents.☆19Updated last year