Filters








36,057 Hits in 4.3 sec

Teaching Formal Methods and Discrete Mathematics

Mathieu Jaume, Théo Laurent
<span title="2014-04-26">2014</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
In this paper, we claim that teaching formal methods could be done at the undergraduate level by mixing formal methods and discrete mathematics courses and we illustrate such an approach with a small develop  ...  We also believe that this could considerably benefit the learning of discrete mathematics.  ...  Acknowledgments The authors would like to thank Renaud Rioboo for his help and for enlightening discussions about how to program with FoCaLiZe and about teaching discrete mathematics.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.4">doi:10.4204/eptcs.149.4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/skw7camyfjh3fhmpmzjqm2sbay">fatcat:skw7camyfjh3fhmpmzjqm2sbay</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200909042358/https://arxiv.org/pdf/1404.6604v1.pdf" title="fulltext PDF download [not primary version]" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ae/a6/aea69de64ced228a7677cebc1a7812ee91627176.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.149.4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Teaching Logic to Information Systems Students: Challenges and Opportunities [article]

Anna Zamansky, Eitan Farchi
<span title="2015-07-14">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
We present our vision for such adaptation and report on concrete steps towards its implementation in the design and teaching of a course for graduate IS students at the University of Haifa.  ...  We discuss the course plan and present some data on the students' feedback on the course.  ...  She states discrete mathematics and mathematical logic as crucial prerequisites. The above proposals on what to teach are extremely relevant for IS practitioners.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.03687v1">arXiv:1507.03687v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yywus3vqvrgjrpzcslcqnpnx7e">fatcat:yywus3vqvrgjrpzcslcqnpnx7e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911071521/https://arxiv.org/pdf/1507.03687v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e3/84/e3846fe6c9b5a73d023bd5b1b10864cd5bbbe636.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1507.03687v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Support for teaching formal methods

Vicki L. Almstrum, C. Neville Dean, Don Goelman, Thomas B. Hilburn, Jan Smith
<span title="2001-06-01">2001</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;
The new resource is designed to provide a bridge between the general computing education community and the formal methods community.  ...  We define the term formal methods and situate it within our field by highlighting its role in Computing Curricula 1991, Computing Curricula 2001, and the SoftWare Engineering Body Of Knowledge (SWEBOK)  ...  and presentation significantly: Kathi Fisler, Randy Johnson, Susan Gerhart, Ebba Thora Hvannberg, Peter Gorm Larsen, and Dan Craigen.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/571922.571962">doi:10.1145/571922.571962</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mniuibmvarbyvpsah2tqogebyi">fatcat:mniuibmvarbyvpsah2tqogebyi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808192003/http://www.cs.utexas.edu/users/csed/FM/work/final-v5-6.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/57/fc/57fc677d9c6b1461d83fb6c2274e4bfed4445fbe.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/571922.571962"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Advertising Formal Methods and Organizing Their Teaching: Yes, but .. [chapter]

Dino Mandrioli
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
raised and hints are suggested for deeper discussion.  ...  The style is deliberately informal and colloquial, occasionally even provocative: for every examined point some obvious agreement is given for granted but a few, more controversial, "counterpoints" are  ...  and Software Engineering (CSE) are rooted -mainly-in discrete mathematics whereas traditional engineering (civil, industrial, electrical, … engineering) mainly exploits continuous mathematics" • "Formal  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_14">doi:10.1007/978-3-540-30472-2_14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cbd2bzchnvb6fbapk6casqc7qa">fatcat:cbd2bzchnvb6fbapk6casqc7qa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160607133838/http://home.deib.polimi.it:80/mandriol/SitoItaliano/TeaFMs-Ghent.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/25/a2/25a26bbadf0eca672e744ca22bbbb88c23966e39.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-30472-2_14"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Methodological Teaching System of Mathematical Foundations of Formal Languages as a Means of Fundamentalization of Education

Natalya Bushmeleva, Tatiana Baklashova
<span title="2017-08-15">2017</span> <i title="Modestum Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/prkjvtz7njdjxfjmhh3ed7lwlq" style="color: black;">Eurasia Journal of Mathematics, Science and Technology Education</a> </i> &nbsp;
of teaching formal languages, and to improve the content of training to specific formal languages.  ...  programming to freshmen. 2) «Mathematical foundations of programming» is a methodological course that reveals the essence of the mathematical method.  ...  modules for the academic disciplines «Discrete Mathematics», «Mathematical Logic», «Theory of Algorithms», «Theoretical Foundations of Informatics», and «Formal Languages and Grammars».  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12973/eurasia.2017.00989a">doi:10.12973/eurasia.2017.00989a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dovyaaaqfresbkakjutzw7mrvq">fatcat:dovyaaaqfresbkakjutzw7mrvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180720114400/http://www.ejmste.com/pdf-76417-12981?filename=Methodological" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/d8/a2/d8a22759cf378c7d7f29dc5a598812af5fa7c31f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.12973/eurasia.2017.00989a"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

LIFELONG LEARNINGMAKING DISCRETE MATH RELEVANT FOR INFORMATION SYSTEMS PROFESSIONALS

