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:
- personal follow of mit 6.004 Computation Structures of spring 2017☆13Updated 3 years ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- Repository of free educational resources for learning artificial intelligence☆13Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 3 months ago
- Chapters, code, and organizational materials for the book "How to be a data scientist impostor?"☆17Updated 2 years ago
- Supplementary code for Introduction to Theoretical Computer Science book.☆66Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆16Updated 7 years ago
- Notes on Diffy Qs, a textbook for differential equations☆69Updated 2 weeks ago
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆26Updated 2 months ago
- seby-sbirna / Social-Data-Analysis-and-Visualizations-Investigating-San-Francisco-Crime-Scene-using-Police-ReportsThis repository contains the collection of Python and Javascript (Observable Notebook) projects made for the DTU Data Science course 0280…☆9Updated 4 years ago
- IITH BTECH CSE all Courses' Codes and Assignments☆8Updated 4 years ago
- Applied Discrete Structures using PreTeXt☆44Updated this week
- Geometric Algebra using wxMaxima (GAwxM)☆13Updated 3 months ago
- Stanford GraphBase☆34Updated 10 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 last month
- Adding a table of contents to Specifying Systems, TLA+.pdf☆66Updated 7 years ago
- A curated list of amazingly awesome Complexity Science resources, courses and shiny things☆36Updated 3 years ago
- Practical Discrete Mathematics, published by Packt☆130Updated 2 months ago
- Tim Button's open textbook on set theory☆39Updated 3 weeks ago
- Some excellent CS-Cources☆10Updated 4 years ago
- Python in high school - Algorithms and mathematics☆16Updated 3 years ago
- Source of metamath book☆48Updated last year
- Computer Systems Lab☆11Updated 2 weeks ago
- ☆14Updated 2 years ago
- FETA: Framework for Evolving Topology Analysis. Java-based graph analysis software.☆11Updated last year
- An open textbook for Discrete Mathematics, as taught at the University of Northern Colorado☆254Updated 3 weeks ago
- Classification of combinatorial objects☆17Updated this week
- "The 50-50-90 rule: anytime you have a 50-50 chance of getting something right, there's a 90% probability you'll get it wrong." ― Andy Ro…☆31Updated 5 years ago
- Lecture notes, exercises, homeworks for Brown CS1951x 2023☆12Updated last year
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year