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
executable file 189 lines (189 sloc) 11.2 KB
\relax
\@writefile{toc}{\contentsline {chapter}{\numberline {1}spacer}{1}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}spacer}{2}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\citation{bloom1956taxonomy}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Methodology}{3}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Design of the Study}{4}}
\citation{bloom1956taxonomy}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Parts of the Study}{5}}
\citation{marton1997learning}
\citation{glaser1968discovery}
\@writefile{lot}{\contentsline {table}{\numberline {3.2.1}{\ignorespaces Parts of the Study\relax }}{6}}
\providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}}
\newlabel{parts}{{3.2.1}{6}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}Population Studied}{6}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.1}Proofs by Mathematic Induction}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.2}Purpose of Proof}{8}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.3}Proofs Using the Pumping Lemma for Regular Languages}{9}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.3.4}Student Use of Proof for Applicability of Algorithms}{9}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Data Collection}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.1}Interviews}{10}}
\@writefile{toc}{\contentsline {subsubsection}{Student Conceptions of What Proofs Is}{10}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.2}Documents}{11}}
\@writefile{toc}{\contentsline {subsubsection}{Proofs Using the Pumping Lemma for Regular Languages}{11}}
\citation{marton1997learning}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.4.3}Observations from Tutoring and Help Sessions}{12}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Method of Analysis}{12}}
\gdef \LT@i {\LT@entry
{5}{211.16928pt}\LT@entry
{5}{253.84842pt}}
\@writefile{lot}{\contentsline {table}{\numberline {3.5.1}{\ignorespaces Phenomenographic Analysis of Reasons for Teaching Proof}}{13}}
\newlabel{exemplar}{{3.5.1}{13}}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{smedslund1970circular}
\citation{marton1997learning}
\citation{Merriam2002}
\citation{Merriam2009}
\citation{braun2006using}
\citation{fereday2008demonstrating}
\citation{boyatzis1998transforming}
\citation{merriam2009qualitative}
\citation{strauss1990basics}
\citation{kendall1999axial}
\citation{glaser2008conceptualization}
\citation{marton1997learning}
\citation{harel1998students}
\citation{tall2001symbols}
\citation{weber2004semantic}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{marton1997learning}
\citation{Merriam2002}
\citation{Merriam2009}
\citation{braun2006using}
\citation{fereday2008demonstrating}
\citation{boyatzis1998transforming}
\citation{strauss1990basics}
\citation{kendall1999axial}
\citation{glaser2008conceptualization}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.1}Analysis of Interviews}{23}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.2}Analysis of Help Session and Tutoring}{24}}
\citation{harel1998students}
\citation{Tall?}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.5.3}Application of Phenomenographic Analysis to Why We Teach Proof}{25}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Method of Addressing Validation}{26}}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}Method of Presentation of Results}{27}}
\citation{bloom1956taxonomy}
\citation{ellenberg2014not}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Phenomenographic Analysis}{29}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.0.1}Application of Phenomenographic Analysis in this Study}{29}}
\citation{ellenberg2014not}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of What Students Think Proofs Are}{30}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How Students Attempt to Understand Proofs}{32}}
\citation{ellenberg2014not}
\gdef \LT@ii {\LT@entry
{5}{211.16928pt}\LT@entry
{5}{253.84842pt}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Reasons for Teaching Proof}{34}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How Students Attempt to Apply Proofs (When not assigned)}{36}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students exhibit consequences of inability (such as avoiding recursion)}{37}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of How familiar and/or comfortable are students with different (specific) proof techniques: induction, construction, contradiction?}{37}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students notice structural elements in proofs}{37}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of What do students think it takes to make an argument valid?}{38}}
\@writefile{toc}{\contentsline {subsubsection}{Phenomenographic Analysis of Whether students incorporate structural elements in proofs}{38}}
\@writefile{toc}{\contentsline {subsubsection}{Themes / Categories}{39}}
\@writefile{toc}{\contentsline {subsubsection}{Relationships}{41}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.0.2}Analysis of Homework and Tests}{41}}
\@writefile{toc}{\contentsline {subsubsection}{Proofs}{41}}
\@writefile{toc}{\contentsline {subsubsection}{Pumping Lemmas}{41}}
\citation{sipser2012introduction}
\citation{marton1997learning}
\citation{booth2001learning}
\citation{marton1997learning}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Results}{43}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Criteria for Results}{43}}
\citation{marton1997learning}
\@writefile{lot}{\contentsline {table}{\numberline {5.1.1}{\ignorespaces Outcome space for what is proof, with temporal facet\relax }}{44}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}What do students think a proof is?}{45}}
\@writefile{lot}{\contentsline {table}{\numberline {5.2.1}{\ignorespaces Critical factors for what a proof is\relax }}{46}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.2.1}{\ignorespaces Conceptualizations found for what a proof is\relax }}{46}}
\newlabel{fig:whatThemes}{{5.2.1}{46}}
\@writefile{lot}{\contentsline {table}{\numberline {5.3.1}{\ignorespaces Critical factors for what a proof is\relax }}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {5.3}How do students approach understanding a proof?}{47}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.3.1}{\ignorespaces Conceptualizations of how to comprehend a proof\relax }}{47}}
\newlabel{fig:howThemes}{{5.3.1}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {5.4}What do students think a proof is for?}{48}}
\@writefile{lot}{\contentsline {table}{\numberline {5.4.1}{\ignorespaces Critical factors for what a proof is\relax }}{49}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.4.1}{\ignorespaces Conceptualizations about why to study proofs\relax }}{49}}
\newlabel{fig:whyThemes}{{5.4.1}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {5.5}What do students use proof for, when not assigned?}{50}}
\@writefile{toc}{\contentsline {section}{\numberline {5.6}Do students exhibit any consequence of inability in proof?}{51}}
\@writefile{toc}{\contentsline {section}{\numberline {5.7}What kind of structure do students notice in proofs?}{52}}
\@writefile{lot}{\contentsline {table}{\numberline {5.8.1}{\ignorespaces Critical factors for what a (valid) proof is\relax }}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {5.8}What do students think it takes to make an argument valid?}{53}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.8.1}{\ignorespaces Conceptualizations about validity of proofs\relax }}{53}}
\newlabel{fig:validityThemes}{{5.8.1}{53}}
\citation{harel1998students}
\@writefile{toc}{\contentsline {paragraph}{Definition based reasoning}{54}}
\@writefile{toc}{\contentsline {paragraph}{Generalization and transformation based reasoning}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {5.9}Combined Description}{54}}
\@writefile{toc}{\contentsline {section}{\numberline {5.10}Diagram of Conceptualizations}{56}}
\@writefile{lof}{\contentsline {figure}{\numberline {5.10.1}{\ignorespaces Themes from interview data\relax }}{56}}
\newlabel{fig:themes}{{5.10.1}{56}}
\@writefile{toc}{\contentsline {section}{\numberline {5.11}Outcome Space}{57}}
\citation{smith2013categorizing}
\citation{almstrum1996investigating}
\citation{cohen1982modified}
\@writefile{toc}{\contentsline {section}{\numberline {5.12}Critical Factors}{58}}
\@writefile{toc}{\contentsline {section}{\numberline {5.13}Earlier Paper Material}{58}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.1}Categories of Experience of Entering Students}{58}}
\citation{jacobs2008developing}
\citation{harel1998students}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.2}Representation/Symbolization in Pumping Lemmas}{59}}
\citation{tall2008transition}
\citation{weber2004traditional}
\citation{tall2001symbols}
\citation{harel1998students}
\citation{rosken2007integrating}
\citation{sipser2012introduction}
\citation{booth1997phenomenography}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.3}Abstract Model for Proof by Mathematical Induction and Recursion}{60}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.4}Proofs by Induction}{62}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.13.5}Pumping Lemmas}{62}}
\bibdata{literature,literatureClickersTheory,literatureFIE,literatureproof,literatureQualRes,literatureQualRes2,literatureQualRes3,literatureQualRes4,literatureQualRes5,literatureQualRes6,litMathPhenom,litSEEval,litSEQual,litVertical2}
\bibcite{almstrum1996investigating}{1}
\bibcite{bloom1956taxonomy}{2}
\bibcite{booth1997phenomenography}{3}
\bibcite{booth2001learning}{4}
\bibcite{boyatzis1998transforming}{5}
\bibcite{braun2006using}{6}
\bibcite{cohen1982modified}{7}
\bibcite{ellenberg2014not}{8}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{63}}
\bibcite{fereday2008demonstrating}{9}
\bibcite{glaser2008conceptualization}{10}
\bibcite{glaser1968discovery}{11}
\bibcite{harel1998students}{12}
\bibcite{jacobs2008developing}{13}
\bibcite{kendall1999axial}{14}
\bibcite{marton1997learning}{15}
\bibcite{Merriam2002}{16}
\bibcite{Merriam2009}{17}
\bibcite{merriam2009qualitative}{18}
\bibcite{rosken2007integrating}{19}
\bibcite{sipser2012introduction}{20}
\bibcite{smedslund1970circular}{21}
\bibcite{smith2013categorizing}{22}
\bibcite{strauss1990basics}{23}
\bibcite{tall2008transition}{24}
\bibcite{tall2001symbols}{25}
\bibcite{weber2004traditional}{26}
\bibcite{weber2004semantic}{27}
\bibstyle{amsplain}