
b737367192ffef0b997f8b21534c0209.ppt
- Количество слайдов: 49
К. Ю. Поляков г. Санкт-Петербург Практикумы с автоматической проверкой решений в среде Ку. Мир К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир Автоматическая проверка решений § § § экономия времени учителя много тестов для каждой задачи случайные данные особые случаи включены в тесты группировка задач в пакеты (курсы, практикумы) § самопроверка (при домашней работе) § предварительная работа учителя § проверка только «вход-выход» (не проверить код) К. Поляков, 2014 http: //kpolyakov. spb. ru 2
Практикумы с автоматической проверкой решений в среде Ку. Мир Системы онлайн-проверки (e. Judge и т. п. ) http: //acm. timus. ru http: //informatics. mccme. ru К. Поляков, 2014 http: //kpolyakov. spb. ru 3
Практикумы с автоматической проверкой решений в среде Ку. Мир Contester (contester. ru), И. Клопов К. Поляков, 2014 http: //kpolyakov. spb. ru 4
Практикумы с автоматической проверкой решений в среде Ку. Мир Pascal. ABC (. NET) (задачник М. Э. Абрамяна) http: //ptaskbook. com (Pascal, C#, VB. NET, Python) Task('Begin 3'); К. Поляков, 2014 http: //kpolyakov. spb. ru 5
Практикумы с автоматической проверкой решений в среде Ку. Мир: предыстория • 1980 -е: А. П. Ершов, ШАЯ = школьный алгоритмический язык, АЛГОЛ по-русски для безмашинного курса информатики • 1985: «Е-практикум» (МГУ) • 1990: А. Г. Кушниренко, Г. В. Лебедев, Р. А. Сворень, «Основы информатики и вычислительной техники» • 1990: «Ку. Мир» с исполнителями (Робот, Чертёжник, …) для MS DOS, Ямаха, Корвет, УКНЦ и др. К. Поляков, 2014 http: //kpolyakov. spb. ru 6
Практикумы с автоматической проверкой решений в среде Ку. Мир: современная версия • свободно распространяемое ПО (GPL 2. 0) • Windows, Linux, Mac OS (? ) • поддержка – НИИСИ РАН (А. Г. Кушниренко, А. Г. Леонов, М. А. Ройтберг) ! Ку. Мир будет на компьютерном ЕГЭ! К. Поляков, 2014 http: //kpolyakov. spb. ru 7
Практикумы с автоматической проверкой решений в среде Ку. Мир = Комплект Учебных МИРов К. Поляков, 2014 http: //kpolyakov. spb. ru 8
Практикумы с автоматической проверкой решений в среде Ку. Мир Кумир: Водолей К. Поляков, 2014 http: //kpolyakov. spb. ru 9
Практикумы с автоматической проверкой решений в среде Ку. Мир 10 Задача «A+B» C: = A + B К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 11 Кумир: автоматическая проверка § вызвать алгоритм «A плюс B» § передать ему исходные данные § получить результат Варианты обмена данными: § глобальные переменные § вызов алгоритма-функции § через параметры процедуры § через файлы § перенаправление потоков ввода и вывода в версии 2. 0 К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 12 Обмен через глобальные переменные цел A, B, C алг А плюс B нач C: = A + B кон @тестирование Ctrl+T алг @тестирование нач A: = 5; B: = 7 A плюс B если C = A + B то вывод "Верно!" иначе __Ошибка__(A, B, C) все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 13 Процедура: сообщение об ошибке __имя__ специальный алгоритм алг __Ошибка__(цел A, B, C) нач вывод "Получен ответ: " вывод A, "+", B, "=", C, нс вывод "Правильный ответ: " вывод A, "+", B, "=", A+B кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 14 Тестовые данные в массиве алг @тестирование нач цел N = 5, i; целтаб AA[1: N] = {1, 2, 3, 4, 5} целтаб BB[1: N] = {5, 12, 23, 44, 75} лог ОК; ОК: = да нц для i от 1 до N A: = AA[i]; B: = BB[i] irand(1, 100) A плюс B если C <> A + B то __Ошибка__(A, B, C); ОК: = нет; выход все кц если ОК то вывод "Верно!" все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 15 Версия для учителя kumir 2 -teacher. exe ЛКМ К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 16 Шаблон с тестирующим алгоритмом защищённые строки скрытая часть К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 17 Шаблон для ученика место для программы К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 18 Обмен данными через параметры алг цел А плюс B (цел A, B) нач цел C алгоритм-функция C: = A + B знач: = C кон алг @тестирование нач цел A = 5, B = 7, C C: = A плюс B (A, B) если C = A + B то вывод "Верно!" иначе __Ошибка__(A, B, C) все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 19 Параметры-результаты алг А плюс B (цел A, B, рез цел C, D) нач C: = A + B результат D: = A * B кон алг @тестирование нач цел A = 5, B = 7, C, D A плюс B (A, B, C, D) если C=A+B и D=A*B то вывод "Верно!" иначе __Ошибка__(A, B, C, D) все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 20 Изменяемые параметры алг Поменять (аргрез цел A, B) нач и вход, и выход цел C C: = A; A: = B; B: = C кон алг @тестирование нач цел A = 5, B = 7, C, D C: = A; D: = B Поменять (C, D) если C=B и D=A то вывод "Верно!" иначе __Ошибка__(A, B, C, D) все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 21 Обмен через файлы алг A плюс B нач цел A, B, C Прочитать данные(A, B) C: = A + B Записать результат(C) кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 22 Алгоритмы чтения и записи данных алг Прочитать данные(рез цел A, B) нач файл F F: = открыть на чтение("input. txt") ввод F, A, B закрыть(F) кон алг Записать результат(цел C) нач файл F F: = открыть на запись("output. txt") вывод F, C закрыть(F) кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 23 Программа тестирования алг @тестирование нач цел A = 5, B = 7, C __Вывод_в_файл__(A, B) A плюс B __Ввод_результата__(C) если C = A + B то вывод "Верно!" иначе __Ошибка__(A, B, C) все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 24 Ку. Мир: автоматическое тестирование Шаблон: • защищённые строки (условие, объявление переменных, «обвязка» процедур и функций) • строки для ввода программы • алгоритм тестирования (Ctrl+T) § предварительная работа учителя § проверка только «вход-выход» (не проверить код) § не проверить операции ввода/вывода с консоли К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 25 Ку. Мир: практикумы (версия 1. 8+) Практикум Урок 1 Урок 2 Урок 3 Задача 1 -1 Задача 2 -1 Задача 3 -1 Задача 1 -2 Задача 2 -2 Задача 3 -2 Задача 1 -3 Задача 1 -4 Задача 3 -3 • шаблон + алгоритм проверки • тестовые обстановки для исполнителей К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 26 Ку. Мир: практикумы Урок Задача Условие Обстановки исполнителя Шаблон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 27 Ку. Мир: практикумы ivanov. work. xml Рабочая тетрадь robot. kurs. xml Файл-практикум prog 1 -A. kum robot 1 -A 1. fil 1 -A 2. fil 1 -A 3. fil Шаблоны с программами проверки Обстановки исполнителей 1 -A 4. fil К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 28 Ку. Мир: практикумы Практикум Загрузить курс К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 29 Ку. Мир: практикумы Открыть окно практикума Защищённые строки К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 30 Ку. Мир: практикумы Проверить К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 31 Ку. Мир: передача результата алг цел @тестирование нач A: = 5; B: = 7 A плюс B если C = A + B то вывод "Верно!" знач: = 5 от 0 до 10 иначе __Ошибка__(A, B, C) знач: = 0 все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 32 Проверка задач для Водолея алг цел @тестирование нач Отмерить 1 литр если @решено то @решено знач: = 10 вывод "Задание выполнено успешно" иначе знач: = 0 вывод "Задание не выполнено" все кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 33 Проверка задач для Робота Размер поля цел ширина, высота @@размер поля(ширина, высота) вывод "Размер поля: ", ширина, " на ", высота цел x, y Позиция Робота нц для x от 1 до ширина цел x, y нц для y от 1 до высота @@робот(x, y) | проверить клетку (x, y) вывод "Позиция Робота: (", x, ", ", y, ")" кц кц К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 34 Проверка задач для Робота буквы радиация Робот температура отмечена верхняя буква закрашена нижняя буква К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 35 Проверка клеток на поле если @@метка(x, y) то вывод "отмечена " все если @@закрашена(x, y) то вывод "закрашена " все вывод "буквы: (" вывод @@верхняя буква(x, y), ", " вывод @@нижняя буква (x, y), ")", нс вывод "радиация: ", @@радиация(x, y), нс вывод "темп. : ", @@температура(x, y), нс К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 36 Готовые практикумы материалы Д. П. Кириенко: http: //server. 179. ru/wiki/? page=Denis. Kirienko/Kumir • Исполнитель Водолей • Исполнитель Робот Линейные алгоритмы. Циклы «N раз» . Вложенные циклы. Циклы с условием. Ветвления. Сложные условия. Циклы и условия. Вспомогательные алгоритмы. Переменные. Подсчёт шагов. Поиск выхода. Рекурсия. К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 37 Готовые практикумы http: //kpolyakov. spb. ru/school/kumir. htm • Исполнитель Водолей Линейные алгоритмы. Циклы «N раз» . Циклы с условием. Переменные. Ветвления. • Исполнитель Робот Линейные алгоритмы. Циклы «N раз» . Циклы с условием. Ветвления. Сложные условия. Вспомогательные алгоритмы. Переменные. Алгоритмы-функции. Циклы с переменной. Алгоритмы с параметрами. К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 38 Готовые практикумы http: //kpolyakov. spb. ru/school/kumir. htm • Массивы-1 Заполнение. Обработка всех элементов. Минимум и максимум. Подсчёт. Суммы и произведения. Поиск. • Массивы-2 Реверс. Циклический сдвиг. Отбор по условию. Сортировка. Двоичный поиск. К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 39 Готовые практикумы http: //kpolyakov. spb. ru/school/kumir. htm • Символьные строки Работа с отдельными символами. Замена символов. Подсчёт символов. Разбор символьных строк. Вычисление арифметических выражений. • Алгоритмы-функции Функции с одним параметром. Функции с несколькими параметрами. Обработка символьных строк. Логические функции. Обработка массивов. Рекурсивные функции. К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 40 Готовые практикумы http: //kpolyakov. spb. ru/school/kumir. htm • Задачи ЕГЭ – 25(С 2) Максимумы и минимумы. Подсчёт и поиск элементов. Суммы, средние и произведения. Последовательности. Матрицы. К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 41 Ку. Мир: практикумы • использование шаблонов-заготовок • автоматическое тестирование, в том числе для Водолея и Робота • несколько тестовых обстановок для одной задачи • создание курсов: наборов задач, разбитых на темы • вся работа ученика – в одном XML-файле • удобно делать контрольные работы (в формате практикума) К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 42 Ку. Мир: проблемы • низкая скорость в версии 1. 9 • дизайн (интерфейс, исполнители…) • интерпретатор, невозможно создать исполняемый файл • ограничения синтаксиса. . . алг Fun(цел a) • нет динамических структур данных. Fun(1) нач • нет объектов (ООП) . . a: =a+1 алг цел Fun(цел a) кон • непригоден для практически полезного нач программирования знач: =1. кон К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 43 Ку. Мир 2. 0 • повышено быстродействие вычисление 100! через «длинную арифметику» Кумир 1. 9: 3 мин 27 сек Кумир 2. 0: < 1 cек • некоторые изменения в языке (строки, файлы) • транслятор в псевдокод foo. kum foo. kod выполнение • олимпиады, системы автоматической проверки (Contester) К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 44 Ку. Мир 2. 0 К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 45 Ку. Мир: выводы • опыт 5 лет, 7 -11 классы • для изучения основ алгоритмизации не хуже Паскаля и др. • школьники воспринимают русские команды легче английских • автоматическая проверка экономит время • в 6 -7 классах – исполнители • один из вариантов для подготовки к ЕГЭ • лучший выбор для «непрограммистов» К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 46 Ку. Мир: где взять? • Сайт проекта «Ку. Мир» в НИИСИ РАН: http: //www. niisi. ru/kumir/ (последняя стабильная версия 1. 9. 0) • Cайт группы разработчиков: http: //lpm. org. ru/kumir 2 (Кумир 1. 9. 0) http: //lpm. org. ru/kumir 3 (Кумир 2) (текущие сборки, возможность сообщить об ошибках и др. ) mroytberg@lpm. org. ru (М. А. Ройтберг) К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 47 Ку. Мир: ещё методические материалы • учебники А. Г. Кушниренко и соавторов: http: //publ. lib. ru/ARCHIVES/K/KUSHNIRENKO. . . http: //www. niisi. ru/kumir/books. htm • материалы Д. П. Кириенко: http: //server. 179. ru/wiki/? page=Denis. Kirienko/Kumir • сборник задач Т. Удаловой http: //www. licey. net/kumir/ • Удалова Т. Л. , Ануфриева М. В. Программирование. Ку. Мир (2012). http: //www. licey. net/book/1799 • материалы Т. Прищепа http: //ido. tsu. ru/other_res/school 2/. . . К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 48 Ку. Мир: ещё методические материалы • Зайдельман Я. Н. Курс «Алгоритмизация и программирование: от первых шагов до подготовки к ЕГЭ» http: //edu. 1 september. ru/courses/107/005/ • материалы А. С. Башлакова http: //www. klyaksa. net/htm/konspektsch/kumir/index. ht m • дистанционные курсы МИОО (2010): http: //www. mos-cons. ru/course/view. php? id=24 • дистанционный семинар на сайте it-n. ru http: //www. it-n. ru/Board. aspx? cat_no=85737. . . К. Поляков, 2014 http: //kpolyakov. spb. ru
Практикумы с автоматической проверкой решений в среде Ку. Мир 49 Конец фильма ПОЛЯКОВ Константин Юрьевич д. т. н. , учитель информатики ГБОУ СОШ № 163, г. Санкт-Петербург kpolyakov@mail. ru http: //kpolyakov. narod. ru/ К. Поляков, 2014 http: //kpolyakov. spb. ru
b737367192ffef0b997f8b21534c0209.ppt