ERIC Number: ED196709
Record Type: RIE
Publication Date: 1979-Mar-22
Reference Count: 0
Technical Problems in Implementing University-Level Computer-Assisted Instruction in Mathematics and Science: Second Annual Report.
Levine, Arvin; And Others
Difficulties in implementing the EXCHECK/Voice Oriented Curriculum Author Language (VOCAL) System, a general program designed for university-level computer-assisted instruction in mathematics and science written in the VOCAL language, are presented in terms of informal mathematical procedures, audio and prosodic features, and a schedule of proposed research. A full bibliography of presentations and publications supported by the National Science Foundation (NSF) during the grant, a sample proof, reduction proof procedures, and references are appended. (MP)
Publication Type: Reports - Research
Education Level: N/A
Sponsor: National Science Foundation, Washington, DC.
Authoring Institution: Stanford Univ., CA. Inst. for Mathematical Studies in Social Science.
Identifiers: Mathematics Education Research; Proof (Mathematics); VOCAL Programing Language
Note: For related document, see ED 163 973. Contains marginal legibility in Appendix.