學習資訊專業學院—資訊教育研究所
Permanent URI for this communityhttp://rportal.lib.ntnu.edu.tw/handle/20.500.12235/25
資訊教育研究所之碩士班成立於民國80年,博士班成立於民國86年,目前研究生共約160名。本所原屬資訊教育學系,於95學年度起因應系所組織調整,成為獨立研究所,歸屬教育學院。
本所以『資訊科技教育』和『數位學習』兩個專業領域之研究發展與人才培育為宗旨,課程設計分別針對此兩個專業領域規劃必、選修專業科目,提供學生紮實而嚴謹的學術專業知能及個別化之研究訓練。本所教育目標包括:
1、培育資訊科技教育人才;
2、培育數位學習產業人才;
3、培育資訊科技教育與數位學習研究人才。
本所目前六名專任教師,四位教授,二位副教授,在資訊教育領域均具有豐富之教學與研究經驗且均積極從事研究,每年獲科技部補助研究計畫之平均數量與金額在本校名列前茅。另外,本所教師積極參與國內重大資訊教育政策及課程綱要之制定,積極推動國內資訊教育之發展。
Browse
9 results
Search Results
Item MathCAL-II: A Software for Practicing Mathematical Problem Solving(2004-11-30) Lin, Janet Mei-Chuen; Sun, Chin-Hsin; Juang, Jie-YongItem An Internet-Based CAL Software for Solving Trigonometric Problems(Association for the Advancement of Computing in Education (AACE), 1999-03-02) Lin, Janet Mei-Chuen; Juang, Jie-Yong; Sun, PonsonThis paper describes MathCAL, an Internet-based computer-assisted-learning (CAL) system that provides a distance-learning environment for learners to do exercise on math problems in an exploratory style. The design of MathCAL hinges on provision of a set of domain-specific mathematical rules for learners to apply in each step of problem solving. Each time a learner selects a problem from the built-in problem set and starts working on it, MathCAL dynamically keeps track of a learner's problem-solving process and is capable of giving appropriate hints to guide the learner. Learners can also get help from other users of the system through synchronous or asynchronous network functions provided by the system. Currently MathCAL allows students to solve problems requiring the use of trigonometry.Item Representation of Problem-Solving Procedures in MathCAL(Association for the Advancement of Computing in Education (AACE), 2000-02-05) Lin, Janet Mei-Chuen; Juang, Jie-Yong; Sun, PonsonMathCAL is a network-based learning system for users to practice mathematical problem solving. Math knowledge is pre-analyzed to derive a set of macro functions for use in solving problems in a specific domain. Each macro function typically represents a math concept or rule which may be used to transform a math problem from a state into the next. Learners select problems to work on from the problem bank and proceed with problem solving step by step. The kernel of the system uses Petri nets to dynamically record a learner's problem-solving activities. The Petri-net representation allows the system to determine appropriateness of a user's application of a function at a certain step. It also enables the system to understand a user's thinking process when it is requested to offer guidance. MathCAL also supports synchronous and asynchronous network functions which may be used to establish a collaborative problem-solving environment. In addition, MathCAL allows users to add new problems and/or new solution paths to its databases.Item Building Simulation Games with an Object-Oriented Approach(IOS Press, 1999-11-04) Juang, Jie-Yong; Lin, Janet Mei-Chuen; Chang, Eugene, Y. C.Item MathCAL and Its Database Design(Association for the Advancement of Computing in Education (AACE), 2001-06-25) Lin, Janet Mei-Chuen; Huang, Long-Hwai; Huang, Kevin K; Juang, Jie-YongMathCAL is a tutoring system designed for learners to practice mathematical problem solving. It is capable of offering guidance and proposing remedial tutorials automatically. MathCAL uses Petri-nets as its knowledge representation model. The static domain knowledge as well as a learner's dynamic problem-solving steps in each interactive session is represented as Petri-nets, which may be used effectively for diagnosing a learner's problem-solving difficulties. The database maintained by MathCAL is consulted to decide on a suitable guidance for the learner. Math problems, solution paths and learners are three major entity sets modeled by the database. This paper describes the implementation details of MathCAL's database and its distinctive features.Item MathCAL's Diagnostic Sub-System(2000-11-21) Lin, Janet Mei-Chuen; Hsu, Chin-Yeh; Huang, Kevin K.; Juang, Jie-YongItem Analysis and Representation of Physics Knowledge with an Object-Oriented Approach(1999-10-07) Juang, Jie-Yong; Lin, Janet Mei-Chuen; Chang, Eugene Y.-C.Item Can CAL Software Be More Like Computer Games?(1993-12-15) Lin, Janet Mei-Chuen; Juang, Jie-YongItem On Transformation of Logic Specifications into Procedural Programs(IEEE, 1989-10-23) Lin, Janet Mei-Chuen; Juang, Jie-Yong; Yau, Stephen SA method for transforming a source program expressed as a set of Horn clauses into a target program in an Algol-like procedural language is presented. Compared with deterministic execution of a conventional program, the top-down procedural interpretation of a Horn clause program is inherently nondeterministic. This transformation method is aimed at removing certain types of nondeterministic in a Horn clause program via a variable-dependence analysis and a procedure formation scheme. It is assumed that the input/output mode information for each predicate in the Horn clause is known in advance and that each predicate is used unidirectionally, i.e. each argument in the argument list of a predicate is used either as an input or an output, but not both. Therefore, the Horn clauses treated by this method represent only a subclass of the general Horn logic clauses. During the transformation process, the method is also capable of discovering inconsistent or missing information in the source program.