changeset | 8946d732625f |
---|---|
branch | default |
bookmark | |
tag | tip |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | Use less dangerous command names |
files | notes/tex/logic.tex |
changeset | a78ea627829e |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | be more precise than "predicate logic" |
files | notes/tex/logic.tex |
changeset | 1cbb4a5e6ce7 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | nicer euklid; ue15 notes |
files | notes/complete_notes.pdf notes/tex/algebra.tex notes/tex/complete_notes.tex notes/tex/frames.tex notes/tex/outro.tex notes/tex/ue15_notes.tex notes/ue14_notes.pdf notes/ue15_notes.pdf |
changeset | 1cb55fb1c934 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | rebuild pdfs |
files | notes/complete_notes.pdf notes/ue14_notes.pdf |
changeset | 4192e96b7b3e |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | qualify modulo operations |
files | notes/tex/algebra.tex |
changeset | a9b64faf4b8f |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | fourteenth sheet and notes |
files | ds13-14.pdf notes/complete_notes.pdf notes/tex/algebra.tex notes/tex/complete_notes.tex notes/tex/frames.tex notes/tex/preamble.tex notes/tex/ue14_notes.tex notes/ue14_notes.pdf |
changeset | 6669987ffd32 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | thirteenth sheet and notes |
files | ds13-13.pdf notes/complete_notes.pdf notes/tex/complete_notes.tex notes/tex/graphs.tex notes/tex/preamble.tex notes/tex/ue13_notes.tex notes/ue13_notes.pdf |
changeset | 7a8c748e3010 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | twelfth sheet and notes |
files | ds13-12.pdf notes/complete_notes.pdf notes/tex/complete_notes.tex notes/tex/graphs.tex notes/tex/preamble.tex notes/tex/ue12_notes.tex notes/ue12_notes.pdf |
changeset | d058663d28a8 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | eleventh sheet and notes |
files | ds13-11.pdf notes/tex/complete_notes.tex notes/tex/frames.tex notes/tex/graphs.tex notes/tex/ue11_notes.tex notes/ue11_notes.pdf |
changeset | 76b3c3727653 |
---|---|
branch | |
bookmark | |
tag | |
user | Markus Kaiser <markus.kaiser@in.tum.de> |
description | first build of complete notes |
files | notes/complete_notes.pdf |