title: Developing a testing system for Functional Programming course
metadata.name: dc.contributor.advisor
metadata.value: Симуни Михаил Лазаревич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Шайтан Василий Ильич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Shaytan Vasily
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: М.Л.Симуни
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: M.L.Simuni
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2016-10-10T02:12:13Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2016-10-10T02:12:13Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2016
metadata.name: dc.identifier.other
metadata.value: 011010
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/4098
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В работе рассматривается проблема упрощения труда преподавателя при проверке заданий на языке Haskell. Описываются реализованные автором две подсистемы системы проверки задач - подсистема автоматической проверки типичных правильных решений и подсистема автоматического и ручного добавления типичных замечаний.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this paper, the problem of simplifying the teachers work of checking assignments in Haskell is considered. Two subsystems implemented by author are described: one system that automatically accepts typical correct solutions and another subsystem that allows teacher to privide typical comments manually of automatically.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: Системы управления обучением
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Хаскел
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: автоматическая проверка кода.
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Learning management system
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Haskell
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: automatic code checking.
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Developing a testing system for Functional Programming course
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Развитие системы тестирования для курса "Функциональное программирование"
metadata.lang: ru_RU
resources.filename: Diploma_-_FINAL.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/4098/1/Diploma_-_FINAL.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 648,19 kB
resources.filename: reviewSV_st007091_Simuni_Mixail_Lazarevich_(supervisor)(En).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4098/2/reviewSV_st007091_Simuni_Mixail_Lazarevich_%28supervisor%29%28En%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 2,35 kB
resources.filename: reviewSV_st007091_Simuni_Mixail_Lazarevich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4098/3/reviewSV_st007091_Simuni_Mixail_Lazarevich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 5,2 kB
resources.filename: reviewSV_st007091_Simuni_Mixail_Lazarevich_(reviewer)(En).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4098/8/reviewSV_st007091_Simuni_Mixail_Lazarevich_%28reviewer%29%28En%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 1,72 kB
resources.filename: reviewSV_st007091_Simuni_Mixail_Lazarevich_(reviewer)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/4098/9/reviewSV_st007091_Simuni_Mixail_Lazarevich_%28reviewer%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 3,18 kB