Some logical issues in discrete mathematics and algorithmic thinking

The role of logic in mathematics education has been widely discussed from the seventies and eighties during the “modern maths period” till now, and remains still a rather controversial issue in the international community. Nevertheless, the relevance of discrete mathematics and algorithmic thinking...

Full description

Saved in:
Bibliographic Details
Published inTeaching Mathematics and Computer Science Vol. 18; no. 4; pp. 243 - 258
Main Author Durand-Guerrier, Viviane
Format Journal Article
LanguageEnglish
Published Debrecen University of Debrecen 04.11.2020
Subjects
Online AccessGet full text
ISSN1589-7389
2676-8364
2676-8364
DOI10.5485/TMCS.2020.0474

Cover

Abstract The role of logic in mathematics education has been widely discussed from the seventies and eighties during the “modern maths period” till now, and remains still a rather controversial issue in the international community. Nevertheless, the relevance of discrete mathematics and algorithmic thinking for the development of heuristic and logical competences is both one of the main points of the program of Tamás Varga, and of some didactic teams in France. In this paper, we first present the semantic perspective in mathematics education and the role of logic in the Hungarian tradition. Then, we present insights on the role of research problems in the French tradition. Finely, we raise some didactical issues in algorithmic thinking at the interface of mathematics and computer science. Subject Classification: 97E30
AbstractList The role of logic in mathematics education has been widely discussed from the seventies and eighties during the “modern maths period” till now, and remains still a rather controversial issue in the international community. Nevertheless, the relevance of discrete mathematics and algorithmic thinking for the development of heuristic and logical competences is both one of the main points of the program of Tamás Varga, and of some didactic teams in France. In this paper, we first present the semantic perspective in mathematics education and the role of logic in the Hungarian tradition. Then, we present insights on the role of research problems in the French tradition. Finely, we raise some didactical issues in algorithmic thinking at the interface of mathematics and computer science. Subject Classification: 97E30
The role of logic in mathematics education has been widely discussed from the seventies and eighties during the modem maths period till now, and remains still a rather controversial issue in the international community. Nevertheless, the relevance of discrete mathematics and algorithmic thinking for the development of heuristic and logical competences is both one of the main points of the program of Tamás Varga, and of some didactic teams in France. In this paper, we first present the semantic perspective in mathematics education and the role of logic in the Hungarian tradition. Then, we present insights on the role of research problems in the French tradition. Finely, we raise some didactical issues in algorithmic thinking at the interface of mathematics and computer science.
The role of logic in mathematics education has been widely discussed from the seventies and eighties during the “modern maths period” till now, and remains still a rather controversial issue in the international community. Nevertheless, the relevance of discrete mathematics and algorithmic thinking for the development of heuristic and logical competences is both one of the main points of the program of Tamás Varga, and of some didactic teams in France. In this paper, we first present the semantic perspective in mathematics education and the role of logic in the Hungarian tradition. Then, we present insights on the role of research problems in the French tradition. Finely, we raise some didactical issues in algorithmic thinking at the interface of mathematics and computer science. Subject Classification: 97E30
Author Durand-Guerrier, Viviane
Author_xml – sequence: 1
  givenname: Viviane
  orcidid: 0000-0001-7257-9945
  surname: Durand-Guerrier
  fullname: Durand-Guerrier, Viviane
