Commits · master · Theo von Arx / Zusammenfassung-DES

24 Feb, 2019 2 commits
- Fix Layout · 52c7ec1a
  Theo von Arx authored Feb 24, 2019
  
  52c7ec1a
- Add DES.pdf · 306b47c7
  Theo von Arx authored Feb 24, 2019
  
  306b47c7
22 Feb, 2019 3 commits
- Fix italic · f58eecf4
  Theo von Arx authored Feb 22, 2019
  
  f58eecf4
- Add README.md · 95072b62
  Theo von Arx authored Feb 22, 2019
  
  95072b62
- Add LICENSE.md · f1142511
  Theo von Arx authored Feb 22, 2019
  
  f1142511
15 Feb, 2019 1 commit
- Add License · 2771a49b
  Theo von Arx authored Feb 15, 2019
  
  2771a49b
02 Feb, 2019 1 commit
- Add Erwartungswert of Exponential Distribution · 778f5510
  Theo von Arx authored Feb 02, 2019
  
  778f5510
01 Feb, 2019 7 commits
- Small Layout Changes · baed6e54
  Theo von Arx authored Feb 01, 2019
  
  baed6e54
- Add Abgeschlossenheit von Kontextfreien Sprachen · 200ffcef
  Theo von Arx authored Feb 01, 2019
  
  200ffcef
- Add hyperref · f5722cf3
  Theo von Arx authored Feb 01, 2019
  
  f5722cf3
- Small Layout Changes · 094b15bc
  Theo von Arx authored Feb 01, 2019
  
  094b15bc
- Add Complexity Classes · bffd17b3
  Theo von Arx authored Feb 01, 2019
  
  bffd17b3
- Add Halting Problem · fdd00857
  Theo von Arx authored Feb 01, 2019
  
  fdd00857
- Add Sum k p^k · 6f353c8e
  Theo von Arx authored Feb 01, 2019
  
  6f353c8e
24 Jan, 2019 5 commits
- Comment out unneeded Parts · 1ab75605
  Theo von Arx authored Jan 24, 2019
  
  1ab75605
- Small Update · 480e936b
  Theo von Arx authored Jan 24, 2019
  
  480e936b
- Add recipe for Non-regularity-Prove · babc6da5
  Theo von Arx authored Jan 24, 2019
  
  babc6da5
- Add recipe for Non-regularity-Prove · 18378c43
  Theo von Arx authored Jan 24, 2019
  
  18378c43
- Improve Beweis von Nichtregularität · e8454545
  Theo von Arx authored Jan 24, 2019
  
  e8454545
21 Jan, 2019 1 commit
- Fix Syntax Error · eb5b7511
  Theo von Arx authored Jan 21, 2019
  
  eb5b7511
18 Jan, 2019 9 commits
- Grafiken hinzugefügt. Morgansche Regel in appendix gepackt. · 00b79083
  zrene authored Jan 18, 2019
  
  00b79083
- Markov Ketten ergänzt · 0afea2fa
  zrene authored Jan 18, 2019
  
  0afea2fa
- Merge branch 'master' of https://gitlab.ethz.ch/varxth/zusammenfassung-des · c74e0397
  zrene authored Jan 18, 2019
  
  c74e0397
- Kleinere Fehler in Lösungen behoben · a3c3cf8c
  zrene authored Jan 18, 2019
  
  a3c3cf8c
- Add Up- and Downstream Matrix · b9882966
  Theo von Arx authored Jan 18, 2019
  
  b9882966
- Merge branch 'master' of https://gitlab.ethz.ch/varxth/zusammenfassung-des · ffb3f8d9
  zrene authored Jan 18, 2019
  
  ffb3f8d9
- Beispiele von CFG hinzugefügt · e21fdd80
  zrene authored Jan 18, 2019
  
  e21fdd80
- Add Computation Tree Logic (CTL) · 2156f1be
  Theo von Arx authored Jan 18, 2019
  
  2156f1be
- Add Fix-point iteration · 72ad4b11
  Theo von Arx authored Jan 18, 2019
  
  72ad4b11
14 Jan, 2019 6 commits
- Improve Reachability of States · 97609f67
  Theo von Arx authored Jan 14, 2019
  
  97609f67
- Add Binary Decision Diagrams · 45daac58
  Theo von Arx authored Jan 14, 2019
  
  45daac58
- Fix Layout · 21accef6
  Theo von Arx authored Jan 14, 2019
  
  21accef6
- Improve Competitive Analysis · bf06bf59
  Theo von Arx authored Jan 14, 2019
  
  bf06bf59
- Fix spelling mistake · 23674885
  Theo von Arx authored Jan 14, 2019
  
  23674885
- Add Part I & III · 7d2d36de
  Theo von Arx authored Jan 14, 2019
```
Teile I & III von der Zusammenfassung von Andreas Traber kopiert.
Sie sieht ziemlich ählich wie der Vorlesungsstoff aus. Wenn wir Zeit &
Lust haben, können wir diese Teile auch anpasses.

Anpassungen an Inhalt & Form nötig!
```
  7d2d36de
13 Jan, 2019 1 commit
- added example online algorithm and some page breaks · 5fa130b8
  zrene authored Jan 13, 2019
  
  5fa130b8
11 Jan, 2019 2 commits
- removed test message · d04a634a
  zrene authored Jan 11, 2019
  
  d04a634a
- added test message to check if gitlab is working on pc · dd570ed0
  zrene authored Jan 11, 2019
  
  dd570ed0
09 Jan, 2019 1 commit
- Initial commit · f85b368f
  Theo von Arx authored Jan 09, 2019
  
  f85b368f