/ en / Traditional / mobile / help

Beats Biblionetz - Texte

Commonsense computing (episode 6)

logic is harder than pie
Tammy VanDeGrift, Dennis J. Bouvier, Tzu-Yi Chen, Gary Lewandowski, Robert McCartney, Beth Simon
Publikationsdatum:
Zu finden in: Koli Calling 2010, 2010
Erste Seite des Textes (PDF-Thumbnail)
Dieses Biblionetz-Objekt existiert erst seit September 2019. Es ist deshalb gut möglich, dass viele der eigentlich vorhandenen Vernetzungen zu älteren Biblionetz-Objekten bisher nicht erstellt wurden. Somit kann es sein, dass diese Seite sehr lückenhaft ist.

iconZusammenfassungen

Since logical statements naturally occur in programming and other computing work, educators may hope that all beginning computing students can employ basic logical thinking even if they are not familiar with the formalized mathematical notation. However, Herman and others found that even after being taught logic, students can still fail to correctly apply the logic of NAND and if-and-only-if. This paper reports on an experiment based on Herman's study of IFF and NAND using their "Apple pie recipe." We asked introductory students (before formal logic training) to indicate which of a set of pre-defined pies are "valid" based on the rules of the recipe. We found through online surveys, and confirmed through revised in-class surveys and interviews, that beginning students struggle to correctly interpret if-and-only-if, as reported by Herman. Additionally we confirmed that students are most likely to interpret if-and-only-if as if-then and provide new evidence that students can correctly interpret an English rewording of the form "either use both or use neither". However, in contrast to Herman's findings, we find that 90% of introductory students have a correct understanding of NAND.

Von Tammy VanDeGrift, Dennis J. Bouvier, Tzu-Yi Chen, Gary Lewandowski, Robert McCartney, Beth Simon im Konferenz-Band Koli Calling 2010 im Text Commonsense computing (episode 6) (2010)

iconDieses Konferenz-Paper erwähnt...


Personen
KB IB clear
Jens Bennedsen, Dennis J. Bouvier, Michael E. Caspersen, Tzu-Yi Chen, Geoffrey L. Herman, Lisa C. Kaczmarczyk, Kasper Dalgaard Larsen, Gary Lewandowski, Michael C. Loui, Robert McCartney, Kate Sanders, Beth Simon, Tammy VanDeGrift, Craig B. Zilles

Begriffe
KB IB clear
Programmierenprogramming
icon
Bücher
Jahr UmschlagTitelAbrufeIBOBKBLB
2007ITiCSE 2007 (Janet Hughes, D. Ramanee Peiris, Paul T. Tymann) 4, 4, 3, 5, 5, 2, 4, 23, 6, 3, 3, 4352644584
2007ICER 2007 (Richard J. Anderson, Sally Fincher, Mark Guzdial) 1, 1, 1, 1, 3, 3, 1, 7, 4, 1, 3, 318433130
2008ICER 2008 (Michael E. Caspersen, Raymond Lister, Mike Clancy) 1, 2, 1, 1, 2, 2, 3, 1, 7, 1, 1, 216392111
2009ICER 2009 (Michael J. Clancy, Michael E. Caspersen, Raymond Lister) 4, 2, 1, 2, 1, 1, 1, 4, 5, 2, 2, 2931284
icon
Texte
Jahr UmschlagTitelAbrufeIBOBKBLB
2007Mental models and programming aptitude (Michael E. Caspersen, Kasper Dalgaard Larsen, Jens Bennedsen) 5200
2007    Commonsense computing (episode 3) (Gary Lewandowski, Dennis J. Bouvier, Robert McCartney, Kate Sanders, Beth Simon) 2, 1, 1, 3, 3, 3, 1, 2, 1, 2, 1, 122139
2008    Proof by incomplete enumeration and other logical misconceptions (Geoffrey L. Herman, Lisa C. Kaczmarczyk, Michael C. Loui, Craig B. Zilles) 1, 1, 1, 1, 1, 1, 1, 2, 2, 1, 1, 222232
2009    Commonsense computing (episode 5) (Robert McCartney, Dennis J. Bouvier, Tzu-Yi Chen, Gary Lewandowski, Kate Sanders, Beth Simon, Tammy VanDeGrift) 3, 2, 2, 1, 1, 1, 3, 1, 1, 3, 1, 122139

iconZitationsgraph

Diese Grafik fensterfüllend anzeigen als Pixelgrafik (PNG) Vektorgrafik (SVG)

iconAnderswo finden

icon

iconVolltext dieses Dokuments

LokalAuf dem WWW Commonsense computing (episode 6): Fulltext at the ACM Digital Library (lokal: PDF, 199 kByte; WWW: Link OK )

iconAnderswo suchen Auch im Biblionetz finden Sie nicht alles. Aus diesem Grund bietet das Biblionetz bereits ausgefüllte Suchformulare für verschiedene Suchdienste an. Biblionetztreffer werden dabei ausgeschlossen.

iconBiblionetz-History Dies ist eine graphische Darstellung, wann wie viele Verweise von und zu diesem Objekt ins Biblionetz eingetragen wurden und wie oft die Seite abgerufen wurde.