BackLink https://hal.science/hal-03928483$$DView record in HAL
BookMark eNplkUlrwzAQhUVJoWmaa8-GnnqwI2uzdAzpkkJKD8ldyJIcK_WSSk5L_n1tXGihlxkYvje8eXMNJk3bWABuU5hQwuli97raJggimECSkQswRSxjMceMTMA0pVzEGebiCsxDOEAIkaAIcjQFD9u2tlHV7p1WVeRCONkQuSYyLmhvOxvVqittX5wOkWpMpKp9611X1k5HXemad9fsb8Bloapg5z99BrZPj7vVOt68Pb-slptYpyQlcUoQNbrIMpPbXOQ5NwVmjDAKGS4ER9ZQioUWtsgKXihmKUEiF8iYXFGIZ2Axbj01R3X-UlUlj97Vyp9lCuWQguxqHeSQghxS6BX3o6JUv2yrnFwvN3KYQSwQJxx_pj17N7JH3370IXTy0J58058jEcW9RYgx7alkpLRvQ_C2-GdheMQfC99QS3sH
ContentType Journal Article
Copyright 2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Distributed under a Creative Commons Attribution 4.0 International License
Copyright_xml – notice: 2020. This work is published under https://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
– notice: Distributed under a Creative Commons Attribution 4.0 International License
DBID AAYXX
CITATION
0-V
3V.
7XB
88B
8FE
8FG
8FK
ABUWG
AFKRA
ALSLI
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
CJNVE
DWQXO
GNUQQ
HCIFZ
JQ2
K7-
M0P
P62
PHGZM
PHGZT
PIMPY
PKEHL
PQEDU
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
Q9U
1XC
BXJBU
ADTOC
UNPAY
DOI 10.5485/TMCS.2020.0474
DatabaseName CrossRef
ProQuest Social Sciences Premium Collection
ProQuest Central (Corporate)
ProQuest Central (purchase pre-March 2016)
Education Database (Alumni)
ProQuest SciTech Collection
ProQuest Technology Collection
ProQuest Central (Alumni) (purchase pre-March 2016)
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
Social Science Premium Collection
Advanced Technologies & Computer Science Collection
ProQuest Central Essentials
ProQuest Central
ProQuest Technology Collection
ProQuest One
Education Collection
ProQuest Central
ProQuest Central Student
SciTech Premium Collection
ProQuest Computer Science Collection
Computer Science Database (ProQuest)
Education Database
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Premium
ProQuest One Academic
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Education
ProQuest One Academic Eastern Edition (DO NOT USE)
ProQuest One Applied & Life Sciences
ProQuest One Academic
ProQuest One Academic UKI Edition
ProQuest Central China
ProQuest Central Basic
Hyper Article en Ligne (HAL)
HAL-SHS: Archive ouverte en Sciences de l'Homme et de la Société
Unpaywall for CDI: Periodical Content
Unpaywall
DatabaseTitle CrossRef
Publicly Available Content Database
ProQuest One Education
Computer Science Database
ProQuest Central Student
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Advanced Technologies & Aerospace Collection
ProQuest Central Essentials
ProQuest Computer Science Collection
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Central Korea
ProQuest Central (New)
Advanced Technologies & Aerospace Collection
Social Science Premium Collection
Education Collection
ProQuest Central Basic
ProQuest Education Journals
ProQuest One Academic Eastern Edition
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Social Sciences Premium Collection
ProQuest One Academic UKI Edition
ProQuest One Academic
ProQuest Education Journals (Alumni Edition)
ProQuest One Academic (New)
ProQuest Central (Alumni)
DatabaseTitleList CrossRef
Publicly Available Content Database

Database_xml – sequence: 1
  dbid: UNPAY
  name: Unpaywall
  url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/
  sourceTypes: Open Access Repository
