├── .gitignore ├── Makefile ├── README.md ├── algebra-binaryoperations.tex ├── algebra-groups.tex ├── book.tex ├── exercises.smpl ├── images ├── bells.jpg ├── cycle.png ├── k23.png ├── k24.png ├── k331.png ├── k5.png ├── klein.png ├── konigsberg_bridges.png ├── parallels.png ├── sol3.png └── sol4.png ├── introduction.tex ├── logic-applications.tex ├── logic-basics.tex ├── logic-formalism.tex ├── logic-functions.tex ├── logic-god.tex ├── logic-intuition.tex ├── logic-other.tex ├── logic-paradoxes.tex ├── logic-predicates.tex ├── logic-puzzle.tex ├── naturals-arithm.tex ├── naturals-choose.tex ├── naturals-counting.tex ├── naturals-definitions.tex ├── naturals-div.tex ├── naturals-doublecounting.tex ├── naturals-inclexcl.tex ├── naturals-induction.tex ├── naturals-islanders.tex ├── naturals-othernumbers.tex ├── naturals-partitions.tex ├── naturals-permutations.tex ├── naturals-pigeonhole.tex ├── naturals-undecidability.tex ├── naturals-voting.tex ├── sets-basics.tex ├── sets-formalism.tex ├── sets-functions.tex ├── sets-graphs.tex ├── sets-history.tex ├── sets-incompleteness.tex ├── sets-relations.tex ├── temp-polynomials.tex ├── tex2wp.py └── tmp.tex /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/.gitignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/README.md -------------------------------------------------------------------------------- /algebra-binaryoperations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/algebra-binaryoperations.tex -------------------------------------------------------------------------------- /algebra-groups.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/algebra-groups.tex -------------------------------------------------------------------------------- /book.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/book.tex -------------------------------------------------------------------------------- /exercises.smpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/exercises.smpl -------------------------------------------------------------------------------- /images/bells.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/bells.jpg -------------------------------------------------------------------------------- /images/cycle.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/cycle.png -------------------------------------------------------------------------------- /images/k23.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/k23.png -------------------------------------------------------------------------------- /images/k24.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/k24.png -------------------------------------------------------------------------------- /images/k331.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/k331.png -------------------------------------------------------------------------------- /images/k5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/k5.png -------------------------------------------------------------------------------- /images/klein.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/klein.png -------------------------------------------------------------------------------- /images/konigsberg_bridges.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/konigsberg_bridges.png -------------------------------------------------------------------------------- /images/parallels.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/parallels.png -------------------------------------------------------------------------------- /images/sol3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/sol3.png -------------------------------------------------------------------------------- /images/sol4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/images/sol4.png -------------------------------------------------------------------------------- /introduction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/introduction.tex -------------------------------------------------------------------------------- /logic-applications.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-applications.tex -------------------------------------------------------------------------------- /logic-basics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-basics.tex -------------------------------------------------------------------------------- /logic-formalism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-formalism.tex -------------------------------------------------------------------------------- /logic-functions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-functions.tex -------------------------------------------------------------------------------- /logic-god.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-god.tex -------------------------------------------------------------------------------- /logic-intuition.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-intuition.tex -------------------------------------------------------------------------------- /logic-other.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-other.tex -------------------------------------------------------------------------------- /logic-paradoxes.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-paradoxes.tex -------------------------------------------------------------------------------- /logic-predicates.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-predicates.tex -------------------------------------------------------------------------------- /logic-puzzle.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/logic-puzzle.tex -------------------------------------------------------------------------------- /naturals-arithm.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-arithm.tex -------------------------------------------------------------------------------- /naturals-choose.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-choose.tex -------------------------------------------------------------------------------- /naturals-counting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-counting.tex -------------------------------------------------------------------------------- /naturals-definitions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-definitions.tex -------------------------------------------------------------------------------- /naturals-div.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-div.tex -------------------------------------------------------------------------------- /naturals-doublecounting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-doublecounting.tex -------------------------------------------------------------------------------- /naturals-inclexcl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-inclexcl.tex -------------------------------------------------------------------------------- /naturals-induction.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-induction.tex -------------------------------------------------------------------------------- /naturals-islanders.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-islanders.tex -------------------------------------------------------------------------------- /naturals-othernumbers.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-othernumbers.tex -------------------------------------------------------------------------------- /naturals-partitions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-partitions.tex -------------------------------------------------------------------------------- /naturals-permutations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-permutations.tex -------------------------------------------------------------------------------- /naturals-pigeonhole.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-pigeonhole.tex -------------------------------------------------------------------------------- /naturals-undecidability.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-undecidability.tex -------------------------------------------------------------------------------- /naturals-voting.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/naturals-voting.tex -------------------------------------------------------------------------------- /sets-basics.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-basics.tex -------------------------------------------------------------------------------- /sets-formalism.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-formalism.tex -------------------------------------------------------------------------------- /sets-functions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-functions.tex -------------------------------------------------------------------------------- /sets-graphs.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-graphs.tex -------------------------------------------------------------------------------- /sets-history.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-history.tex -------------------------------------------------------------------------------- /sets-incompleteness.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-incompleteness.tex -------------------------------------------------------------------------------- /sets-relations.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/sets-relations.tex -------------------------------------------------------------------------------- /temp-polynomials.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/temp-polynomials.tex -------------------------------------------------------------------------------- /tex2wp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/tex2wp.py -------------------------------------------------------------------------------- /tmp.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/xHellerx/Math-tutorial/HEAD/tmp.tex --------------------------------------------------------------------------------