starting

FromGithubForProposalText/.classpath

@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<classpath>
+	<classpathentry kind="src" path="src"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.7"/>
+	<classpathentry kind="output" path="bin"/>
+</classpath>

FromGithubForProposalText/.gitignore

@@ -0,0 +1 @@
+/bin/

FromGithubForProposalText/.project

@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<projectDescription>
+	<name>FromGithubForProposalText</name>
+	<comment></comment>
+	<projects>
+	</projects>
+	<buildSpec>
+		<buildCommand>
+			<name>org.eclipse.jdt.core.javabuilder</name>
+			<arguments>
+			</arguments>
+		</buildCommand>
+	</buildSpec>
+	<natures>
+		<nature>org.eclipse.jdt.core.javanature</nature>
+	</natures>
+</projectDescription>

FromGithubForProposalText/.settings/org.eclipse.jdt.core.prefs

@@ -0,0 +1,11 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7
+org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
+org.eclipse.jdt.core.compiler.compliance=1.7
+org.eclipse.jdt.core.compiler.debug.lineNumber=generate
+org.eclipse.jdt.core.compiler.debug.localVariable=generate
+org.eclipse.jdt.core.compiler.debug.sourceFile=generate
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.7

FromGithubForProposalText/lit.bib

@@ -0,0 +1,139 @@
+@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}
+}