– sequence: 2
  dbid: 8FG
  name: ProQuest Technology Collection
  url: https://search.proquest.com/technologycollection1
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
Mathematics
EISSN 2676-8364
EndPage 258
ExternalDocumentID 10.5485/tmcs.2020.0474
oai:HAL:hal-03928483v1
10_5485_TMCS_2020_0474
GeographicLocations Hungary
France
GeographicLocations_xml – name: France
– name: Hungary
GroupedDBID AAYXX
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
ALSLI
ARAPS
AZQEC
BENPR
BGLVJ
CCPQU
CITATION
CJNVE
DWQXO
EBS
GNUQQ
GROUPED_DOAJ
HCIFZ
K7-
M0P
PHGZM
PHGZT
PIMPY
PQEDU
PQGLB
PUEGO
0-V
3V.
7XB
8FE
8FG
8FK
JQ2
P62
PKEHL
PQEST
PQQKQ
PQUKI
PRINS
Q9U
1XC
BXJBU
ADTOC
UNPAY
ID FETCH-LOGICAL-c1414-1425dcf77dbeb9bb8df366465063f982ed5539c9ef7f8fa6e5429b92ddba503
IEDL.DBID BENPR
ISSN 1589-7389
2676-8364
IngestDate Tue Aug 19 20:58:27 EDT 2025
Tue Oct 14 20:33:31 EDT 2025
Sun Jul 13 04:51:25 EDT 2025
Wed Oct 01 01:02:57 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 4
Keywords algorithmic thinking
logic
semantics
didactics of mathematics
discrete mathematics
Language English
License https://creativecommons.org/licenses/by/4.0
Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0
cc-by
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c1414-1425dcf77dbeb9bb8df366465063f982ed5539c9ef7f8fa6e5429b92ddba503
Notes ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ORCID 0000-0001-7257-9945
OpenAccessLink https://www.proquest.com/docview/2535060335?pq-origsite=%requestingapplication%&accountid=15518
PQID 2535060335
PQPubID 5083799
PageCount 16
ParticipantIDs unpaywall_primary_10_5485_tmcs_2020_0474
hal_primary_oai_HAL_hal_03928483v1
proquest_journals_2535060335
crossref_primary_10_5485_TMCS_2020_0474
ProviderPackageCode CITATION
AAYXX
PublicationCentury 2000
PublicationDate 2020-11-04
PublicationDateYYYYMMDD 2020-11-04
PublicationDate_xml – month: 11
  year: 2020
  text: 2020-11-04
  day: 04
PublicationDecade 2020
PublicationPlace Debrecen
PublicationPlace_xml – name: Debrecen
PublicationTitle Teaching Mathematics and Computer Science
PublicationYear 2020
Publisher University of Debrecen
Publisher_xml – name: University of Debrecen
SSID ssj0002952082
Score 2.1263628
Snippet The role of logic in mathematics education has been widely discussed from the seventies and eighties during the “modern maths period” till now, and remains...
The role of logic in mathematics education has been widely discussed from the seventies and eighties during the modem maths period till now, and remains still...
SourceID unpaywall
hal
proquest
crossref
SourceType Open Access Repository
Aggregation Database
Index Database
StartPage 243
SubjectTerms Algorithms
Calculus
Combinatorics
Computer science
Computer Science Education
Controversial Issues (Course Content)
Curricula
Didacticism
Educational Change
Heuristics
Humanities and Social Sciences
Hungarian
Logic
Logical Thinking
Mathematical Logic
Mathematics
Mathematics education
Mathematics Instruction
Pragmatics
Research Methodology
Research Problems
Science education
Science Instruction
Semantics
Semiotics
Sentences
Syntax
Validity
SummonAdditionalLinks – databaseName: Unpaywall
  dbid: UNPAY
  link: http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NTxsxEB2VcKCXQgVVQwFZVaVycZpdfx8jvqKqoEoBCU4re22TiGSDkk0r-PXY2U0ItFJ7W60s23r22G_kmTcAX9KYHem5x16nAscDDxsrLVYidcYkWggbX3TPL3j3in6_Ztd1gGzMhVl5vw9cmn0rR3kU1U7brTYVdA3WOQucuwHrVxc_OzdzMVSpsCDzWncpFxxLwmmlzviXDl7cPmv9GPu4Qiw3ZsW9fvith8OVO-Z0E84Ws6tCS-5as9K08sdXwo3_nv4WvKtpJupU--I9vHHFNhz3xiOH6sMOzRGfokGBYmbuJJBnNFpquE6RLizSw9vxZFD2R4Mclf2qysIO9E5PLo-6uK6igPOEJhQnwSpt7gPoxhlljLSecE4DM-PEK5k6yxhRuXJeeOk1d7GClVGptUazNvkAjWJcuI-AROAGzJLgMhobvE5vgikrbhXT0hAhTBO-LrDN7iupjCy4GBGH7PL8qJdFHLKIQxM-B-iXjaLCdbfzI4v_2oGvSSrJr6QJe4uVyWq7mmYpI1ERkRDWhMPlav0xXIT9ebjd_2_6Cd7G73myId2DRjmZuf3AOkpzUG-5J3rl0AU
  priority: 102
  providerName: Unpaywall
