-
Notifications
You must be signed in to change notification settings - Fork 0
/
mkdocs.yml
56 lines (54 loc) · 1.94 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
site_name: MATH 122
docs_dir: docs
theme_dir: theme
site_url: http://uvicnotes.github.io/MATH-122/
repo_url: https://github.com/UVicNotes/MATH-122
site_description: Course Notes for MATH 122 - Logic and Foundations
site_author: Brynn Hawker
pages:
- Home: 'index.md'
- Introduction:
- 'Course Introduction': 'notes/0-0-introduction.md'
- 'Compound Statements': 'notes/0-1-compound-statements.md'
- 'Proofs': 'notes/0-2-proofs.md'
- Logic (Ch. 1):
- 'Truth Tables': 'notes/1-1-truth-tables.md'
- 'Propositions': 'notes/1-2-propositions.md'
- 'Logical Arguments': 'notes/1-3-logical-arguments.md'
- Sets and Relations (Ch. 2):
- 'Sets': 'notes/2-1-sets.md'
- 'Set Operations': 'notes/2-2-set-operations.md'
- 'Binary Operations': 'notes/2-3-binary-operations.md'
- 'Equivalence Relations': 'notes/2-4-equivalence-relations.md'
- Functions (Ch. 3):
- 'Terminology': 'notes/3-1-function-terminology.md'
- 'Inverses': 'notes/3-2-inverses.md'
- 'Cardinality': 'notes/3-3-cardinality.md'
- The Integers (Ch. 4):
- 'The Division Algorithm': 'notes/4-1-division-algorithm.md'
- 'The Euclidean Algorithm': 'notes/4-2-euclidean-algorithm.md'
- 'Primes': 'notes/4-3-primes.md'
- 'Congruences': 'notes/4-4-congruences.md'
- Induction (Ch. 5):
- 'Induction': 'notes/5-1-induction.md'
- 'Recursive Induction': 'notes/5-2-recursive.md'
- Inclusion-Exclusion (Ch. 6):
- 'Pricipal of Inclusion-Exclusion': 'notes/6-1-pie.md'
extra_javascript:
- https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-AMS-MML_HTMLorMML
- https://cdn.rawgit.com/UVicNotes/UVicNotes/81099952ba789829fab1840e5d26cb5a2bf62011/helpers/mathjax.js
markdown_extensions:
- mdx_math
- mdx_del_ins
- codehilite(css_class=code)
- admonition
- toc:
permalink: True
google_analytics:
- 'UA-91401009-1'
- 'auto'
extra:
version: 'Summer 2015'
palette:
primary: 'indigo'
accent: 'orange'