diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000..bdb0cab --- /dev/null +++ b/.gitattributes @@ -0,0 +1,17 @@ +# Auto detect text files and perform LF normalization +* text=auto + +# Custom for Visual Studio +*.cs diff=csharp + +# Standard to msysgit +*.doc diff=astextplain +*.DOC diff=astextplain +*.docx diff=astextplain +*.DOCX diff=astextplain +*.dot diff=astextplain +*.DOT diff=astextplain +*.pdf diff=astextplain +*.PDF diff=astextplain +*.rtf diff=astextplain +*.RTF diff=astextplain diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..e5a5ca3 --- /dev/null +++ b/.gitignore @@ -0,0 +1,162 @@ +## Core latex/pdflatex auxiliary files: +*.aux +*.lof +*.log +*.lot +*.fls +*.out +*.toc +*.fmt +*.fot +*.cb +*.cb2 +## Intermediate documents: +*.dvi +*-converted-to.* +# these rules might exclude image files for figures etc. +# *.ps +# *.eps +# *.pdf +## Generated if empty string is given at "Please type another file name for output:" +.pdf +## Bibliography auxiliary files (bibtex/biblatex/biber): +*.bbl +*.bcf +*.blg +*-blx.aux +*-blx.bib +*.brf +*.run.xml +## Build tool auxiliary files: +*.fdb_latexmk +*.synctex +*.synctex(busy) +*.synctex.gz +*.synctex.gz(busy) +*.pdfsync +## Auxiliary and intermediate files from other packages: +# algorithms +*.alg +*.loa +# achemso +acs-*.bib +# amsthm +*.thm +# beamer +*.nav +*.snm +*.vrb +# cprotect +*.cpt +# fixme +*.lox +# feynmf/feynmp +*.mf +*.mp +*.t[1-9] +*.t[1-9][0-9] +*.tfm +*.[1-9] +*.[1-9][0-9] +#(r)(e)ledmac/(r)(e)ledpar +*.end +*.?end +*.[1-9] +*.[1-9][0-9] +*.[1-9][0-9][0-9] +*.[1-9]R +*.[1-9][0-9]R +*.[1-9][0-9][0-9]R +*.eledsec[1-9] +*.eledsec[1-9]R +*.eledsec[1-9][0-9] +*.eledsec[1-9][0-9]R +*.eledsec[1-9][0-9][0-9] +*.eledsec[1-9][0-9][0-9]R +# glossaries +*.acn +*.acr +*.glg +*.glo +*.gls +*.glsdefs +# gnuplottex +*-gnuplottex-* +# gregoriotex +*.gaux +*.gtex +# hyperref +*.brf +# knitr +*-concordance.tex +# TODO Comment the next line if you want to keep your tikz graphics files +*.tikz +*-tikzDictionary +# listings +*.lol +# makeidx +*.idx +*.ilg +*.ind +*.ist +# minitoc +*.maf +*.mlf +*.mlt +*.mtc[0-9]* +# minted +_minted* +*.pyg +# morewrites +*.mw +# mylatexformat +*.fmt +# nomencl +*.nlo +# sagetex +*.sagetex.sage +*.sagetex.py +*.sagetex.scmd +# scrwfile +*.wrt +# sympy +*.sout +*.sympy +sympy-plots-for-*.tex/ +# pdfcomment +*.upa +*.upb +# pythontex +*.pytxcode +pythontex-files-*/ +# thmtools +*.loe +# TikZ & PGF +*.dpth +*.md5 +*.auxlock +# todonotes +*.tdo +# easy-todo +*.lod +# xindy +*.xdy +# xypic precompiled matrices +*.xyc +# endfloat +*.ttt +*.fff +# Latexian +TSWLatexianTemp* +## Editors: +# WinEdt +*.bak +*.sav +# Texpad +.texpadtmp +# Kile +*.backup +# KBibTeX +*~[0-9]* +# auto folder when using emacs and auctex +/auto/* \ No newline at end of file diff --git a/ANAG/TeX_files/chapter01_Grundbegriffe_aus_Mengenlehre_und_Logik.tex b/ANAG/TeX_files/chapter01_Grundbegriffe_aus_Mengenlehre_und_Logik.tex index 793b9f8..939ce99 100644 --- a/ANAG/TeX_files/chapter01_Grundbegriffe_aus_Mengenlehre_und_Logik.tex +++ b/ANAG/TeX_files/chapter01_Grundbegriffe_aus_Mengenlehre_und_Logik.tex @@ -44,7 +44,7 @@ $\{1;2;3\} = \{3;2;1\} = \{1;2;2;3\}$ \\ \end{itemize} \end{exmpn} -\paragraph{Bildung und Verknüpfung von Aussagen} +\section*{Bildung und Verknüpfung von Aussagen} \begin{tabular}{|c|c|c|c|c|c|c|} \hline @@ -105,7 +105,7 @@ Aussageform $A(X)$ sei f\"ur jedes $X \in M$ Aussage: neue Aussage mittels Quant \end{itemize} \end{satz} -\paragraph{Bildung von Mengen} +\section*{Bildung von Mengen} Seien $M$ und $N$ Mengen \begin{compactitem} \item Aufzählung der Elemente: $\{1;2;3\}$ @@ -115,7 +115,7 @@ Seien $M$ und $N$ Mengen \item leere Menge ist immer Teilmenge jeder Menge $M$ \item \textbf{Warnung:} $\{\emptyset\} \neq \emptyset$ \end{compactitem} - \item Verkn\"upfung von Mengen wie bei Aussagen + \item Verknüpfung von Mengen wie bei Aussagen \end{compactitem} \begin{mydef}[Mengensystem] diff --git a/ANAG/TeX_files/chapter02_Aufbau_einer_math_Theorie.tex b/ANAG/TeX_files/chapter02_Aufbau_einer_math_Theorie.tex index ef0acb6..7b9b09c 100644 --- a/ANAG/TeX_files/chapter02_Aufbau_einer_math_Theorie.tex +++ b/ANAG/TeX_files/chapter02_Aufbau_einer_math_Theorie.tex @@ -2,14 +2,13 @@ Axiome $\to$ Beweise $\to$ Sätze ("neue" wahre Aussagen) \\ $\to$ ergibt Ansammlung (Menge) wahrer Aussagen -\paragraph{Formulierung mathematischer Aussagen} +\paragraph*{Formulierung mathematischer Aussagen} \begin{compactitem} \item typische Form eines mathematischen Satzes: "Wenn A gilt, dann gilt auch B." \item formal: $A \Rightarrow B$ bzw. $A(X) \Rightarrow B(X)$ ist stets wahr (insbesondere falls A wahr ist) \end{compactitem} -$\newline$ Beispiel \begin{compactitem} \item $X \in \mathbb N$ und ist durch 4 teilbar $\Rightarrow X$ ist durch 2 teilbar @@ -38,13 +37,13 @@ Beispiel \Rightarrow \lnot A$ \end{compactitem} -\subsection{Relationen und Funktionen} +\section{Relationen und Funktionen} \begin{mydef}[Relation] Seien $M$ und $N$ Mengen. Dann ist jede Teilmenge $R$ von $M \times N$ eine Relation. \\ $(x,y) \in R$ hei{\ss}t: $x$ und $y$ stehen in Relation zueinander \end{mydef} -Beispiele + \begin{exmp} $M$ ist die Menge aller Menschen. Die Liebesbeziehung $x$ liebt $y$ sieht als geordnetes Paar geschrieben so aus: $(x,y)$. Das hei{\ss}t die Menge der Liebespaare ist das: $L := \{(x,y) \mid @@ -213,7 +212,7 @@ und Ordnung \\ $\to I: M_2 \to M_2$ mit $I(k)=2k \quad \forall k \in \mathbb N$ \\ $\to$ Isomorphismus, der die Addition, Ordnung und die Null, aber nicht die Multiplikation erh\"alt -\subsection{Bemerkungen zum Fundament der Mathematik} +\subsection*{Bemerkungen zum Fundament der Mathematik} Forderungen an eine mathematische Theorie: \begin{compactitem} \item widerspruchsfrei: Satz und Negation nicht gleichzeitig herleitbar diff --git a/ANAG/TeX_files/chapter03_nat_Zahlen.tex b/ANAG/TeX_files/chapter03_nat_Zahlen.tex index 862107c..b51a13c 100644 --- a/ANAG/TeX_files/chapter03_nat_Zahlen.tex +++ b/ANAG/TeX_files/chapter03_nat_Zahlen.tex @@ -61,16 +61,15 @@ $\newline$ Für jedes feste $n \in \mathbb N$ sind beide Definitionen rekursiv und eindeutig definiert. \\ $\forall n \in \mathbb N$ gilt: $n+1=n+\nu(0)=\nu(n+0) = \nu(n)$ -\begin{framed} - \textbf{Satz:} Addition und Multiplikation haben folgende Eigenschaften: +\begin{satz} + Addition und Multiplikation haben folgende Eigenschaften: \begin{compactitem} \item es existiert jeweils ein neutrales Element \item kommutativ \item assoziativ \item distributiv \end{compactitem} -\end{framed} -$\newline$ +\end{satz} Es gilt $\forall k,m,n \in \mathbb N$: \begin{compactitem} @@ -79,7 +78,6 @@ Es gilt $\forall k,m,n \in \mathbb N$: \item $m+k=n+k \Rightarrow m=n$ (Kürzungsregel der Addition) \item $m \cdot k=n \cdot k \Rightarrow m=n$ (Kürzungsregel der Multiplikation) \end{compactitem} -$\newline$ Ordnung auf $\mathbb N:$ Relation $R := \{(m,n) \in \mathbb N \times \mathbb N \mid m \le n\}$ \\ wobei $m \le n \iff n=m+k$ f\"ur ein $k \in \mathbb N$ \\ diff --git a/ANAG/TeX_files/chapter10_vollst.aux b/ANAG/TeX_files/chapter10_vollst.aux index 7ba6f87..e7c06ba 100644 --- a/ANAG/TeX_files/chapter10_vollst.aux +++ b/ANAG/TeX_files/chapter10_vollst.aux @@ -45,7 +45,7 @@ \setcounter{currremarkctr}{0} \setcounter{endremarkctr}{0} \setcounter{remark}{0} -\setcounter{currsatzctr}{16} +\setcounter{currsatzctr}{17} \setcounter{endsatzctr}{0} \setcounter{currproofctr}{10} \setcounter{endproofctr}{1} diff --git a/ANAG/TeX_files/chapter11_kompaktheit.aux b/ANAG/TeX_files/chapter11_kompaktheit.aux index a0fb4b6..42388df 100644 --- a/ANAG/TeX_files/chapter11_kompaktheit.aux +++ b/ANAG/TeX_files/chapter11_kompaktheit.aux @@ -45,7 +45,7 @@ \setcounter{currremarkctr}{0} \setcounter{endremarkctr}{0} \setcounter{remark}{0} -\setcounter{currsatzctr}{16} +\setcounter{currsatzctr}{17} \setcounter{endsatzctr}{0} \setcounter{currproofctr}{10} \setcounter{endproofctr}{1} diff --git a/ANAG/TeX_files/chapter12_reihen.aux b/ANAG/TeX_files/chapter12_reihen.aux index 525a413..83f4873 100644 --- a/ANAG/TeX_files/chapter12_reihen.aux +++ b/ANAG/TeX_files/chapter12_reihen.aux @@ -45,7 +45,7 @@ \setcounter{currremarkctr}{0} \setcounter{endremarkctr}{0} \setcounter{remark}{0} -\setcounter{currsatzctr}{16} +\setcounter{currsatzctr}{17} \setcounter{endsatzctr}{0} \setcounter{currproofctr}{10} \setcounter{endproofctr}{1} diff --git a/ANAG/TeX_files/chapter13_funktionen.aux b/ANAG/TeX_files/chapter13_funktionen.aux index b0cc04d..0dd2493 100644 --- a/ANAG/TeX_files/chapter13_funktionen.aux +++ b/ANAG/TeX_files/chapter13_funktionen.aux @@ -45,7 +45,7 @@ \setcounter{currremarkctr}{0} \setcounter{endremarkctr}{0} \setcounter{remark}{0} -\setcounter{currsatzctr}{16} +\setcounter{currsatzctr}{17} \setcounter{endsatzctr}{0} \setcounter{currproofctr}{10} \setcounter{endproofctr}{1} diff --git a/ANAG/main.pdf b/ANAG/main.pdf index 17d7b81..60172b1 100644 Binary files a/ANAG/main.pdf and b/ANAG/main.pdf differ diff --git a/ANAG/main.tex b/ANAG/main.tex index e8cd530..ce82fcf 100644 --- a/ANAG/main.tex +++ b/ANAG/main.tex @@ -97,6 +97,8 @@ \newcommand{\dotsco}{,\dots,} % ,..., \newcommand{\expon}{\mathrm{exp}} +\setlength\parindent{0pt} % noindent whole file! + \begin{document} \title{\textbf{Analysis 1. Semester (WS2017/18)}}