<span title="">2005</span> <i title="International Association for Computer Information"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jyph2lzj2zfjrikbduqgbnvgse" style="color: black;">Issues in Information Systems</a> </i> &nbsp;
As information technologies have grown more complex and information systems more integrated, discrete mathematics provides a formal foundation in understanding the methods in modeling, analysis, specification  ...  Discrete mathematics offers a formal foundation for concepts and operations covered in core courses of an IS curriculum.  ...  Appropriate discrete mathematics instruction enhances life long information systems education by providing a sound formal foundation for and insights into an increasingly complex information technology  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48009/1_iis_2005_386-390">doi:10.48009/1_iis_2005_386-390</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4lv7z74wgbh53c56rdcno7m53y">fatcat:4lv7z74wgbh53c56rdcno7m53y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201205184030/https://iacis.org/iis/2005/Wood_Harvey_Kohun.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5f/85/5f858389c26897d84ee18c6472c1c175671733ad.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48009/1_iis_2005_386-390"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Teaching as a logic tool (abstract)

David Gries, Fred B. Schneider, Joan Krone, Stan Warford, J. Peter Weston
<span title="1995-03-15">1995</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;
The panelists will discuss their experiences teaching logic and discrete mathematics using a new, rather revolutionary approach.  ...  They will describe advantages and disadvantages of the approach, what students think of it, and so forth.  ...  on Teaching logic as a tool Logic is the glue that binds together methods of reasoning, in all domains. The traditional proof methods -e.g.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199691.199892">doi:10.1145/199691.199892</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f4tl2c7qtber3k4df67gqqqy5m">fatcat:f4tl2c7qtber3k4df67gqqqy5m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180314161236/http://www.cs.cornell.edu/fbs/publications/TeachLogic.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0d/b9/0db93e30d4c753ef0e1babedb870e93c3b66eef9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/199691.199892"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

On Teaching Discrete Mathematics to Freshman Computer Science Students

<span title="2019-12-30">2019</span> <i title="North American Business Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5je3h4eabzbutfcswawlvbwt4a" style="color: black;">Journal of Higher Education Theory and Practice</a> </i> &nbsp;
Discrete Mathematics is an inevitable part of any undergraduate computer science degree programme.  ...  In this paper, we describe and motivate the innovations which we introduced, and provide a detailed analysis of how and why engagement and attainment levels varied over two decades as a direct result of  ...  The "informal" way in which we approach the teaching of formal methods has many parallels with (In)Formal Methods: The Lost Art (Morgan, 2016) .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33423/jhetp.v19i8.2670">doi:10.33423/jhetp.v19i8.2670</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6ddc5a52qzewfeyc6wpsq3drva">fatcat:6ddc5a52qzewfeyc6wpsq3drva</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507061715/https://articlegateway.com/index.php/JHETP/article/download/2670/2540" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/76/92/769286787f035acb08d57a6e6bdd63d5790d78e1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.33423/jhetp.v19i8.2670"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Teaching of Formal Methods for Software Engineering

Maria Spichkova, Anna Zamansky
<span title="">2016</span> <i title="SCITEPRESS - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/uhqpttjg5jejjbjdca4rxiq2jm" style="color: black;">Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering</a> </i> &nbsp;
The use of Formal Methods (FMs) offers rigour and precision, while reducing ambiguity and inconsistency.  ...  To solve the understandability problem, from one side, the readability of the method have to be increased, but from another side, an appropriate teaching and learning approach have to be introduced.  ...  TEACHING FORMAL METHODS: CHALLENGES The discourse on what to teach in Formal Methods and how to teach it has been going on for decades.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928503700376">doi:10.5220/0005928503700376</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/enase/SpichkovaZ16a.html">dblp:conf/enase/SpichkovaZ16a</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bslij6ymwjbv3jszyyj6caefki">fatcat:bslij6ymwjbv3jszyyj6caefki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190222154932/http://pdfs.semanticscholar.org/3a1a/5d49fdedc4187653aee17ccc688a61ae1b13.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/3a/1a/3a1a5d49fdedc4187653aee17ccc688a61ae1b13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0005928503700376"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

The design of teaching structure based on competency training of computational thinking

Xihua Long, Jiehui Zhang, Zhanli Li
<span title="">2012</span> <i title="IEEE"> 2012 First National Conference for Engineering Sciences (FNCES 2012) </i> &nbsp;
It poses a new challenge to computing science and college computer education, including teaching contents, curriculum system, and teaching methods.  ...  compound teaching modules and a categorized and multi-layer curriculum system.  ...  Knowledge points in discrete mathematics and features of computational thinking and teaching methods Knowledge Points Concept and Method of C.T.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nces.2012.6543829">doi:10.1109/nces.2012.6543829</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jlxfa45w35fkpn3qr4x7aasr4m">fatcat:jlxfa45w35fkpn3qr4x7aasr4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180723091611/https://download.atlantis-press.com/article/7944/pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5e/ee/5eeeec9e834e8a3959b5d760bac8e410ce1c2ba3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nces.2012.6543829"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Supercongruences and complex multiplication

