motib / mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for mathematical-logic
- GeoGebra Discovery☆19Updated 2 weeks ago
- Notes on Diffy Qs, a textbook for differential equations☆58Updated last week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆67Updated last year
- FETA: Framework for Evolving Topology Analysis. Java-based graph analysis software.☆11Updated last year
- A series of introductory instructional python notebooks, for computational number theory.☆13Updated 6 years ago
- multilingual dictionary of mathematical terminology☆19Updated 2 weeks ago
- Interactive mathematics in the browser☆57Updated this week
- Compiler and runtime engine for NetLogo models that runs in JavaScript 🐢☆55Updated 5 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 3 months ago
- Networkx implementation of the SIS epidemic model for large and heterogeneous networks☆17Updated last year
- A curated list of Quantum Computing resources, articles, programming languages and projects. The main idea is that everyone can contribut…☆21Updated 2 years ago
- allows Mathematica to control NetLogo (and not vice versa)☆16Updated 11 months ago
- Fundamentals of Multiagent Systems Textbook☆25Updated 11 years ago
- A curated list of amazingly awesome Complexity Science resources, courses and shiny things☆30Updated 2 years ago
- NetLogo Model to generate and analyze complex networks and dynamics on them☆30Updated 4 years ago
- A Binder repo for SageMath computing environment☆27Updated this week
- Repository of materials for Discrete Mathematics for Computer Science 1--2 at Grand Valley State University☆27Updated 2 weeks ago
- Advanced-Programming☆24Updated 5 months ago
- Open Source Precollege Algebra Textbook☆19Updated 3 weeks ago
- LaTeX beamer slides of my thesis defense "Open Source Modelling and Optimisation of Energy Infrastructure at Urban Scale"☆42Updated 3 years ago
- This project contains the code for the OUP book Data Science & Complex Networks☆61Updated 8 years ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 6 months ago
- Maybe the open-source community can write Donald Knuth's O Calculus book?☆11Updated 6 years ago
- A library of recreational mathematics and number theory related functions inspired by Project Euler☆17Updated 9 years ago
- ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen☆28Updated last week
- Program files from MATLAB Guide, Third Edition☆29Updated 7 years ago
- knot theory and computational algebra software☆35Updated 10 years ago
- ☆13Updated last year
- Octave/Matlab toolbox for network analysis – part of the KONECT project by Jérôme Kunegis, University of Namur☆25Updated last year
- Source files for my course on Game Theory.☆32Updated last month