المؤلفون: Wei Su, Chuan Cai, Paul S. Wang, Hengjie Li, Zhen Huang, Qiang Huang

المصدر: Symmetry; Volume 13; Issue 2; Pages: 188

مصطلحات موضوعية: binary lambda calculus, answer checking, complexity, mathematical expression

وصف الملف: application/pdf

العلاقة: Computer Science and Symmetry/Asymmetry; https://dx.doi.org/10.3390/sym13020188Test

الإتاحة: https://doi.org/10.3390/sym13020188Test

المؤلفون: Sk Asif Akram*1, Mousumi Saha2, Tamasree Biswas3

المصدر: INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY, 8(4), 184-186, (2019-04-25)

مصطلحات موضوعية: Descriptive answer checking, Automatic evaluation, Artificial Intelligence

العلاقة: https://doi.org/10.5281/zenodo.2650941Test; https://doi.org/10.5281/zenodo.2650942Test; oai:zenodo.org:2650942

الإتاحة: https://doi.org/10.5281/zenodo.2650942Test
https://doi.org/10.5281/zenodo.2650941Test

المؤلفون: Семеніхіна, Олена Володимирівна, Semenikhina, Olena Volodymyrivna, Друшляк, Марина Григорівна, Drushliak, Maryna Hryhorivna

مصطلحات موضوعية: контроль, GeoGebra Exam, автоматизований контроль, комп’ютерний контроль, програми динамічної математики, підготовка вчителя, The Geometer’s SketchPad, GeoGebra, Мат. конструктор, control, automatic answer checking, computer control, dynamic mathematics software, teacher’s preparation

وصف الملف: application/pdf

العلاقة: Семеніхіна, О. В. Організація автоматизованого контролю у професійній підготовці вчителя: аналіз залучення програм динамічної математики [Текст] / О. В. Семеніхіна, М. Г. Друшляк // Сучасні інформаційні технології та інноваційні методики навчання в підготовці фахівців: методологія, теорія, досвід, проблеми : збірник наукових праць. – Київ-Вінниця : ТОВ фірма «Планер», 2018. – Вип. 51. – С. 274–278.; http://repository.sspu.sumy.ua/handle/123456789/5751Test

الإتاحة: http://repository.sspu.sumy.ua/handle/123456789/5751Test

المؤلفون: Paul S. Wang, Zhen Huang, Wei Su, Chuan Cai, Hengjie Li, Qiang Huang

المصدر: Symmetry, Vol 13, Iss 188, p 188 (2021)
Symmetry; Volume 13; Issue 2; Pages: 188

مصطلحات موضوعية: binary lambda calculus, answer checking, complexity, mathematical expression, Theoretical computer science, Physics and Astronomy (miscellaneous), Computer science, General Mathematics, 0502 economics and business, Computer Science (miscellaneous), Representation (mathematics), Equivalence (measure theory), computer.programming_language, De Bruijn notation, Kolmogorov complexity, lcsh:Mathematics, 05 social sciences, 050301 education, Rule-based system, lcsh:QA1-939, Symbolic computation, Expression (mathematics), Chemistry (miscellaneous), 050211 marketing, Lambda calculus, 0503 education, computer

وصف الملف: application/pdf

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8aaaf6fd96fb2339fba61883f9b5c35Test
https://doi.org/10.3390/sym13020188Test