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

被引：0
|
作者：
Hoare, Tony [1 ,2 ]
Mendes, Alexandra [3 ,4 ]
Ferreira, Joao F. [5 ,6 ]
机构：
[1] Microsoft Res, Cambridge, England
[2] Univ Cambridge, Comp Lab, Cambridge, England
[3] INESC TEC, HASLab, Porto, Portugal
[4] Univ Beira Interior, Dept Informat, Covilha, Portugal
[5] Univ Lisbon, INESC ID, Lisbon, Portugal
[6] Univ Lisbon, Inst Super Tecn, Lisbon, Portugal
来源：
FORMAL METHODS TEACHING (FMTEA 2019) | 2019年 / 11758卷
关键词：
Algebra; Logic; Geometry; Teaching formal methods; Unifying theories of programming; CONCURRENCY;
D O I：
10.1007/978-3-030-32441-4_1
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：3 / 20
页数：18
相关论文
共 50 条
  • [1] Hypercompositional Algebra, Computer Science and Geometry
    Massouros, Gerasimos
    Massouros, Christos
    [J]. MATHEMATICS, 2020, 8 (08)
  • [2] The geometry algebra of computer vision
    Corrochano, EB
    Lasenby, J
    [J]. GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 123 - +
  • [3] COMPUTER ALGEBRA AND LOGIC PROGRAMMING
    CHAR, B
    [J]. INTEGRATION-THE VLSI JOURNAL, 1986, 4 (03) : 271 - 274
  • [4] Symbolic computation: Computer algebra and logic
    Buchberger, B
    [J]. FRONTIERS OF COMBINING SYSTEMS, 1996, 3 : 193 - 219
  • [5] Computer Algebra Methods in Tropical Geometry
    Markwig, Thomas
    [J]. MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 213 - 216
  • [6] LOGIC IN COMPUTER SCIENCE
    Serna, Edgar M.
    [J]. REVISTA EDUCACION EN INGENIERIA, 2013, 8 (15): : 62 - 68
  • [7] International Meeting on Logic, Algebra and Geometry - Preface
    Gao, Su
    Vershik, Anatoly M.
    Zhang, Yi
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 143 (1-3) : 1 - 2
  • [8] ALGEBRA AND GEOMETRY FOR SCIENCE AND ENGINEERING STUDENTS
    KAWADA, Y
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1966, 73 (09): : 1013 - &
  • [9] Comprehensive mathematics for computer scientists 1: Sets and numbers, Graphs and algebra, Logic and machines, Linear geometry
    Coutinho, S. C.
    [J]. MATHEMATICAL GAZETTE, 2005, 89 (516): : 572 - 573
  • [10] Comprehensive mathematics for computer scientists 1: Sets and numbers, Graphs and algebra, Logic and machines, Linear geometry
    Coutinho, S. C.
    [J]. MATHEMATICAL GAZETTE, 2006, 90 (517): : 176 - 177
12345