Skip to content

Commit

Permalink
Latest build deployed.
Browse files Browse the repository at this point in the history
  • Loading branch information
oscarlevin committed Jul 30, 2024
1 parent 2ec51ee commit e5e8c57
Show file tree
Hide file tree
Showing 10,366 changed files with 44,927 additions and 239,027 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
Empty file modified .mapping.json
100644 → 100755
Empty file.
283 changes: 155 additions & 128 deletions Activity-13-combinatorial-proofs-a4.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions Activity-13-combinatorial-proofs-letter.html
100644 → 100755

Large diffs are not rendered by default.

1,922 changes: 1,922 additions & 0 deletions PA_logic-prop-a4.html

Large diffs are not rendered by default.

1,922 changes: 1,922 additions & 0 deletions PA_logic-prop-letter.html

Large diffs are not rendered by default.

1,926 changes: 1,926 additions & 0 deletions PA_sec_logic-statements-a4.html

Large diffs are not rendered by default.

1,926 changes: 1,926 additions & 0 deletions PA_sec_logic-statements-letter.html

Large diffs are not rendered by default.

Empty file modified _static/pretext/css/banner_crc.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/banner_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/banner_wide.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/catalog.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_blue_green.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_blue_grey.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_blue_red.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_blue_red_dark.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_bluegreen_grey.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_brown_gold.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_darkmartiansands.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_focused_gray_aqua.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_focused_light.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_green_blue.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_green_plum.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_maroon_grey.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_martiansands.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_orange_navy.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_pastel_blue_orange.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_red_blue.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_ruby_amethyst.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_ruby_emerald.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/colors_ruby_turquoise.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/edit.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/epub.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/features.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/kindle.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/knowls_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/navbar_crc.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/navbar_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/navbar_wide.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/pretext.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/pretext_add_on.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/pretext_search.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/reveal.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/setcolors.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/shell_crc.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/shell_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/shell_min.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/shell_wide.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/style_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/style_oscarlevin.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/style_soundwriting.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/style_wide.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/toc_crc.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/toc_default.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/toc_min.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/toc_wide.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/css/webwork.css
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/answer.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/edit.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/highlight.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/instructor.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/jquery.espy.min.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/jquery.min.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/jquery.sticky.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/knowl.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/mathjaxknowl.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lib/mathjaxknowl3.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/login.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/lti_iframe_resizer.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext-webwork/2.16/pretext-webwork.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext-webwork/2.17/pretext-webwork.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext-webwork/2.18/pretext-webwork.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext-webwork/2.19/pretext-webwork.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext_add_on.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/pretext_search.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/ptx_search.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/style_browser.js
100644 → 100755
Empty file.
Empty file modified _static/pretext/js/user_preferences.js
100644 → 100755
Empty file.
523 changes: 0 additions & 523 deletions acknowledgement-1.html

This file was deleted.

760 changes: 0 additions & 760 deletions appendix-1.html

This file was deleted.

359 changes: 182 additions & 177 deletions backmatter-2.html
100644 → 100755

Large diffs are not rendered by default.

429 changes: 194 additions & 235 deletions backmatter-3.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions backmatter-4.html
100644 → 100755

Large diffs are not rendered by default.

423 changes: 226 additions & 197 deletions backmatter-5.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions backmatter-6.html
100644 → 100755

Large diffs are not rendered by default.

112 changes: 55 additions & 57 deletions backmatter-7.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions backmatter.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_additionalTopics.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_counting.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_graphtheory.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_intro.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_logic.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_sequences.html
100644 → 100755

Large diffs are not rendered by default.

283 changes: 155 additions & 128 deletions ch_structures.html
100644 → 100755

Large diffs are not rendered by default.

519 changes: 0 additions & 519 deletions colophon-1.html

This file was deleted.

517 changes: 0 additions & 517 deletions colophon-2.html

This file was deleted.

517 changes: 0 additions & 517 deletions dedication-1.html

This file was deleted.

523 changes: 0 additions & 523 deletions dmoi.html

This file was deleted.

283 changes: 155 additions & 128 deletions dmoi4.html
100644 → 100755

Large diffs are not rendered by default.

Empty file modified external/7bridges.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/7bridges.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/7bridgescolor.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/7bridgesgraph.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/USAmap.tex
100644 → 100755
Empty file.
Empty file modified external/by-sa.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/cannonballs.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/cover.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/cover.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/cover2.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
3,362 changes: 1,681 additions & 1,681 deletions external/cover2016-6x9.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/cover3.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/coverbg.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
432 changes: 216 additions & 216 deletions external/custom-styles.css
100644 → 100755

Large diffs are not rendered by default.

Empty file modified external/favicon.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/frontmatter/by-sa.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
68 changes: 34 additions & 34 deletions external/frontmatter/copyright-page.tex
100644 → 100755
Original file line number Diff line number Diff line change
@@ -1,34 +1,34 @@
\thispagestyle{empty}
\vskip 2em

