lit.bib

@inproceedings{smith2014computer,
  title={Computer science students' concepts of proof by induction},
  author={Smith, Th{\'e}r{\`e}se and McCartney, Robert},
  booktitle={Proceedings of the 14th Koli Calling International Conference on Computing Education Research},
  pages={51--60},
  year={2014},
  organization={ACM}
}

@incollection{montano2014ugly,
  title={Ugly, Literally},
  author={Montano, Ulianov},
  booktitle={Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics},
  pages={33--43},
  year={2014},
  publisher={Springer}
}

@incollection{montano2014issues,
  title={Issues of Mathematical Beauty, Revisited},
  author={Montano, Ulianov},
  booktitle={Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics},
  pages={207--209},
  year={2014},
  publisher={Springer}
}

@incollection{montano2014beautiful,
  title={Beautiful, Literally},
  author={Montano, Ulianov},
  booktitle={Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics},
  pages={21--31},
  year={2014},
  publisher={Springer}
}

@article{armstrong2013http,
title={http://cs2013.org},
author={Armstrong, Colin and Asanovic, Krste and Babiceanu, Radu F},
journal={Computer Science Curricula 2013},
year={2103}
}

@article{marton2013meanings,
title={Meanings are acquired from experiencing differences against a background of sameness, rather than from experiencing sameness against a background of difference: Putting a conjecture to the test by embedding it in a pedagogical tool},
author={Marton, Ference and Pang, Ming Fai},
journal={Frontline Learning Research},
volume={1},
number={1},
pages={24--41},
year={2013}
}
@book{posner2012cognitive,
  title={Cognitive neuroscience of attention},
  author={Posner, Michael I},
  year={2012},
  publisher={Guilford Press}
}
@inproceedings{smith2013mathematization,
  title={Mathematization in teaching pumping lemmas},
  author={Smith, Therese and McCartney, Robert},
  booktitle={Frontiers in Education Conference, 2013 IEEE},
  pages={1671--1677},
  year={2013},
  organization={IEEE}
}
@article{juarez2010beauty,
  title={Beauty in mathematics},
  author={Juarez, Ulianov Montano},
  year={2010}
}
@inproceedings{herman2010creating,
  title={Creating the digital logic concept inventory},
  author={Herman, Geoffrey L and Loui, Michael C and Zilles, Craig},
  booktitle={Proceedings of the 41st ACM technical symposium on Computer science education},
  pages={102--106},
  year={2010},
  organization={ACM}
@article{mcallister2005mathematical,
  title={Mathematical beauty and the evolution of the standards of mathematical proof},
  author={McAllister, James W and others},
  journal={The visual mind II},
  volume={2},
  year={2005},
  publisher={MIT Press Cambridge, MA}
}
@article{betts2005toward,
  title={Toward how to add an aesthetic image to mathematics education},
  author={Betts, Paul and McNaughton, K},
  journal={International Journal for Mathematics Teaching and Learning},
  volume={4},
  number={13},
  pages={65--87},
  year={2005}
}


  
  @article{alcock2005proof,
  title={Proof validation in real analysis: Inferring and checking warrants},
  author={Alcock, Lara and Weber, Keith},
  journal={The Journal of Mathematical Behavior},
  volume={24},
  number={2},
  pages={125--134},
  year={2005},
  publisher={Elsevier}
  }
  
  
  
}@article{ben2001constructivism,
  title={Constructivism in computer science education},
  author={Ben-Ari, Mordechai},
  journal={Journal of Computers in Mathematics and Science Teaching},
  volume={20},
  number={1},
  pages={45--73},
  year={2001}
}

@article{booth1997phenomenography,
title={On phenomenography, learning and teaching},
journal={Higher education research \& development},
volume={16},
number={2},
pages={135--158},
year={1997},
publisher={Taylor \& Francis}
}

@article{almstrum1996investigating,
  title={Investigating student difficulties with mathematical logic},
  author={Almstrum, Vicki L},
  journal={Teaching and learning formal methods},
  pages={131--160},
  year={1996},
  publisher={Academic Press, Orlando, FL}
}