Jonas Kibelbek, Ling Long, Kevin Moss, Benjamin Sheller, Hao Yuan
<span title="">2016</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bevk4sowfzcstelrgkfq275p4e" style="color: black;">Journal of Number Theory</a> </i> &nbsp;
Research Experience for Undergraduates (REU) in Number Theory Fall 2011 Iowa State University, Ling Long • Paper [1] published RELEVANT COURSEWORK Formal Methods in Software Engineering, Design  ...  & Analysis of Algorithms, Algo- rithms for Large Data Sets, Discrete Optimization, Cryptography, Theory of Proba- bility & Statistics Teaching Assistant Fall 2012 -Present Iowa State University •  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jnt.2015.12.013">doi:10.1016/j.jnt.2015.12.013</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/de3aklvvwzc7pa6ybh77u2y2hm">fatcat:de3aklvvwzc7pa6ybh77u2y2hm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170414075030/http://www.public.iastate.edu:80/~kmoss/assets/CV/siteCV.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/92/c4/92c4e8a35f8ee7171b3fc4f8cde4204ec7284893.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jnt.2015.12.013"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Historical sources as a teaching tool

Inna Pivkina, Desh Ranjan, Jerry Lodder
<span title="2009-03-04">2009</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzoq6upx4ndyrd7qaolzbaeuca" style="color: black;">ACM SIGCSE Bulletin</a> </i> &nbsp;
The projects are intended for courses in discrete mathematics, algorithm design, automata, graph theory, and logic.  ...  The session will introduce participants to curricular modules (projects) based entirely on primary historical source material, developed by an interdisciplinary team of seven computer science and mathematical  ...  Computer science students often lack mathematical background and find courses such as discrete mathematics and algorithms very hard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1539024.1509009">doi:10.1145/1539024.1509009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c2rustatx5akdho4hxph4z3hj4">fatcat:c2rustatx5akdho4hxph4z3hj4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b4/a4b47950776b460b80b4bf7630f91c4cb8a4d1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1539024.1509009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Historical sources as a teaching tool

Inna Pivkina, Desh Ranjan, Jerry Lodder
<span title="">2009</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/42mrbbmjbfdtbbepad2fzixmum" style="color: black;">Proceedings of the 40th ACM technical symposium on Computer science education - SIGCSE &#39;09</a> </i> &nbsp;
The projects are intended for courses in discrete mathematics, algorithm design, automata, graph theory, and logic.  ...  The session will introduce participants to curricular modules (projects) based entirely on primary historical source material, developed by an interdisciplinary team of seven computer science and mathematical  ...  Computer science students often lack mathematical background and find courses such as discrete mathematics and algorithms very hard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1508865.1509009">doi:10.1145/1508865.1509009</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigcse/PivkinaRL09.html">dblp:conf/sigcse/PivkinaRL09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/swvuzskwqfb2xakykkg2nlmvqm">fatcat:swvuzskwqfb2xakykkg2nlmvqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131205193615/http://www.cs.nmsu.edu/historical-projects/Papers/spec08-pivkina.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a4/b4/a4b47950776b460b80b4bf7630f91c4cb8a4d1a2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1508865.1509009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Learning Thresholds in Formal Concept Analysis [chapter]

Uta Priss
<span title="">2017</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
This paper explores learning thresholds occurring in FCA teaching material drawing on examples from a discrete structures class taught to first year computer science students.  ...  This paper views Formal Concept Analysis (FCA) from an educational perspective.  ...  The class was taught using a just-in-time teaching method 2 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-59271-8_13">doi:10.1007/978-3-319-59271-8_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/rmjq4njy4bbdpegbroaixbmoli">fatcat:rmjq4njy4bbdpegbroaixbmoli</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190221005549/http://pdfs.semanticscholar.org/2ac6/84f4ca684d7c485621fed5ef508d85cec3ed.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2a/c6/2ac684f4ca684d7c485621fed5ef508d85cec3ed.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-59271-8_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modeling software the alloy way

Michael J. Lutz
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zdy4b2nj65djhhrjtydihaphoq" style="color: black;">2013 IEEE Frontiers in Education Conference (FIE)</a> </i> &nbsp;
Until recently, those who taught mathematical modeling (or "formal methods") faced daunting challenges.  ...  Venturing beyond this requires understanding of proof theories and strategies well beyond that typical of other engineering disciplines.  ...  The workshop will introduce Alloy -both the language and support tool -to faculty interested in formal methods and mathematical modeling.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fie.2013.6684771">doi:10.1109/fie.2013.6684771</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fie/Lutz13.html">dblp:conf/fie/Lutz13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j6go5rfburebdnvtemwsxpqsk4">fatcat:j6go5rfburebdnvtemwsxpqsk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170818151008/https://www.computer.org/csdl/proceedings/fie/2013/9999/00/06684771.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/1c/69/1c69381e6463799b0ca7f09e9bd8ce420bf20608.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fie.2013.6684771"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 36,057 results