Mirror/latexandmore
1
0
Fork 0
mirror of https://gitlab.cs.fau.de/ik15ydit/latexandmore.git synced 2024-11-22 11:49:32 +01:00
Code Issues Projects Releases Wiki Activity
145 Commits 2 Branches 0 Tags 12 MiB
1103a2f0ef
Commit Graph

145 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Sheppy
d2d4cfd51b fixes 2015-10-08 15:15:34 +02:00
Sheppy
dc3ee72a39 fix 2015-10-08 15:06:33 +02:00
Sheppy
11552bd5af Konfluenz fertig 2015-10-08 14:35:00 +02:00
Sheppy
43da8a85f1 started Konfluenz 
fixed missing negation in pumping lemma
 2015-10-08 14:17:26 +02:00
Sheppy
1ecbe50259 small fixes 2015-10-08 12:07:30 +02:00
Sheppy
51fd2bba20 fail restored 2015-10-08 11:48:20 +02:00
Sheppy
86f0966d24 . 2015-10-08 11:42:34 +02:00
FAUSheppy
18c7166315 Create README.md 2015-10-08 11:28:04 +02:00
Sheppy
fa7f73191b makefile 2015-10-08 11:24:49 +02:00
Sheppy
d3fcf2a149 Makefile updated 2015-10-08 11:20:07 +02:00
Sheppy
8752cdd412 finalized Pumping Lemma 
changed titlelayout and pagebreaks in multiple documents
 2015-10-08 10:45:48 +02:00
Sheppy
b0eec2f644 PumpingLemma commit 
cleanup added to makefile
 2015-10-07 23:39:35 +02:00
Sheppy
d6ce457287 new file: PumpingLemma.tex 
modified:   SystemF.tex
 2015-10-07 23:00:28 +02:00
Sheppy
295cd170a1 System F mostly done 2015-10-07 22:40:22 +02:00
Sheppy
3998c4330c modified: SystemF.tex 2015-10-07 21:23:07 +02:00
Sheppy
af741b7ef0 makefile fixed 2015-10-07 21:19:24 +02:00
Sheppy
5f5bfb6e88 mv 2015-10-07 21:13:49 +02:00
Sheppy
758ebe0aa0 subfolder rename 2015-10-07 21:10:52 +02:00
Sheppy
0729ef863b lots of renaming 
gitignore updated again
SystemF continued
 2015-10-07 21:09:34 +02:00
Sheppy
3c92a4e7c3 makefilefix 2015-10-07 18:14:24 +02:00
Sheppy
7710fd65ac additions in SystemF part 2015-10-07 18:04:29 +02:00
Sheppy
7f8bdddd7c Makefilen und gitignore 2015-10-07 16:36:46 +02:00
Sheppy
fdece8930e Files fixed 2015-10-07 16:32:21 +02:00
Sheppy
a2612bbd13 Filenames changed 2015-10-07 16:30:14 +02:00
Sheppy
2f0ac44482 Strukturelle Induktion fertig und Titel gefixt 2015-10-07 15:58:49 +02:00
Sheppy
cb01955cc4 stuff 2015-10-07 14:02:58 +02:00
Sheppy
77effc3e87 All topics added, much todo though 2015-10-06 16:49:42 +02:00
Sheppy
ddbe6ebe45 neues PDF (source unavalible) 2015-10-06 15:56:45 +02:00
Sheppy
de8e51af04 ThProg Umlaute und kleine Aenderungen 
SystemF hinzugefuegt
 2015-10-06 15:08:29 +02:00
Sheppy
5cd2c564a2 extra line of explanation added 2015-10-06 12:20:30 +02:00
greeny
c03cec58de Merge pull request #2 from schokocappucino/patch-1 
typo
 2015-10-05 18:07:37 +02:00
Christian Bay
ae5a640348 Momenterzeugende Funktion k-tes Moment 2015-10-05 15:19:47 +02:00
Christian Bay
a6a35aba81 Erzeugende Funktion fix 2015-10-05 15:10:34 +02:00
Chris
470465ccde typo 2015-10-05 14:56:15 +02:00
Christian Bay
6619c8b074 Binomialkoeffizient ausgebessert 2015-10-05 14:41:01 +02:00
Sheppy
2b277e59cd Merge branch 'master' of github.com:FAUSheppy/Uni_Latex 2015-10-05 14:36:14 +02:00
Sheppy
6045d6a8ae fixed biominalblablabla 2015-10-05 14:35:01 +02:00
Christian Bay
d0924ce312 Align newline removed 2015-10-05 11:51:14 +02:00
Christian Bay
fe45b3f941 Merge branch 'master' of https://github.com/FAUSheppy/Uni_Latex 2015-10-05 10:45:08 +02:00
Christian Bay
0a5a0888c5 Missing $ inserted... 2015-10-05 10:44:41 +02:00
Sheppy
afa06632c4 new page for table of contents 2015-10-05 10:36:30 +02:00
Sheppy
63323e8590 einige Fehler und ungenauigkeiten 
empirischer korrigierte varriaz
und nach bzw geaendert bei Marginal dichten
zuerst umlaute zurueckgeaendert
2ter Moment
verteilungen auf verteilungsfunktionen praezisiert
 2015-10-05 10:31:11 +02:00
Sheppy
c589d3753c Verweis auf Erklaerung von m_2 bei Varrianz hinzugefuegt, muesste man eigentlich zusammenziehen aber das ist jetzt kurzfristig zuviel 2015-10-05 09:56:02 +02:00
Christian Bay
2e2429740e Jacobi Matrix indize fix 2015-10-04 14:04:30 +02:00
Christian Bay
ccfac75fc7 Kapitel angepasst. 2015-10-03 11:37:36 +02:00
Christian Bay
cc3c33d77f Transformation von Dichten 2015-10-03 11:34:07 +02:00
Christian Bay
dcba223db8 gitignore ergaenzt 2015-10-03 11:32:56 +02:00
Christian Bay
8bb61258fa Hyperref package und TOC 2015-10-03 11:32:29 +02:00
Christian Bay
0c4116f0da Markov-Kette in Statistik Kapitel gelegt 2015-10-03 11:28:45 +02:00
Christian Bay
5040621842 Auskommentierten Code gelöscht 2015-10-03 10:14:30 +02:00