Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.012Nov522Oct156Jun519May17Apr54320Dec22Nov15141125Oct24232118171118Oct23Mar21Dec18229Nov252423201918171514131211107653231Oct302928201918141113Jul17Jun121053229May20191211108765130Apr29282322212018171615add more text about substitutionsmastermasteradd a few clarifying commentsminor updateminor updateextend notebook on propositional logicadd html exportadd more examples and an imageadd image for exerciseupdate notebooksadd Ackermann Notebookadd notebook for primitive recursionminor changesimproved symbols using backquotesadd Java version of DFAMove chapter 0 into subfolderExtract relevant parts of chapter 0 notebooks into syntax overviewRevert dates for now as content is largely unchangedMinor updates to FormaleSprachen.ipynbMinor updates to Mengentheorie.ipynbMinor updates to Logik.ipynbForce use of old Jupyter Notebook interfaceUpdate URLsadd Event-B models for SKSadd roumania.pl for A*add notebook about A* searchadd interlocking notebook for SKSadd some textadd Unification notebookadd pdfsadd trace outputadd SLD tree for circuit exampleadd notebook for linear resolutionupdate notebookadd more comments to DPLL notebookimprove notebookadd DPLL notebookadd pdfuse unicode labels for treeschange implication arrowadd $Var feature usage