Die MathSIG war als Interessensgruppe innerhalb des Vereins Mensa gedacht. Da ich diesen Verein verlassen habe, ist die MathSIG offiziell aufgelöst. Die Publikationen der Interessensgruppe, die ich weitgehend in Eigenregie verfasst habe, können aber noch hier gelesen werden.

1. MATHEMATIQ #1 (21. Mai 2013): pdf, tex
2. MATHEMATIQ #2.2 (4. Juni 2013): pdf, tex
3. MATHEMATIQ #3 (17. Juni 2013): pdf, tex
4. MATHEMATIQ #4 (25. Juni 2013): pdf, tex
5. MATHEMATIQ #5
6. MATHEMATIQ #6
7. MATHEMATIQ #7
8. MATHEMATIQ #8 (15. Juli 2013): pdf, tex
9. MATHEMATIQ #9 (25. Juli 2013): pdf, tex
10. Special Edition on Theoretical Computer Science [English] (25. Juli 2013): pdf, tex
11. MATHEMATIQ #11 (28. Juli 2013): pdf, tex
12. MATHEMATIQ #12 (4. August 2013): pdf, tex
13. MATHEMATIQ #13 (19. August 2013): pdf, tex
14. MATHEMATIQ #14
15. MATHEMATIQ #15 (29. August 2013): pdf, tex
16. MATHEMATIQ #16 (31. August 2013): pdf, tex
17. MATHEMATIQ #17 (14. September 2013): pdf, tex
18. MATHEMATIQ #18 (21. September 2013): pdf, tex
19. MATHEMATIQ #19 (2. Oktober 2013): pdf, tex
20. MATHEMATIQ #20 (6. Oktober 2013): pdf, tex
21. MATHEMATIQ #21 (12. Oktober 2013): pdf, tex
22. MATHEMATIQ #22
23. MATHEMATIQ #23 (17. November 2013): pdf, tex
24. MATHEMATIQ #24 (20. November 2013): pdf, tex
25. MATHEMATIQ #25 (5. Dezember 2013): pdf, tex
26. MATHEMATIQ #26 (5. Januar 2014): pdf, tex
27. MATHEMATIQ #27 (15. Februar 2014): pdf, tex
28. MATHEMATIQ #28 (21. Juli 2014): pdf, tex
29. MATHEMATIQ #29 (25. Oktober 2014): pdf, tex
30. MATHEMATIQ #30 (16. November 2014): pdf, tex

Inhaltsübersicht:

1. Logik, Summationsformeln
2. Formale Sprachen, Automated Reasoning
3. Formale Sprachen, P-NP-Problem
4. Gödelsche Unvollständigkeitssätze
5. (entfernt)
6. (entfernt)
7. (entfernt)
8. P-NP-Problem, Kategorientheorie, Koalgebra
9. Formale Methoden
10. (Artikel aus den vorigen Ausgaben in die englische Sprache übersetzt)
11. SAT, Logik/Erkenntnistheorie
12. (Übungsaufgaben)
13. Philosophie der Logik
14. (entfernt)
15. Snarks, Uhrzeigersinn
16. Snarks
17. Euklidischer Algorithmus
18. Sieb des Eratosthenes
19. Das Universum als Automat
20. Gödels "Gottesbeweis"
21. P-NP-Problem
22. (Birch-Swinnerton-Dyer-Vermutung)
23. Boolesche Algebra
24. Satz von Thales
25. Constraint Propagation
26. Wissensrepräsentation und Suche in der AI
27. P-NP-Problem
28. P-NP-Problem
29. Automatisiertes Lösen von Zahlenreihen
30. Gödelsche Unvollständigkeitssätze

Kontakt: cdvolko (at) gmail (dot) com