1、個數學解題練習系統之設計理念,科學教育月刊,2003第十一卷第一期,林美娟 莊志洋 孫鵬宗 許金葉 黃瀧輝 盧思靜 黃凱澤,報告：數資研一 鄭則謙,大綱,摘要緒論文獻探討系統設計方法與實作重點MathCAL的數值運算核心派特里網路理論與MathCAL解題核心系統資料庫設計解題診斷矯正機制,大綱,系統架構與主要功能系統架構系統操作流程題目編輯器結論與未來研究方向,摘要,本文描述的是一個網路化數學解題練習系統之雛形及設計理念使用派特里網路(Petri Nets)紀錄數學解題知識使用者要求協助時，系統可將其解題過程與所儲存之專家解提之事加以比對，提供適當引導提供網路同步與非同步溝通功能庫存題目與各題
2、目解法均具有擴充性,緒論,培養數學解題能力是近二十年來美國數學教育所倡議的重點學校數學課程與評鑑標準(NCTM,1989)學校數學課程之原則與標準(NCTM,2000)國民中學數學課程標準(教育部,2002a)問題解決不只侷限於練習題或測驗卷，而是泛指解決日常生活中的各種問題,緒論,電腦輔助教學解題系統應具有以下特色：分別記錄專家與學習者之解題步驟，並據以分析學習者之解題狀況強調解題概念的運用，而非繁瑣的運算擁有足夠的運算能力提供新增知識庫與題庫的機制透過網路溝通功能提供學習者之間合作的機制模擬紙筆解題的方式，完整呈現解題過程儲存學習者的學習歷程,緒論,MathCAL 發展過程：,文獻探討,數
3、學家Polya指出，數學解題歷程包括了解問題、擬定解題計畫、執行計畫、回顧解題過程中可能產生的問題：無法深入了解題意以分析題目已知條件和所要求之答案未能仔細閱讀題目內容不知如何分析題目之已知條件和所欲求取結果之間的關連解題過程中計算錯誤習於聆聽老師講解解題過程，缺乏主動參予解題的歷程練習解題過程中缺乏即時解惑的回饋以致半途而廢,文獻探討,NCTM 2000 中，將科技(technology)、平等(equity)、課程(curriculum)、教(teaching)、學(learning)、評量(assessment)、並列為數學教育的六大原則其中科技所陳述的是： 科技的運用對於數學教育是不可
4、或缺的，它可以提升學生的學習成效,文獻探討,以科技工具輔助數學教學的好處：可將抽象數學概念視覺化，針對螢幕上具象化的物件進行數學概念的觀察與討論藉由任意操弄數據或圖形觀察其立即的變化複雜運算由計算工具取代，使學生將時間與精力轉而做較高層次概念或模式上的思考科技工具所具備的運算能力可進行大量資料的收集、分析、與呈現網路豐富資源得以接觸廣泛而多樣化的題目可提供個別化、適性化的教學，因而兼顧不同性向或不同學習成就的學生,文獻探討,相關研究：依照教學理論、知識範圍、使用對象、學習目標、軟體設計方法而分類Kieran(1996)利用電腦軟體學習代數解題Abidin and Hartlet (1998)，
5、FunctionLab繪製代數文字題的解題想法侯鳳秋、陳龍川(1999) ，適性CAINakano Murakami等人(2000)，ILE，練習設計簡單加減法應用的文字題。Chen , Homg 和 Yang (2000)，國中幾何網路學習環境,文獻探討,MathCAL根據數學解題所具有之特性再系統中實現了三種回饋方式：請求幫忙：允許學習者自行操作系統於遭遇困難時自主性的向系統要求協助賦予工具：記錄每一個解題步驟，並將其歷程分別以文字和圖形呈現在螢幕上供解題者回顧其解題過程模仿專家：當學習者陷入解題僵局時，可將系統知識庫中所儲存之專家解法提供給學習者觀察與學習,系統設計方法與實作重點,Mat
6、hCAL 的數值運算核心數可以是單一的值(1、2、3)，亦可由其他數值以+、-、連接而成 ( 、 )數系中所有的數值皆可拆解成整數配合四則運算式所表示的數值,系統設計方法與實作重點,以二元數(Binary Tree)串接的方式來表示一個數值,以及,Ex：,系統設計方法與實作重點,處理任一數值前：將數值建成一棵二元數，而二元數的建立必須依照數值中所含運算子的運算優先順序以後置(postorder)的方式表示在記憶體內部以鏈結串列(Linked Lists)來表示二元數的資料結構，每一個節點(node)所表示的可能是整數也可能是運算子,系統設計方法與實作重點,數值之間可運算類型可分為以下幾類：整數
7、對整數的加減乘法整數對整數的除法整數對有理數的四則運算有理數對整數的四則運算有理數對有理數的四則運算無理數對無理數變數對變數無法運算類型：整數和無理數及變數、有理數和無理數及變數、無理數和變數,系統設計方法與實作重點,MathCAL系統中，所有等式亦是以二元樹方式儲存。解一元一次方程式時，是運用移項法則、同解定理將方程式化成最簡方程 ，,最後再將變,數的係數運用移項法則將等式化為 ，即可求出其解。,系統設計方法與實作重點,派特里網路理論與 MathCAL 解題核心：派特里網路(Petri Nets)是一種具有圖形化性質的正規語言，適用於塑模具有同時性特質的系統。,系統設計方法與實作重點,雙重有
8、向多重圖 (Bipartite Directed Graph),系統設計方法與實作重點,Step1：AB是直徑，C為切點。利用半圓內圓周角必為直角，因此三角形CAB為直角三角形。Step2：角DCB = ，CD為切線，利用弦切角度數等於其夾弧所對圓周角度數得到直角三角形CAB中角 A = 。Step3：AB=26，且AB為斜邊，又知Cos=12/13，可得AC=24。Step4：因為Cos=12/13，可利用三角函數平方和關係得出Sin=5/13Step5：帶入直角三角形面積公式1/2*AB*AC*Sin得面積為120。,24,系統設計方法與實作重點,系統設計方法與實作重點,系統資料庫設計：資
9、料庫的使用主要目的為知識共享、儲存、擷取、分析可利用結構化查詢語言(SQL)撰寫查詢指令以擷取資料庫中的資料。,系統設計方法與實作重點,解題診斷矯正機制：學習者解題過程診斷解題過程引導學習者解題函式認知診斷精熟學習引導,系統設計方法與實作重點,學習者解題過程診斷針對各種情況推斷學習者陷入僵局的可能原因設法提醒學習者找出題目的已知條件、題目的未知數、欲求取的答案,系統設計方法與實作重點,解題過程引導將系統所儲存之專家解題知識與學習者的解題資料做比對，期能據以提供適當的引導解題過程中，系統首須確定何種解題方法最適合用來引導學習者主要考量：是否觸發某種正確解法的關鍵性解題函式次要考量：何者所包含的使
10、用者已觸發之解題函式數目最多、何者顯示解題者已完成最高比率之解題步驟、何者距離完成解題尚需觸發的函式數目最少,系統設計方法與實作重點,學習者解題函式認知診斷學習者一時不知下一步該朝哪個方向解題學習者雖然熟悉某個該觸發而未觸發的函式，卻不知可將其運用於此題中學習者並不了解某個該觸發而未觸發的解題函式,系統設計方法與實作重點,精熟學習引導提供相關函式觀念的文字與圖形，並由系統資料庫中取出適當的題目供學習者進行精熟練習，以幫助學習者熟悉該函式觀念，並進一步將其用於目前的解題步驟中。取出精熟練習題的原則該題目中之解題步驟必須包含學習者所欲精熟練習之函式觀念該題之解題步驟沒有包括學習者有認知困難的其他函式觀念,系統架構與主要功能,系統架構,系統架構與主要功能,系統操作流程,系統架構與主要功能,題目編輯器,結論與未來研究方向,本文中提出以派特里網路為理論基礎所設計的一個數學解題練習系統的雛形知識領域仍需擴充介面仍需更加充實,