Title Some logical issues in discrete mathematics and algorithmic thinking
URI https://www.proquest.com/docview/2535060335
https://hal.science/hal-03928483
https://doi.org/10.5485/tmcs.2020.0474
UnpaywallVersion publishedVersion
Volume 18
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2676-8364
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0002952082
  issn: 1589-7389
  databaseCode: DOA
  dateStart: 20190101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVPQU
  databaseName: ProQuest Central
  customDbUrl: http://www.proquest.com/pqcentral?accountid=15518
  eissn: 2676-8364
  dateEnd: 99991231
  omitProxy: true
  ssIdentifier: ssj0002952082
  issn: 1589-7389
  databaseCode: BENPR
  dateStart: 20190101
  isFulltext: true
  titleUrlDefault: https://www.proquest.com/central
  providerName: ProQuest
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3fb9MwED6t3QO8sPFLK9sqCyHBi1lix3H8gKYyVirEqolu0niK7Nimk9q0rBmI_36-NOmGkHhMZMXKZ9_5O9t3H8AbhtmRPvXUayYpOjxqbGapkswZE2spLZ7ono3T0WXy5UpcbcG4zYXBa5WtT6wdtV0UuEd-xATHWnici-PlT4qqUXi62kpo6EZawX6oS4x1YJthZawubH88HZ9_2-y6MCVYVCtIxSJTVIblel3JMRB3cXRxdjIJISOL3keJTP5aqTpTvCf5gIQ-ui2X-s9vPZs9WI-Gu_CkIZJksB75p7Dlymew04o0kMZmn8OnyWLuSOPhSA3zilyXBNNxbwJjJvNN4dYV0aUlevYj_Hc1nV8XpJqupRVewGR4enEyoo10Ai3iJE5oHEzRFj4gbZxRxmTW8zRNAh1LuVcZc1YIrgrlvPSZ16lD2SqjmLVGi4i_hG65KN0eEBkIgbA8xInGhlDTm2C_KrVK6MxwKU0P3rYg5ct1fYw8xBUIZ45w5ghnjnD24HXAcNMIy1qPBl9zfBcFkpYlGf8V9-CghThvjGmV3w99D95tYP-nu2perO67e_X_L-3DY2xaZxUmB9Ctbm7dYaAXlelDJxt-7jczp18H6eHpcnw--H4HVU7PrA
linkProvider ProQuest
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1bb9MwFD7a5WG8cEcUBlgIBC9hiS9x_DChsYs61laIFmlPRHZs00ltWtaMaf-NH8dxmnRDSLztNUrs6PPx8Xdsn_MBvKEhO9KnPvKayig4vMjYzEZKUmdMoqW04US3P0i73_jnU3G6Br_bXJhwrbL1ibWjtrMi7JHvUMFCLTzGxMf5zyioRoXT1VZCQzfSCna3LjHWJHacuKtLDOEWu8cHON5vKT06HO13o0ZlICoSnvAoQau1hcefMs4oYzLrWZpyZC4p8yqjzgrBVKGclz7zOnVB4ckoaq3RImbY6jpscsYVhn6bnw4HX76u9nioEjSu9aoSkalIIjlY1o3EMEHsjPr7QwxQafwh5pL_tS6uj8OtzBuUd-uinOurSz2Z3Fj9ju7D3Ya2kr2lnT2ANVc-hHutJARpPMQjOBjOpo40_pTUg7ogZyUJyb_nyM_JdFUmdkF0aYme_ECUq_H0rCDVeCnk8BiGtwDhE9goZ6V7CkQi_RCWYVRqLAa23qC3UKlVQmeGSWk68K4FKZ8vq3HkGMUEOPMAZx7gzAOcHXiNGK5eCkW0u3u9PDyLkRJmPGO_kg5stxDnzdRd5NeG1oH3K9j_6a6aFovr7p79v6VXsNUd9Xt573hw8hzuhM_qfEa-DRvV-YV7gcSmMi8b-yHw_XYN9g-R1QiW
linkToPdf http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nb9QwEB21RQIu5VtsKWAhEFzCJnYcxweEqi7Lln4IaYvUE1Ec22yl3ezSpFT9Z_w8ZrLJtgiJW69RYkfP4_Eb2zMP4DWn7Eif-MDnXAXk8AJjUxtoxZ0xUa6UpRPdw6Nk9C3-ciJP1uB3lwtD1yo7n9g4ajsvaI-8z6WgWnhCyL5vr0V8HQw_Ln4GpCBFJ62dnMbSRPbd5QWGb9WHvQGO9RvOh5-Od0dBqzAQFFEcxUGEFmsLjz9knNHGpNaLJImRtSTC65Q7K6XQhXZe-dTniSN1J6O5tSaXocBW1-GWohrulKM-_Lza3eFa8rBRqopkqgOFtGBZMRIDBNk_PtwdY2jKw_dhrOK_VsT1Cd3HvEZ275yXi_zyIp9Or617w_uw2RJWtrO0sAew5sqHcK8Tg2Ctb3gEg_F85ljrSVkznBU7LRml_Z4hM2ezVYHYiuWlZfn0B2JaT2anBasnSwmHxzC-AQCfwEY5L91TYAqJh7QC41FjMaT1Bv2ETqyWeWqEUqYHbzuQssWyDkeG8QvBmRGcGcGZEZw9eIUYrl6i8tmjnYOMnoVIBtM4Fb-iHmx3EGftpK2yKxPrwbsV7P90V8-K6qq7rf-39BJuo5lmB3tH-8_gLn3VJDLG27BRn52758hoavOiMR4G32_WVv8AT6IGMA
linkToUnpaywall http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1NTxsxEB2VcKCXQgVVQwFZVaVycZpdfx8jvqKqoEoBCU4re22TiGSDkk0r-PXY2U0ItFJ7W60s23r22G_kmTcAX9KYHem5x16nAscDDxsrLVYidcYkWggbX3TPL3j3in6_Ztd1gGzMhVl5vw9cmn0rR3kU1U7brTYVdA3WOQucuwHrVxc_OzdzMVSpsCDzWncpFxxLwmmlzviXDl7cPmv9GPu4Qiw3ZsW9fvith8OVO-Z0E84Ws6tCS-5as9K08sdXwo3_nv4WvKtpJupU--I9vHHFNhz3xiOH6sMOzRGfokGBYmbuJJBnNFpquE6RLizSw9vxZFD2R4Mclf2qysIO9E5PLo-6uK6igPOEJhQnwSpt7gPoxhlljLSecE4DM-PEK5k6yxhRuXJeeOk1d7GClVGptUazNvkAjWJcuI-AROAGzJLgMhobvE5vgikrbhXT0hAhTBO-LrDN7iupjCy4GBGH7PL8qJdFHLKIQxM-B-iXjaLCdbfzI4v_2oGvSSrJr6QJe4uVyWq7mmYpI1ERkRDWhMPlav0xXIT9ebjd_2_6Cd7G73myId2DRjmZuf3AOkpzUG-5J3rl0AU
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Some+logical+issues+in+discrete+mathematics+and+algorithmic+thinking&rft.jtitle=Teaching+Mathematics+and+Computer+Science&rft.au=Durand-Guerrier%2C+Viviane&rft.date=2020-11-04&rft.pub=University+of+Debrecen&rft.issn=1589-7389&rft.eissn=2676-8364&rft.volume=18&rft.issue=4&rft.spage=243&rft.epage=258&rft_id=info:doi/10.5485%2FTMCS.2020.0474&rft.externalDBID=HAS_PDF_LINK
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1589-7389&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1589-7389&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1589-7389&client=summon