thesis4Through6.bbl

\providecommand{\bysame}{\leavevmode\hbox to3em{\hrulefill}\thinspace}
\providecommand{\MR}{\relax\ifhmode\unskip\space\fi MR }
% \MRhref is called by the amsart/book/proc definition of \MR.
\providecommand{\MRhref}[2]{%
  \href{http://www.ams.org/mathscinet-getitem?mr=#1}{#2}
}
\providecommand{\href}[2]{#2}
\begin{thebibliography}{10}

\bibitem{almstrum1996investigating}
Vicki~L Almstrum, \emph{Investigating student difficulties with mathematical
  logic}, Teaching and Learning Formal Methods (1996), 131--160.

\bibitem{bloom1956taxonomy}
Benjamin~S Bloom et~al., \emph{Taxonomy of educational objectives. vol. 1:
  Cognitive domain}, New York: McKay (1956).

\bibitem{booth1997phenomenography}
Shirley Booth, \emph{On phenomenography, learning and teaching}, Higher
  education research \& development \textbf{16} (1997), no.~2, 135--158.

\bibitem{booth2001learning}
\bysame, \emph{Learning computer science and engineering in context}, Computer
  Science Education \textbf{11} (2001), no.~3, 169--188.

\bibitem{carnap1958introduction}
Rudolf Carnap, \emph{Introduction to symbolic logic and its applications},
  Dover Books, 1958.

\bibitem{cohen1982modified}
David~W Cohen, \emph{A modified moore method for teaching undergraduate
  mathematics}, American Mathematical Monthly (1982), 473--490.

\bibitem{ellenberg2014not}
Jordan Ellenberg, \emph{How not to be wrong: The power of mathematical
  thinking}, Penguin, 2014.

\bibitem{gries2012science}
David Gries, \emph{The science of programming}, Springer Science \& Business
  Media, 2012.

\bibitem{harel1998students}
Guershon Harel and Larry Sowder, \emph{Students’ proof schemes: Results from
  exploratory studies}, Research in collegiate mathematics education III
  \textbf{7} (1998), 234--282.

\bibitem{jacobs2008developing}
Sally Jacobs and Maria Trigueros, \emph{On developing a rich conception of
  variable}, Making the connection: Research and teaching in undergraduate
  mathematics education (2008), no.~73, 1.

\bibitem{marcell2008effectiveness}
Michael Marcell, \emph{Effectiveness of regular online quizzing in increasing
  class participation and preparation}, International Journal for the
  Scholarship of Teaching and Learning \textbf{2} (2008), no.~1, 7.

\bibitem{marton1997learning}
Ference Marton and Shirley~A Booth, \emph{Learning and awareness}, Routledge,
  1997.

\bibitem{marton1976aqualitative}
Ference Marton and R~S{\"a}lj{\"o}, \emph{On qualitative differences in
  learning -- {II} {O}utcome as a function of the learner's conception of the
  task}, British Journal of Educational Psychology \textbf{46} (1976), no.~2,
  115--127.

\bibitem{reilly2014examination}
Christine~F Reilly and Emmett Tomai, \emph{An examination of mathematics
  preparation for and progress through three introductory computer science
  courses}, Frontiers in Education Conference (FIE), 2014 IEEE, IEEE, 2014,
  pp.~1--9.

\bibitem{rosken2007integrating}
Bettina R{\"o}sken and Katrin Rolka, \emph{Integrating intuition: The role of
  concept image and concept definition for students' learning of integral
  calculus}, The Montana Mathematics Enthusiast \textbf{3} (2007), 181--204.

\bibitem{schoenfeld1998reflections}
Alan~H Schoenfeld, \emph{Reflections on a course in mathematical problem
  solving}, Research in collegiate mathematics education III (1998), 81--113.

\bibitem{sipser2012introduction}
Michael Sipser, \emph{Introduction to the theory of computation}, Cengage
  Learning, 2012.

\bibitem{smith2013categorizing}
Th{\'e}r{\`e}se Smith and Robert McCartney, \emph{Categorizing the school
  experience of entering computing students}, Journal of Computing Sciences in
  Colleges \textbf{28} (2013), no.~3, 78--85.

\bibitem{smith2014computer}
\bysame, \emph{Computer science students' concepts of proof by induction},
  Proceedings of the 14th Koli Calling International Conference on Computing
  Education Research, ACM, 2014, pp.~51--60.

\bibitem{smith2013mathematization}
Tim Smith and Robert McCartney, \emph{Mathematization in teaching pumping
  lemmas}, Frontiers in Education Conference, 2013 IEEE, IEEE, 2013,
  pp.~1671--1677.

\bibitem{tall2008transition}
David Tall, \emph{The transition to formal thinking in mathematics},
  Mathematics Education Research Journal \textbf{20} (2008), no.~2, 5--24.

\bibitem{tall2001symbols}
David Tall, Eddie Gray, Maselan~Bin Ali, Lillie Crowley, Phil DeMarois,
  Mercedes McGowen, Demetra Pitta, Marcia Pinto, Michael Thomas, and Yudariah
  Yusof, \emph{Symbols and the bifurcation between procedural and conceptual
  thinking}, Canadian Journal of Math, Science \& Technology Education
  \textbf{1} (2001), no.~1, 81--104.

\bibitem{weber2004traditional}
Keith Weber, \emph{Traditional instruction in advanced mathematics courses: A
  case study of one professor's lectures and proofs in an introductory real
  analysis course}, The Journal of Mathematical Behavior \textbf{23} (2004),
  no.~2, 115--133.

\end{thebibliography}