\noindent Oscar Levin \\ School of Mathematical Science \\ University of Northern Colorado \\ Greeley, Co 80639 \\ \nolinkurl{oscar.levin@unco.edu} \\ \url{http://math.oscarlevin.com/}


\vfill
\vfill
\noindent\textcopyright ~ 2013-2019 by Oscar Levin

\vskip 3em

\noindent\includegraphics[scale=.5]{external/frontmatter/by-sa}\\
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit\\ \url{http://creativecommons.org/licenses/by-sa/4.0/}.

\vfill

\noindent 3rd Edition
\vskip 1ex
\noindent 2nd Printing: 3/24/2019
\vskip 1em
% \noindent ISBN-10: 1534970746\\
% \noindent ISBN-13: 978-1534970748
\noindent ISBN: 978-1792901690

\vfill

\noindent A current version can always be found for free at\\ \url{http://discrete.openmathbooks.org/}
\vskip 2em

\noindent Cover image: \emph{Tiling with Fibonacci and Pascal}.
\vskip 2em

\clearpage
\thispagestyle{empty}
\vskip 2em

\noindent Oscar Levin \\ School of Mathematical Science \\ University of Northern Colorado \\ Greeley, Co 80639 \\ \nolinkurl{oscar.levin@unco.edu} \\ \url{http://math.oscarlevin.com/}


\vfill
\vfill
\noindent\textcopyright ~ 2013-2019 by Oscar Levin

\vskip 3em

\noindent\includegraphics[scale=.5]{external/frontmatter/by-sa}\\
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit\\ \url{http://creativecommons.org/licenses/by-sa/4.0/}.

\vfill

\noindent 3rd Edition
\vskip 1ex
\noindent 2nd Printing: 3/24/2019
\vskip 1em
% \noindent ISBN-10: 1534970746\\
% \noindent ISBN-13: 978-1534970748
\noindent ISBN: 978-1792901690

\vfill

\noindent A current version can always be found for free at\\ \url{http://discrete.openmathbooks.org/}
\vskip 2em

\noindent Cover image: \emph{Tiling with Fibonacci and Pascal}.
\vskip 2em

\clearpage
118 changes: 59 additions & 59 deletions external/frontmatter/title-page.tex
100644 → 100755
Original file line number Diff line number Diff line change
@@ -1,59 +1,59 @@



\thispagestyle{empty}


%~
%\tikz[remember picture, overlay] \node at (current page.center){\includegraphics[width=\paperwidth,height=\paperheight]{images/titlebg}};


~
\vskip 1.75in

\begin{center}

\resizebox{.6\linewidth}{!}{\scshape Discrete}

\vskip -1ex

\resizebox{.9\linewidth}{!}{\scshape Mathematics}


\vskip 2em
\tikz[scale=0.55,yscale=.2]{\draw (0,0) rectangle (1,1);
\draw (1.4,0) rectangle (3.4, 1) (3.8,0) rectangle (4.8,1) (4.8,0) rectangle (5.8,1); \draw (6.2,0) rectangle (8.2,1) (8.2,0) rectangle (9.2,1) (9.6,0) rectangle (10.6,1) (10.6,0) rectangle (12.6,1) (13,0) rectangle (14,1) (14,0) rectangle (15,1) (15,0) rectangle (16,1);
}

\vskip 2em

\resizebox{.75\linewidth}{!}{\scshape An Open Introduction}


%\tikz[scale=0.55]{\draw (0,0) rectangle (1,1);
%\draw (1.4,0) rectangle (3.4, 1) (3.8,0) rectangle (4.8,1) (4.8,0) rectangle (5.8,1); \draw (6.2,0) rectangle (8.2,1) (8.2,0) rectangle (9.2,1) (9.6,0) rectangle (10.6,1) (10.6,0) rectangle (12.6,1) (13,0) rectangle (14,1) (14,0) rectangle (15,1) (15,0) rectangle (16,1);
%}

\vskip 1.5in

\resizebox{.35\linewidth}{!}{\scshape Oscar Levin}

\vskip .5in

\resizebox{.2\linewidth}{!}{\scshape 3rd Edition}

\end{center}


%\includepdf[pages=-,pagecommand={\thispagestyle{empty}}]{frontmatter/cover2}
%
%

\clearpage






%\addtocontents{toc}{\protect\thispagestyle{plain}}



\thispagestyle{empty}


%~
%\tikz[remember picture, overlay] \node at (current page.center){\includegraphics[width=\paperwidth,height=\paperheight]{images/titlebg}};


~
\vskip 1.75in

\begin{center}

\resizebox{.6\linewidth}{!}{\scshape Discrete}

\vskip -1ex

\resizebox{.9\linewidth}{!}{\scshape Mathematics}


\vskip 2em
\tikz[scale=0.55,yscale=.2]{\draw (0,0) rectangle (1,1);
\draw (1.4,0) rectangle (3.4, 1) (3.8,0) rectangle (4.8,1) (4.8,0) rectangle (5.8,1); \draw (6.2,0) rectangle (8.2,1) (8.2,0) rectangle (9.2,1) (9.6,0) rectangle (10.6,1) (10.6,0) rectangle (12.6,1) (13,0) rectangle (14,1) (14,0) rectangle (15,1) (15,0) rectangle (16,1);
}

\vskip 2em

\resizebox{.75\linewidth}{!}{\scshape An Open Introduction}


%\tikz[scale=0.55]{\draw (0,0) rectangle (1,1);
%\draw (1.4,0) rectangle (3.4, 1) (3.8,0) rectangle (4.8,1) (4.8,0) rectangle (5.8,1); \draw (6.2,0) rectangle (8.2,1) (8.2,0) rectangle (9.2,1) (9.6,0) rectangle (10.6,1) (10.6,0) rectangle (12.6,1) (13,0) rectangle (14,1) (14,0) rectangle (15,1) (15,0) rectangle (16,1);
%}

\vskip 1.5in

\resizebox{.35\linewidth}{!}{\scshape Oscar Levin}

\vskip .5in

\resizebox{.2\linewidth}{!}{\scshape 3rd Edition}

\end{center}


%\includepdf[pages=-,pagecommand={\thispagestyle{empty}}]{frontmatter/cover2}
%
%

\clearpage






%\addtocontents{toc}{\protect\thispagestyle{plain}}
Empty file modified external/fullcover.svg
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Empty file modified external/images/back.pdf
100644 → 100755
Empty file.
Empty file modified external/images/cover.png
100644 → 100755
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading

0 comments on commit e5e8c57

Please sign in to comment.