Two Frameworks for Discrete Mathematics Kirby McMaster Brian Rague Steven Hadfield Frameworks and Gestalts We use the term gestalt to refer to a mental framework that allows students to organize course topics into a unified whole (greater than the sum of the parts). Davis and Hersh: People vary dramatically in what might be called their cognitive style, that is, their primary mode of thinking. Bain: Students bring paradigms to the class that shape how they construct meaning.... Even if they know nothing about our subjects, they still use an existing mental model of something to build their knowledge of what we tell them. Two Frameworks for Discrete Mathematics 2 Gestalts for Mathematics Which gestalts are emphasized in Mathematics? Davis and Hersh: The definition-theorem-proof approach to mathematics has become almost the sole paradigm of mathematical exposition and advanced instruction. Courant and Robbins: There seems to be a great danger in the prevailing overemphasis on the deductive-postulational character of mathematics. The element of constructive invention, of directing and motivating intuition, remains the core of any mathematical achievement. Polya: Mathematics has two faces. Mathematics presented in the Euclidean way appears as a systematic, deductive science; but mathematics in the making appears as an experimental, inductive science. Two Frameworks for Discrete Mathematics 3 Measuring Mathematical Gestalt In previous research, we were able to characterize and measure two frameworks for mathematics: Logical Math gestalt – based on proving theorems. Computational Math gestalt – based on solving problems. Our methodology assumed that: The words people use are suggestive of their mental state. In particular, the words used frequently in a book indicate the gestalt of the author. Two Frameworks for Discrete Mathematics 4 Purpose of this Study In this study, we apply our Logical Math (LMATH) and Computational Math (CMATH) scales to a sample of 25 Discrete Math books. Our primary purpose is to assess the level of emphasis these books give to each gestalt. Our findings have relevance in the development of approaches for teaching mathematical topics in computing courses, especially Discrete Math courses. Two Frameworks for Discrete Mathematics 5 Logical Math Gestalt The LMATH scale consists of 10 word/groups and weights. As expected, theorem, proof, and definition are on the scale. Scale words used to convey logical order in proofs include let, since, follow, hence, and therefore. Two general math concepts on the scale are set and function. The LMATH weights for each word/group can be used to calculate an overall weighted-average score for a specific book. Two Frameworks for Discrete Mathematics 6 LMATH Scale theorem/lemma/corollary 25 Avg StdFreq 428.2 let 25 418.1 17.78 set/subset 25 333.1 13.03 proof/prove 25 329.9 12.85 function/map 25 300.9 11.23 hence/thus/therefore 25 230.3 7.28 definition/define 25 221.4 6.78 show/shown 25 191.3 5.10 follow/following 24 175.4 4.21 since 24 160.8 3.40 Word/Group Books TOTAL Weight 18.34 100.00 Two Frameworks for Discrete Mathematics 7 LMATH Calculations Royden – Real Analysis Weight StdFreq theorem/lemma/corollary 18.34 214.8 LMATH Scale 39.4 let set/subset 17.78 13.03 *413.1 *962.3 73.4 125.4 proof/prove 12.85 188.7 24.2 function/map 11.23 *527.0 59.2 hence/thus/therefore 7.28 226.8 16.5 definition/define 6.78 230.0 15.6 show/shown 5.10 237.4 12.1 follow/following 4.21 127.7 5.4 since 3.40 187.3 6.4 Word/Group TOTAL 377.6 Two Frameworks for Discrete Mathematics 8 Computational Math Gestalt The CMATH scale consists of 10 word/groups and weights. As expected, problem and solution are on the scale. Scale words model and algorithm describe how problems are to be solved. The words variable, equation, and constraint represent components of models. The word function is on both scales. The CMATH weights for each word/group can be used to calculate an overall weighted-average score for a specific book. Two Frameworks for Discrete Mathematics 9 CMATH Scale problem 25 Avg StdFreq 394.3 method/algorithm 23 343.1 15.33 solution/solve 25 322.4 14.03 value/variable 24 271.7 10.83 equation/inequality 21 265.9 10.46 function/map 24 257.0 9.90 model/modeling 19 222.3 7.71 point/line 24 175.8 4.78 system/subsystem 23 168.7 4.33 condition/constraint 25 164.3 4.06 Word/Group Books TOTAL Weight 18.56 100.00 Two Frameworks for Discrete Mathematics 10 CMATH Calculations Hillier & Lieberman – Operations Research Weight StdFreq problem 18.56 *483.8 CMATH Scale 89.8 method/algorithm 15.33 262.7 40.3 solution/solve 14.03 *496.9 69.7 value/variable 10.83 *474.4 51.4 equation/inequality 10.46 69.3 7.2 function/map 9.90 114.4 11.3 model/modeling 7.71 268.3 20.7 point/line 4.78 -- -- system/subsystem 4.33 137.4 5.9 condition/constraint 4.06 180.7 7.3 Word/Group TOTAL 303.7 Two Frameworks for Discrete Mathematics 11 Gestalts in Discrete Math Books Our analysis of mathematical gestalt data from 25 Discrete Math books seeks to answer the following questions: 1. How often do LMATH and CMATH word/groups appear in the sample books? 2. What is the distribution of LMATH and CMATH scores? 3. What is the contribution of individual word/groups to the overall LMATH and CMATH scores for selected high-scoring books? 4. What is the relationship between LMATH and CMATH scores? Two Frameworks for Discrete Mathematics 12 LMATH and CMATH Word/Groups The following tables summarize how often LMATH and CMATH word/groups appear in the sample Discrete Math books. Nine of the 10 LMATH word/groups appear in the concordance of more than 20 books. Two of the 10 CMATH word/groups appear in the concordance of more than 20 books (including function/map, which is on both scales). Only one Discrete Math book listed model as a frequent word. Discrete Math books contain substantially more Logical Math words than Computational Math words. Two Frameworks for Discrete Mathematics 13 LMATH Word/Groups 25 Discrete Math Books Word/Group Books set/subset 25 Avg StdFreq 427.0 proof/prove definition/define 22 17 217.0 210.6 hence/thus/therefore 21 199.2 function/map 22 195.0 follow/following 24 194.9 let 22 191.1 theorem/lemma/corollary 23 180.3 since 22 144.6 show/shown 24 132.4 Two Frameworks for Discrete Mathematics 14 CMATH Word/Groups 25 Discrete Math Books function/map value/variable 22 22 Avg StdFreq 195.0 155.1 point/line 14 145.4 method/algorithm 17 145.3 solution/solve 14 139.2 problem 18 127.4 system/subsystem 10 87.2 equation/inequality 9 80.2 condition/constraint 3 60.5 model/modeling 1 52.8 Word/Group Books Two Frameworks for Discrete Mathematics 15 LMATH and CMATH Distributions LMATH and CMATH scores vary widely across the 25 Discrete Math books in the sample. LMATH scores range from 94.3 to 348.9. The mean is 200.3. CMATH scores range from 36.8 to 175.2. The mean is 83.8. A graph of the LMATH and CMATH distributions is shown on the following slide. Two Frameworks for Discrete Mathematics 16 LMATH and CMATH Distributions 25 Discrete Math Books 14 12 Books 10 8 6 4 2 0 0-49 50-99 100- 150- 200- 250- 300- 149 199 249 299 349 350+ Gestalt Score LMATH CMATH Two Frameworks for Discrete Mathematics 17 LMATH and CMATH Calculations Eleven of the Discrete Math books have LMATH scores above 200. The two books with highest LMATH scores are: Nievergelt (2002), Foundations of Logic and Mathematics (LMATH=348.9). Gries (1993), A Logical Approach to Discrete Math (LMATH=316.5). No Discrete Math book has a CMATH score above 200. The book with highest CMATH score is: Rosen (1999), Handbook of Discrete and Combinatorial Math (CMATH=175.2). The LMATH calculations for Nievergelt and Gries, along with the CMATH calculations for Rosen, are shown in the following tables. Two Frameworks for Discrete Mathematics 18 LMATH Calculations Nievergelt – Foundations of Logic and Mathematics Weight StdFREQ theorem/lemma/corollary 18.34 *689.8 LMATH Scale 126.5 let set/subset 17.78 13.03 -*586.9 -76.5 proof/prove 12.85 *536.1 68.9 function/map 11.23 146.8 16.5 hence/thus/therefore 7.28 273.7 19.9 definition/define 6.78 *353.2 23.9 show/shown 5.10 96.4 4.9 follow/following 4.21 279.3 11.8 since 3.40 -- -- Word/Group TOTAL 348.9 Two Frameworks for Discrete Mathematics 19 LMATH Calculations Gries – A Logical Approach to Discrete Math Weight StdFREQ theorem/lemma/corollary 18.34 *422.8 LMATH Scale 77.5 let set/subset 17.78 13.03 103.0 *411.0 18.3 53.6 proof/prove 12.85 *716.3 92.0 function/map 11.23 192.9 21.7 hence/thus/therefore 7.28 164.8 12.0 definition/define 6.78 *342.7 23.2 show/shown 5.10 101.1 5.2 follow/following 4.21 220.0 9.3 since 3.40 108.6 3.7 Word/Group TOTAL 316.5 Two Frameworks for Discrete Mathematics 20 CMATH Calculations Rosen – Handbook of Discrete and Combinatorial Math Weight StdFREQ problem 18.56 206.5 CMATH Scale 38.3 method/algorithm 15.33 *341.3 52.3 solution/solve 14.03 105.4 14.8 value/variable 10.83 182.1 19.7 equation/inequality 10.46 55.3 5.8 function/map 9.90 241.3 23.9 model/modeling 7.71 52.8 4.1 point/line 4.78 249.6 11.9 system/subsystem 4.33 101.3 4.4 condition/constraint 4.06 -- -- Word/Group TOTAL 175.2 Two Frameworks for Discrete Mathematics 21 LMATH vs. CMATH Relationship The relationship between LMATH and CMATH scores for the sample books is displayed on the next slide as a scatter plot. The relationship between the two gestalt scales is slightly negative (correlation coefficient = -0.343). Books with high LMATH scores have relatively low CMATH scores. (The converse is not true.) For 24 of the 25 Discrete Math books, the LMATH score is higher than the CMATH score. Two Frameworks for Discrete Mathematics 22 LMATH vs. CMATH Scatter Plot 25 Discrete Math Books CMATH Score 250 200 150 100 50 0 0 50 100 150 200 250 300 350 LMATH Score Two Frameworks for Discrete Mathematics 23 Which Framework for Discrete Math? Our intent in this study was not to determine which framework is "best“ for Discrete Math, since each gestalt provides value for the course. Both Logical Math and Computational Math encourage abstraction: By manipulating symbolic objects in proofs, and Through constructing models to solve problems. The Discrete Math instructor should provide an appropriate blend of problem-solving and theorem-proving in the course. The difficult task will be finding a textbook that supports both gestalts, since most Discrete Math books favor Logical Math. Programming assignments are one way to support Computational Math in a Discrete Math course. Two Frameworks for Discrete Mathematics 24