...
 
Commits (1)
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
\begin{center}
\renewcommand{\arraystretch}{1.07}
{\large\textsc{Notation}} \\[3ex]
{\color{darkii}\large\textsc{Notation}} \\[3ex]
\begin{tabular}{r|l}
$\N$ &natural numbers $\set{0,1,2,\ldots}$ \\
$\Z$, $\Z^+$ &integers $\set{\ldots, -2,-1,0,1,2,\ldots}$,
......@@ -38,12 +38,12 @@
\end{center}
\vspace*{\fill}
\begin{center}
{\large\textsc{Greek letters, with pronounciation}}
{\color{darkii}\large\textsc{Greek letters, with pronounciation}}
\\[3ex]
\newcommand{\pronounced}[1]{\hspace*{.2em}\small\textit{#1}}
\begin{tabular}{cl@{\hspace*{3em}}cl}
character &\multicolumn{1}{c}{\makebox[-3.5em][r]{name}}
&character &\multicolumn{1}{c}{\makebox[-3.5em][r]{name}} \\
\textit{Character} &\multicolumn{1}{c}{\makebox[-3.5em][r]{\textit{Name}}}
&\textit{Character} &\multicolumn{1}{c}{\makebox[-3.5em][r]{\textit{Name}}} \\
\hline
\makebox[1em][l]{\( \alpha \)} &alpha \pronounced{AL-fuh}
&\makebox[1em][l]{\( \nu \)} &nu \pronounced{NEW} \\
......
......@@ -222,16 +222,7 @@ qed=\qedsymbol
% ========================================
% Chapter formatting
\RequirePackage[sc,medium,compact,raggedright,nobottomtitles,clearempty]{titlesec}
% \titleformat{command}[shape]{format}{label}{sep}{before-code}[after-code]
% \titlespacing*{command}{left}{before-sep}{after-sep}[right-sep] % *-d form omits paragraph indent after title
% \titleformat{\chapter}[block]{\color{darki}\Large\scshape}{Chapter \thechapter}{1em}{\Writetofile{}{}}[\thispagestyle{firstpage}]
% \titlespacing*{\chapter}{0em}{4ex}{2ex}
% \titleformat{\section}[block]{\color{darki}\large\scshape}{}{0em}{}[]
% \titlespacing*{\section}{0em}{7ex}{1ex}
% \titleformat{\chapter}[display]{\color{darki}\Large\scshape}{\filleft\MakeUppercase{\chaptertitlename} {\Huge\thechapter}}{1em}{}[\thispagestyle{firstpage}]
% \titlespacing*{\chapter}{0em}{4ex}{2ex}
% \titleformat{\section}[block]{\large\scshape}{}{0em}{}[]
% \titlespacing*{\section}{0em}{7ex}{1ex}
\assignpagestyle{\chapter}{bodypage} % Does not seem to do anything. Maybe because titleclass of \chapter is "straight"?
% ========================================
% Lists
......@@ -279,14 +270,14 @@ qed=\qedsymbol
\begin{center}
\setlength{\unitlength}{1in}
\newcommand{\enormoussize}{\fontsize{30pt}{20pt}\selectfont}
{\enormoussize\scshape \makebox[0em][l]{\raisebox{24pt}{\large\itshape \hspace*{15pt}An Inquiry-Based}}{\color{darkii}Introduction to Proofs}} \\[5pt]
{\Large\scshape \makebox[23em][r]{\color{highlight}#1}}
{\enormoussize\scshape \makebox[0em][l]{\raisebox{22pt}{\hspace*{12pt}\includegraphics{asy/colored_rule.pdf}}}\makebox[0em][l]{\raisebox{24pt}{\large\itshape \hspace*{15pt}An Inquiry-Based}}{\color{darkii}Introduction to Proofs}} \\[5pt]
{\Large\scshape \makebox[23em][r]{\color{darkii}#1}}
\end{center}
\vspace*{\fill}
\begin{flushright}
\large\color{darkii}
\large % \color{darkii}
\begin{tabular}{@{}l@{}}
Jim Hef{}feron \\
Jim Hef{}feron \\
Saint Michael's College \\
Version \version
\end{tabular}
......
......@@ -2,7 +2,7 @@
\documentclass{ibl} % for making book
% \documentclass[compact]{ibl} % for making handout for students
\usepackage{testtext} % for the text only; answers-only is another .sty
\usepackage{ibltext} % for the text only; answers-only is another .sty
\usepackage{comment}
\usepackage{etoolbox}
......@@ -33,7 +33,7 @@
\mainmatter
\pagestyle{bodypage}
\chapter{Numbers}
\chapter{Numbers}\thispagestyle{bodypage}
We begin with results about the integers $\Z=\set{\ldots\,-2,-1,0,1,2,\ldots}$.
In this chapter, ``number'' means integer.
......@@ -1074,7 +1074,7 @@ is the largest of their common divisors.
\end{df}
\begin{problem} \label{ex:GCDPropeties}
Prove these statements about integers.
Prove.
\begin{exes}
\begin{exercise} \notetext{Existence}
For any two integers $a,b$ that are not both zero, $\gcd(a,b)$ exists
......@@ -1169,7 +1169,7 @@ Prove these statements about integers.
\end{problem}
\begin{df}
Two numbers are \definend{relatively prime}
Two integers are \definend{relatively prime}
or \definend{coprime}, sometimes denoted~$a\perp b$, if their
greatest common divisor is $1$.
\end{df}
......@@ -2065,7 +2065,7 @@ Together these show that $\gcd(a,b)\cdot\lcm(a,b)=ab$.)
%===================================================
\chapter{Sets}
\chapter{Sets}\thispagestyle{bodypage} % Can't get assignpagestyle to work
%\begin{df}
A \definend{set} is a collection that is definite, that is, well-determined,
so that every thing either definitely is contained in the collection
......@@ -3179,7 +3179,7 @@ Thus $A^0=B^0=\set{\sequence{}}$.
%===================================================
\chapter{Functions and relations}
\chapter{Functions and relations} \thispagestyle{bodypage} % Can't get assignpagestyle to work
% http://gowers.wordpress.com/2009/06/08/why-arent-all-functions-well-defined/
\begin{df}
A \definend{function} or \definend{map}~$f$
......@@ -3342,7 +3342,7 @@ $\charfcn{A}(x)=1$ if~$x\in A$ and $\charfcn{A}(x)=0$ if~$x\notin A$.
A function may have multiple arguments; one example is the function
$\map{f}{\R^2}{\R}$ whose action is
$\sequence{x,y}\mapsto x^2-2y^2$.
We typically write
We write
$f(x,y)$ rather than
$f(\sequence{x,y})$.
We say that this $f$ is \definend{$2$-ary} and similarly there
......@@ -3555,7 +3555,8 @@ This is asymmetric because the
definition puts no such condition on output elements.
\begin{df}
A function is \definend{one-to-one}, or an \definend{injection},
A function is \definend{one-to-one}, or \definend{$1$-$1$},
or an \definend{injection},
if for each value there is at most
one associated argument, that is, if $f(d_0)=f(d_1)$ implies that $d_0=d_1$
for all elements $d_0,d_1$ of the domain.
......
......@@ -111,6 +111,7 @@ then
# ------- graphics ------------
# asy files
cd asy
asy -fpdf colored_rule.asy
asy -fpdf bean_fcn.asy
asy -fpdf bean_fcn_comp.asy
asy -fpdf bean_fcn_elets.asy
......
No preview for this file type
......@@ -5,9 +5,11 @@
% fancyhdr
\fancypagestyle{bodypage}{%
\fancyhf{}% clear all six fields
\fancyhead[RE,LO]{\small \textit{Introduction to Proofs}, Hef{}feron, version~\version}
\fancyhead[LE,RO]{\small page \thepage}
\renewcommand{\headrulewidth}{0.4pt}
% \fancyhead[RE,LO]{\small \textit{Introduction to Proofs}, Hef{}feron, version~\version}
% \fancyhead[LE,RO]{\small page \thepage}
\fancyfoot[C]{\small --\,Page \thepage\,--}
% \renewcommand{\headrulewidth}{0.4pt}
\renewcommand{\headrulewidth}{0pt}
\renewcommand{\footrulewidth}{0pt}
}
......