Skip to content
Permalink
master
Switch branches/tags

Name already in use

A tag already exists with the provided branch name. Many Git commands accept both tag and branch names, so creating this branch may cause unexpected behavior. Are you sure you want to create this branch?
Go to file
 
 
Cannot retrieve contributors at this time
%%%---- Do not adjust ----%%%
\documentclass[12pt,oneside]{book}
\input{preamble.tex}
%%%-----------------------%%%
%Add your data to the following commands.
%%%%%%%%%%%%%%%%%%%%%
\newcommand{\mythesistitle}{Categories of Conceptions of Proofs by\\Students of Computer Science}
\newcommand{\myname}{Th\'er\`ese Mary Smith}
\newcommand{\myyear}{2016}
\newcommand{\degreeone}{S.B. Physics, Massachusetts Institute of Technology, Cambridge,
Massachusetts, USA, 1975}
\newcommand{\degreeoneshort}{S.B.\ Physics}
\newcommand{\degreetwo}{M.S. Biomedical Engineering, Iowa State University of Science and
Technology, Ames, Iowa, USA, 1982}
\newcommand{\degreetwoshort}{M.S.\ BME}
\newcommand{\degreethree}{M.S. Computer Science and Engineering, University of Connecticut, Storrs,
Connecticut, USA, 2014}
\newcommand{\degreethreeshort}{M.S.\ CSE}
\newcommand{\majoradvisor}{Robert McCartney}
\newcommand{\associateone}{Sanguthevar Rajasekaran}
\newcommand{\associatetwo}{Jinbo Bi}
%%%%%%%%%%%%%%%%%%%%%
%%%---- Do not adjust ----%%%
\begin{document}
\input{frontmatter.tex}
\singlespacing
\tableofcontents
\listoffigures %tms20151102
\listoftables%tms20151102
\thispagestyle{plain}
\mainmatter
\doublespacing
%%%-----------------------%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%---- Input content ----%%%
\input{ch1.tex} %intro
\input{ch2.tex} %research perspective and epistemological framework
\input{ch3.tex} %methodology
\input{ch4.tex} % analysis
\input{ch5.tex} %results
\input{ch6.tex} %interpretation/discussion
\input{ch7.tex} %validity and reliability
\input{ch8.tex} %related work
\input{ch9.tex} %conclusions
\input{ch10.tex} %future work
%\input{ch11.tex} %
%\input{TODOs.tex}
%... etc.
%%%-----------------------%%%
\newpage
\addcontentsline{toc}{chapter}{Bibliography}
\bibliography{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical2} %{}
\bibliographystyle{amsplain}
\newpage
%\appendix{Materials}
%\input{materials.tex}
%\newpage
%\appendix{Incoming Assessment for Object Oriented Software}
%\input{incomingOO.tex}
%\newpage
\appendix{Incoming Assessment for Discrete Math}
\input{QlistCSE2500.tex}
\newpage
\appendix{Details of Analysis: Codes and Representatives}
\input{DetailsAnalysis.tex}
%\appendix{Incoming Assessment for Algorithms}
%\input{incomingAlgos.tex}
%\newpage
%\appendix{Incoming Assessment for Introduction to the Theory of Computation}
%\input{incomingTheory.tex} %in which proofs of correctness of resource util.
\end{document}