730 commits

Author	SHA1	Message	Date
Martin Thoma	3cec128f33	MPI	2014-03-09 19:42:44 +01:00
Martin Thoma	a586fb4f77	Added C	2014-03-09 19:06:23 +01:00
Martin Thoma	25732f4421	misc	2014-03-09 16:38:27 +01:00
Martin Thoma	2a58ef985d	Beispiel hinzugefügt	2014-03-08 14:05:57 +01:00
Martin Thoma	b74de7b8da	Added definitions / examples	2014-03-08 13:16:08 +01:00
Martin Thoma	7a39159bdb	scala	2014-03-07 19:17:17 +01:00
Martin Thoma	575de5f3d1	Church-Zahlen / Lambda-Kalkuel	2014-03-07 12:20:14 +01:00
Martin Thoma	21e710de6f	Related Work hinzugefügt	2014-03-06 15:43:45 +01:00
Martin Thoma	0bae80d4b5	Improved scala syntax	2014-03-05 14:36:32 +01:00
Martin Thoma	408551e190	Scala begonnen; Nachtrag zu Monitor / Semaphore	2014-03-05 13:42:36 +01:00
Martin Thoma	a7fdba0c01	Abschnitt über Parallelität hinzugefügt	2014-03-05 11:47:14 +01:00
Martin Thoma	8b909ca53f	Abschnitt 'Typinferenz' hinzugefügt	2014-03-02 19:35:37 +01:00
Martin Thoma	c181e1f412	Abschnitt: lambda-Kalkül hinzugefügt	2014-03-02 18:02:13 +01:00
Martin Thoma	3f37529da8	kleinigkeiten	2014-03-01 20:36:21 +01:00
Martin Thoma	1938222321	GeoTopo images for easier compiling; Lazy evalution; Logik	2014-03-01 20:04:19 +01:00
Martin Thoma	1eb807d278	Added Faltungsdiagramm to make compiling easier	2014-02-27 11:18:55 +01:00
Martin Thoma	e4896a3097	Nilan Marktanner (Nennung mit Nachnamen)	2014-02-25 12:09:04 +01:00
Martin Thoma	92c6f0df61	misc	2014-02-24 19:02:09 +01:00
Martin Thoma	29be63c91e	Arbeitszeit errechnet	2014-02-24 19:01:53 +01:00
Martin Thoma	8ecbf715fe	Arbeitszeit ausgerechnet	2014-02-24 11:54:48 +01:00
Martin Thoma	2306a2af2e	Haskell / Prolog	2014-02-24 11:44:57 +01:00
Martin Thoma	689ab4f5cf	Bemerkung über Jordankurven hinzugefügt	2014-02-22 11:08:58 +01:00
Martin Thoma	52c71d2b92	Textsetzung	2014-02-22 10:45:46 +01:00
Martin Thoma	27e5283d06	Grad der Überlagerung hinzugefügt	2014-02-22 10:18:59 +01:00
Martin Thoma	ed6f859715	Tippfehler korrigiert; fehlende Definition ergänzt	2014-02-22 09:48:53 +01:00
Martin Thoma	4029e555e9	Definiton der Decktransformationsgruppe	2014-02-21 16:23:49 +01:00
Martin Thoma	9eddd5624e	Tippfehler beseitigt	2014-02-21 15:45:04 +01:00
Martin Thoma	1bb65eff98	Kleine Korrekturen	2014-02-21 13:00:09 +01:00
Martin Thoma	84416324f5	Triangulierung des Torus	2014-02-21 12:48:06 +01:00
Martin Thoma	ad0c3c4700	Vektorprodukt hinzugefügt	2014-02-21 11:42:45 +01:00
Martin Thoma	d3368b5ebb	Weitere Definitionen und Sätze ergänzt	2014-02-21 11:02:25 +01:00
Martin Thoma	9903a134f0	Hinweis auf Weingarten-Operator / Formoperator	2014-02-21 10:19:01 +01:00
Martin Thoma	06ce9a6f3f	Textsetzung	2014-02-21 09:51:11 +01:00
Martin Thoma	253cd95f53	Verbesserung der Winkelangaben (danke Henrieke)	2014-02-21 09:24:33 +01:00
Martin Thoma	c74368ea46	Mitwirkende notiert	2014-02-21 09:15:53 +01:00
Martin Thoma	af97180d9a	Textsetzung; Definition von 'Zusammenhängende Menge'	2014-02-21 07:11:54 +01:00
Martin Thoma	5b05c8ae9a	Formulierung verbessert	2014-02-20 20:33:17 +01:00
Martin Thoma	022e8bc2ea	misc	2014-02-20 20:14:35 +01:00
Martin Thoma	e46a5790c4	Verbesserungsvorschläge von Jérôme Urhausen, Email 2 vom 20.02.2014, umgesetzt.	2014-02-20 20:14:21 +01:00
Martin Thoma	cec63e34f6	Verbesserung des WSW-Kongruenzsatz-Beweises von Henrieke.	2014-02-20 19:54:40 +01:00
Martin Thoma	eda966521d	Schöneres Bild für Krümmung des Torus	2014-02-20 18:17:26 +01:00
Martin Thoma	e28517c7af	Definition von 'Erste Fundamentalform' klar von Aussagen abgegrenzt; TODOs entfernt	2014-02-20 16:05:38 +01:00
Martin Thoma	9e3d912034	Beweis des Satzes SSS von Jérôme Urhausen hinzugefügt.	2014-02-20 14:38:02 +01:00
Martin Thoma	93d84b3632	Verbesserungsvorschläge von Jérôme Urhausen, Email vom 20.02.2014, umgesetzt.	2014-02-20 13:46:26 +01:00
Martin Thoma	e7f08692a2	Verbesserungsvorschläge von Jonathan (Facebook, 20.02.2014) eingearbeitet.	2014-02-20 13:17:07 +01:00
Martin Thoma	82e8203fe2	Beweis zu 'Erzeuger von SL_2(R)' hinzugefügt	2014-02-20 13:00:36 +01:00
Martin Thoma	8941ae1e90	misc	2014-02-20 12:02:22 +01:00
Martin Thoma	28d4d949c2	Fehler bei Möbiustransformation behoben (Jérôme Urhausen, Email vom 20.02.2014)	2014-02-20 11:59:19 +01:00
Martin Thoma	872cb8db96	Abschnitt über Reguläre Ausdrücke und Lex hinzugefügt	2014-02-20 10:42:44 +01:00
Martin Thoma	9033c1f9ee	Torus für Krümmungsbeispiel modifiziert (Danke Jérôme!); Hinweis auf weitere ... Kongruenzsätze	2014-02-20 09:52:22 +01:00