Commits · master · general / stups / prob-teaching-notebooks

Nov 12, 2024
- add more text about substitutions · 71d22929
  Michael Leuschel authored 5 months ago
  71d22929
Nov 05, 2024
- add a few clarifying comments · 08c5cf0c
  Michael Leuschel authored 6 months ago
  08c5cf0c
Oct 22, 2024
- minor update · 7641e3a9
  Michael Leuschel authored 6 months ago
  7641e3a9
- minor update · 365232b5
  Michael Leuschel authored 6 months ago
  365232b5
- extend notebook on propositional logic · f5ae078a
  Michael Leuschel authored 6 months ago
  f5ae078a
Oct 15, 2024
- add html export · 1609f03b
  Michael Leuschel authored 6 months ago
  
  1609f03b
- add more examples and an image · 870bdff6
  Michael Leuschel authored 6 months ago
  
  870bdff6
- add image for exercise · 8cca1d76
  Michael Leuschel authored 6 months ago
  
  8cca1d76
Jun 06, 2023
- update notebooks · e27af931
  Michael Leuschel authored 1 year ago
  e27af931
Jun 05, 2023
- add Ackermann Notebook · 4b876e81
  Michael Leuschel authored 1 year ago
  4b876e81
- add notebook for primitive recursion · 1433c77c
  Michael Leuschel authored 1 year ago
  1433c77c
May 19, 2023
- minor changes · 88344fb4
  Michael Leuschel authored 1 year ago
  88344fb4
- improved symbols using backquotes · caa21b5f
  Michael Leuschel authored 1 year ago
  caa21b5f
Apr 17, 2023
- add Java version of DFA · 70b1217d
  Michael Leuschel authored 2 years ago
  70b1217d
Apr 05, 2023
- Move chapter 0 into subfolder · 19821db8
  dgelessus authored 2 years ago
  
  19821db8
- Extract relevant parts of chapter 0 notebooks into syntax overview · 413c189a
  dgelessus authored 2 years ago
  
  413c189a
Apr 04, 2023
- Revert dates for now as content is largely unchanged · 3d42ab56
  dgelessus authored 2 years ago
  
  3d42ab56
- Minor updates to FormaleSprachen.ipynb · 177ff99d
  dgelessus authored 2 years ago
  
  177ff99d
Apr 03, 2023
- Minor updates to Mengentheorie.ipynb · 04c43b29
  dgelessus authored 2 years ago
  
  04c43b29
- Minor updates to Logik.ipynb · 72538c53
  dgelessus authored 2 years ago
  
  72538c53
- Force use of old Jupyter Notebook interface · bea76b55
  dgelessus authored 2 years ago
  bea76b55
- Update URLs · c8e3c165
  dgelessus authored 2 years ago
  
  c8e3c165
Dec 20, 2022
- add Event-B models for SKS · ab4627f7
  Michael Leuschel authored 2 years ago
  ab4627f7
- add roumania.pl for A* · 5127251a
  Michael Leuschel authored 2 years ago
  5127251a
- add notebook about A* search · 8f99e088
  Michael Leuschel authored 2 years ago
  8f99e088
- add interlocking notebook for SKS · 6d085e2f
  Michael Leuschel authored 2 years ago
  6d085e2f
Nov 22, 2022
- add some text · 98f692d9
  Michael Leuschel authored 2 years ago
  98f692d9
- add Unification notebook · f6f645eb
  Michael Leuschel authored 2 years ago
  f6f645eb
Nov 15, 2022
- add pdfs · 6b1e80fc
  Michael Leuschel authored 2 years ago
  6b1e80fc
- add trace output · 833d9579
  Michael Leuschel authored 2 years ago
  833d9579
- add SLD tree for circuit example · 86446f5c
  Michael Leuschel authored 2 years ago
  86446f5c
- add notebook for linear resolution · e5892e1e
  Michael Leuschel authored 2 years ago
  e5892e1e
- update notebook · d81c4d18
  Michael Leuschel authored 2 years ago
  d81c4d18
- add more comments to DPLL notebook · ac48bfc7
  Michael Leuschel authored 2 years ago
  ac48bfc7
Nov 14, 2022
- improve notebook · 27cb0832
  Michael Leuschel authored 2 years ago
  27cb0832
Nov 11, 2022
- add DPLL notebook · 362861de
  Michael Leuschel authored 2 years ago
  
  362861de
Oct 25, 2022
- add pdf · 8af11212
  Michael Leuschel authored 2 years ago
  8af11212
- use unicode labels for trees · 4c7d0161
  Michael Leuschel authored 2 years ago
  4c7d0161
- change implication arrow · d04843d9
  Michael Leuschel authored 2 years ago
  d04843d9
- add $Var feature usage · d661ab89
  Michael Leuschel authored 2 years ago
  d661ab89

Admin message