Search

Filter

  • Advanced Filters:

  • to

  • Specific Data Sources:

    All Edit

    Select All  |  Select None

Reset filters

Journals ACM SIGCUE Outlook Volume 7 Issue 3

ABSTRACTS Computer-Assisted Instruction : The Application of Theorem-Provin g To Adaptive Response Analysis Adele Goldber g Abstrac t In a CAI system for teaching elementary mathematical logic, in order t o provide tutorial advice similar to the suggestions a human tutor might give , a theorem-prover is employed as a proof-analyzer to generate appropriat e dialogue with students who need help with a proof . It is shown that the heuristically programmed theorem-prover, by embodying techniques thought t o be used by the students, constructs derivations for expressions in th e elementary theory of Abelian groups within the constraints on rule usag e imposed on these students . To demonstrate its capabilities, the theorem prover was tested on a list of theorems and problems chosen arbitrarily fro m a standard curriculum in elementary algebra . The proof-analyzer mocks th e adaptive behavior of a human tutor ; it can determine relevant hints when a student requires help in completing a solution, and can encourage th e students to discover diverse solution paths . The proof-analyzer i s incorporated in a new instructional system for mathematical logic, an exampl e of a "student-oriented" CAI system which emphasizes active participation o f the students with the computer by providing methods by which a student ca n initially specify or extend the axiomatic theory he is studying, while stil l retaining the error analysis and teaching facilities of an interactive proof checker . (Institute for Mathematical Studies in the Social Sciences , Stanford University, Technical Report No . 203, May 25, 1973 ; an d doctoral dissertation, University of Chicago . Available fro m University Microfilms . ) ® ••••••••••s••••••os•• • A-D Conversion Assistance Needed Patrick Harrison of the Hope College psychology department need s assistance from persons having experience with analog to digital dat a conversion . His present research efforts are focused on habituation studie s which require the conversion of a set of physiological measurements (analog ) to suitable digital input . Hope College would also like information o n multivariate regression programs and factor analysis programs which will ru n on a 16K IBM 1130 machine . In addition to these needs, Harrison reports that he is presentl y developing a set of programs to be utilized for psychological analysis . Hopefully these will be complete and documented by the end of the summer . Contact : Patrick Harrison, Department of Psychology, Hope College, Hollan d MI 49423 . -Item from On-Line, March 1973 . ACM SIGCUE Bulletin v7 #3 July 1973

Page 1 of 1

Page 1 of 1

Toggle back to continuous viewing mode

/lp/association-for-computing-machinery/computer-assisted-instruction-the-application-of-theorem-proving-to-8cu5dOlGhI
Welcome to DeepDyve! Rent Premier Research Articles and Save Up to 90%

Learn more

Free Article

Bookmark

Computer-assisted instruction: the application of theorem-proving to adaptive response analysis

Goldberg, Adele
ACM SIGCUE Outlook , Volume 7 (3)
Association for Computing Machinery – Jul 1, 1973

More Info

More Like This Article

View All dataSource[]=actageo&dataSource[]=aspet&dataSource[]=aaos&dataSource[]=aacc&dataSource[]=aacr&dataSource[]=aea&dataSource[]=aip&dataSource[]=ajnr&dataSource[]=ams&dataSource[]=aps_physical&dataSource[]=appi_book&dataSource[]=appi_journal&dataSource[]=apha&dataSource[]=asip&dataSource[]=asm&dataSource[]=asn&dataSource[]=aspb&dataSource[]=avs&dataSource[]=annual_reviews&dataSource[]=arxiv&dataSource[]=acm&dataSource[]=berghahn&dataSource[]=cabi&dataSource[]=clinical_trials&dataSource[]=dailymed&dataSource[]=degruyter&dataSource[]=du_press&dataSource[]=esa&dataSource[]=eu_press&dataSource[]=elsevier&dataSource[]=emerald&dataSource[]=ejtr&dataSource[]=emea&dataSource[]=epo&dataSource[]=faseb&dataSource[]=gsa&dataSource[]=health_affairs&dataSource[]=hindawi&dataSource[]=imanager&dataSource[]=imedpub&dataSource[]=informa_healthcare&dataSource[]=informs&dataSource[]=iop&dataSource[]=iucr&dataSource[]=iospress&dataSource[]=jbjs&dataSource[]=leftcoast&dataSource[]=lu_press&dataSource[]=mesharpe&dataSource[]=mary_ann_liebert&dataSource[]=medline&dataSource[]=mit_press&dataSource[]=nature&dataSource[]=oxford&dataSource[]=pier_professional&dataSource[]=pnas&dataSource[]=portlandpress&dataSource[]=psyc_articles&dataSource[]=psyc_books&dataSource[]=psyc_critiques&dataSource[]=plos_journal&dataSource[]=pubmed_central&dataSource[]=rsna&dataSource[]=rockefeller&dataSource[]=rcn&dataSource[]=ria&dataSource[]=rsc&dataSource[]=sage&dataSource[]=spie&dataSource[]=springer_journal&dataSource[]=springer&dataSource[]=taylor_francis&dataSource[]=aps&dataSource[]=the_scientist&dataSource[]=uc_press&dataSource[]=uspto_abstract&dataSource[]=wiley&dataSource[]=pct

Browse: Subject Areas | Journals | Publishers

Sign Up for a DeepDyve Account

Bookmark an Article

To bookmark an article, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK

Thank you for renting with DeepDyve

Your PayPal account has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

Your credit card has been charged $2.99. You now have access to the full text of this article. A rental receipt has also been sent to your email address.

OK

New! You can now keep track of new articles from ACM SIGCUE Outlook on your personalized homepage! Learn more

PDF Download — Not Available

Thanks for your interest in purchasing the PDF. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for purchasing with DeepDyve

Your PayPal account has been charged $.

Your credit card has been charged $.

You can now download this article. A purchase receipt has also been sent to your email address.

Download This Article or I'm done with my download

Print Page — Not Available

Thanks for your interest in printing individual pages. Your request has been noted and we will work with our publisher partner to discuss enabling this feature.

In the meantime, you can get the PDF by visiting the publisher site.

Thank you for printing with DeepDyve

Your PayPal account has been charged $0.

Your credit card has been charged $0.

You can now print this article. A purchase receipt has also been sent to your email address.

Print the Selected Pages or I'm done with my printing

Please refresh to generate a new download link

Your article download link has expired. Please refresh this page to obtain a new download link and try again.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don't already have one.

OK