Logic, Algebra, and Geometry at the Foundation of Computer Science

• Type: Article in International Conference Proceedings Book
• Date: 2019

Authors

Hoare, T (Author) Other; Mendes, A (Author) Other; Ferreira, JF (Author) Other

Conference proceedings International

Title: Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings

Pages: 3-20

3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019

7 October 2019 through 7 October 2019

Indexing

Scopus - 1 Citation

Other information

Authenticus ID: P-00R-FEN

DOI: 10.1007/978-3-030-32441-4_1

Abstract (EN): This paper shows by examples how the Theory of Programming can be taught to first-year CS undergraduates. The only prerequisite is their High School acquaintance with algebra, geometry, and propositional calculus. The main purpose of teaching the subject is to support practical programming assignments and projects throughout the degree course. The aims would be to increase the student¿s enjoyment of programming, reduce the workload, and increase the prospect of success. © 2019, Springer Nature Switzerland AG.

Language: English

Type (Professor's evaluation): Scientific