motib/mathematical-logic motib/mathematical-logic

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Prolog
  • Created over 9 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
motib/mathematical-logic
github

motib

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)

More Repositories

1

LearnSAT

SAT solver for education
Prolog
25
star
2

jspin

GUI for running the SPIN model checker
Java
13
star
3

jbaci

Automatically exported from code.google.com/p/jbaci
Batchfile
10
star
4

erigone

Erigone Model Checker
Ada
8
star
5

gentle-lean

A gentle tutorial on Lean
TeX
8
star
6

surprises

Source code of Mathematical Surprises (open access)
TeX
7
star
7

mathematics

Learning materials for secondary school mathematics
TeX
5
star
8

concurrent-distributed

Principle of Concurrent and Distributed Programming (Second Edition)
Ada
4
star
9

daj

Distributed Algorithms in Java
Java
4
star
10

ada-software-engineers

Ada for Software Engineers (Second Edition)
Ada
3
star
11

probability-mosteller

Reworking of Mosteller's Challenging Problems in Probability
TeX
2
star
12

constructions

LaTeX source for "Surprising Geometric Constructions"
TeX
1
star
13

bagrut

Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics
TeX
1
star
14

elements-of-robotics

LaTeX source of open access book Elements of Robotics
TeX
1
star
15

thymio

Documents and programs for the Thymio robot
TeX
1
star
16

principles-spin

Source code and update for Principles of Spin
Promela
1
star