Which Mathematics for the Information Society?-Reference-Cited by-同舟云学术

Which Mathematics for the Information Society?

Published:2009 Issue: Volume: Page:39-56
ISSN:0302-9743
Container-title:Teaching Formal Methods
language:
Short-container-title:

Author:

Ferreira João F.,Mendes Alexandra,Backhouse Roland,Barbosa Luís S.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-04912-5_4.pdf

Reference33 articles.

1. ATX. Algoritmo de Colocação de professores (in Portuguese). ATX Software press release (November 2004)

2. Back, R.-J., Mannila, L., Peltomaki, M., Sibelius, P.: Structured derivations: A logic based approach to teaching mathematics. In: FORMED 2008: Formal Methods in Computer Science Education, Budapest (2008)

3. Back, R.-J., von Wright, J.: Mathematics with a little bit of logic: Structured derivations in high-school mathematics

4. Back, R.-J., von Wright, J.: Doing high school mathematics carefully. Technical report (1997)

5. Backhouse, R.C.: Mathematics and programming. A revolution in the art of effective reasoning. Inaugural Lecture, School of Computer Science and IT, University of Nottingham (2001)

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Leveraging Large Language Models to Boost Dafny’s Developers Productivity;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

2. Open and Interactive Learning Resources for Algorithmic Problem Solving;Lecture Notes in Computer Science;2020

3. Teaching Formal Methods: An Experience Report;Frontiers in Software Engineering Education;2020

4. Logic, Algebra, and Geometry at the Foundation of Computer Science;Formal Methods Teaching;2019

5. Towards Verified Handwritten Calculational Proofs;Interactive Theorem Proving;2018