Добірка наукової літератури з теми "Мова алгебри"

Формулювання проблеми. У статті звертається увага на проблему формування в старшокласників умінь і навичок математичного моделювання під час навчання математики. Під математичним моделюванням розуміється процес створення математичних моделей, їх математичне опрацювання та інтерпретація отриманих результатів (розв’язків). У повному і завершеному обсязі такий процес представлений у статті у вигляді графічної схеми (велике коло), зміст якої був розкритий в публікаціях В. Блума та Д. Лейса. Однак в такому аспекті його реалізувати під час навчання математики в старшій школі неможливо в силу багатьох причин. Зокрема тому, що старшокласники ще недостатньо підготовлені до цього інтелектуально, та й визначені програмні вимоги середньої освіти цього не передбачають. Мета статті: проілюструвати на конкретному прикладі методику розв’язання прикладних задач економічного змісту, зміст і застосування запропонованих порад, їх особливість. Матеріали і методи. Використано теоретичні методи наукового пізнання (аналіз, синтез, зіставлення, моделювання) та емпіричні (спостереження). Результати. У статті пропонується урізана графічна схема (мале коло), автором якої є В. Швець. Згідно з нею процес математичного моделювання пропонується розглядати під час навчання учнів розв’язуванню прикладних задач. Він має включати наступні етапи: математизацію, математичне опрацювання й інтерпретацію отриманих розв’язків на мові тієї галузі знань, на якій була сформульована прикладна задача. До кожного з етапів пропонуються методичні рекомендації як допомагати учням застосовувати запропонований метод. Висновки. Описані етапи і методичні поради ілюструються на прикладі розв’язання прикладних задач економічного змісту. Автори вважають, що економічна грамотність випускників середньої школи має бути високою. Тому разом з формуванням у старшокласників математичних компетентностей (графічної, аналітичної, обчислювальної, дослідницької тощо) мають формуватися і ключові, до яких відноситься і економічна. Тому є потреба в створенні добірки таких задач як для кожної з навчальних тем курсу алгебри і початків аналізу, так і для повторення вивченого на попередніх уроках, підсумкового повторення вивченого матеріалу з математики за курс середньої школи, підсумкової атестації у вигляді ДПА чи ЗНО.

Застосування комп’ютерних тестів для поточного та підсумкового оцінювання знань студентів дає змогу якісно і об’єктивно оцінити знання студентів за умови наявності великої та добре перевіреної бази тестових завдань. Дієвість тестування істотно залежить від вибраних автором (або авторами) типів завдань [1]:1) завдання з вибором відповіді (правильної або неправильної);2) завдання з встановленням відповідності;3) завдання з вибором кількох правильних відповідей;4) завдання з вводом відповіді (текстової або числової).Завдання перших трьох типів погано захищені від вгадування відповіді студентом, однак вони найбільш широко використовуються у практиці комп’ютерного тестування. Завдання четвертого типу добре захищені від вгадування відповіді, однак текстові відповіді доведеться перевіряти людині. Для перевірки числової відповіді система тестування повинна мати блок перевірки чисел з цілою і дробовою частиною. На факультеті електроніки Львівського національного університету імені Івана Франка створена база тестових завдань з курсів «Обчислювальна техніка і програмування» (для перевірки знань мов програмування Паскаль та Сі) та «Теорія коливань», в яких майже 90 відсотків завдань складають завдання з вводом числової відповіді. База тестових завдань з мови програмування Паскаль розбита на розділи:1. Лінійна програма (числова відповідь з цілою і дробовою частиною);2. Програма з синтаксичною помилкою (відповідь є цілим числом);3. Програма з розгалуженням (числова відповідь з цілою і дробовою частиною);4. Встановлення відповідності програма-алгоритм (тип 2);5. Програма з циклом for (числова відповідь з цілою і дробовою частиною);6. Програма з циклом while (числова відповідь з цілою і дробовою частиною);7. Програма з циклом repeat-until (числова відповідь з цілою і дробовою частиною);8. Програма з процедурою-функцією (числова відповідь з цілою і дробовою частиною);9. Програма з процедурою (числова відповідь з цілою і дробовою частиною);10. Завдання на написання програми для розв’язання певної задачі (текстова відповідь).Розглянемо приклади тестових завдань деяких розділів.1. Якого числового значення набуде змінна w після виконання цієї програми?Program test1;Varx,q,z,w:real;Beginx:=6;z:=4;w:=x*z;q:=x/z;WriteLn('w=',w);WriteLn('q=',q );end.2. В якому рядку програми є синтаксична помилка?Program test 2;Varx,y,z:real;i,n:integer;Begini:=20;x:=32;y:=34;z:=-9;n:=30*i;WriteLn( ' x=',x );end.6. Якого числового значення набуде змінна s після виконання цієї програми?Program test3;Vars,d,r:real;i:integer;Begins:=100;d:=2;r:=10;i:=0;While s>r doBegins:=s/d;i:=i+1;end;WriteLn('s=',s );WriteLn('i=',i );end.Успішне виконання студентом завдань із перших дев’яти розділів свідчить лише про вміння студента читати чужі програми. Для перевірки здатності студенти писати свої програми введено десятий розділ. Відповіддю студента є текст програми і, за потреби, текстові файли з результатами роботи програми. Очевидно, що під час виконання десятого завдання студент повинен мати можливість скористатись оболонкою для програмування мовою Паскаль (і тільки під час виконання цього завдання!). Якщо на виконання завдань із перших дев’яти розділів можна відводити по кілька хвилин (за умови невеликого обсягу наведених програм), то для написання програми потрібно відвести у кілька раз більше часу (залежить від складності поставленої задачі).База тестових завдань з «Теорії коливань» розбита на розділи:1. Обчислення постійної складової ряду Фур’є (числова відповідь з цілою і дробовою частиною);2. Обчислення косинусної гармоніки Фур’є (числова відповідь з цілою і дробовою частиною);3. Обчислення синусної гармоніки Фур’є (числова відповідь з цілою і дробовою частиною);4. Визначення стійкості стану рівноваги лінійної коливної системи (ручна перевірка – текстова відповідь);5. Вільні коливання лінійних коливних систем (числова відповідь з цілою і дробовою частиною);6. Вимушені коливання лінійних коливних систем (числова відповідь з цілою і дробовою частиною);7. Стани рівноваги нелінійних коливних систем (числова відповідь з цілою і дробовою частиною);8. Особливі точки коливних систем (тип 2);9. Вимушені коливання нелінійних коливних систем (числова відповідь з цілою і дробовою частиною);10. Визначення амплітуди коливань автогенератора (числова відповідь з цілою і дробовою частиною).Для виконання завдань з дев’ятого і десятого розділів студент повинен мати можливість скористатись оболонкою для числового інтегрування алгебро-диференційних рівнянь із простою вхідною мовою.Розглянемо шаблони тестових завдань деяких розділів.1. Для заданого сигналу ... обчислити постійну складову ряду Фур’є a0.4. Для лінійної коливної системи ... складіть характеристичне рівняння та визначить його корені (відповідь вводьте за схемою: дійсна частина, уявна частина, дійсна частина, уявна частина).5. Для початкових умов: x(0)=1, dx(0)/dt=0 знайдіть вільні коливання лінійної коливної системи, заданої диференціальним рівнянням ... та вкажіть значення x(t) в момент часу t=5.7. Для коливної системи, диференціальним рівнянням ... , вкажіть координати стійкого стану рівноваги x=..., dx/dt=...9.Користуючись програмою DS0, визначить амплітуду вимушених коливань нелінійної коливної системи, заданої диференціальним рівнянням ...Завдяки уведенню числової відповіді з цілою і дробовою частиною виключається вгадування відповіді студентом, адже множина можливих відповідей практично нескінченна.Такий підхід легко поширити на природничі і технічні науки, в яких для проведення практичних занять використовують задачі з числовими розв’язками.

Одним з традиційних засобів подання математичних текстів є мова математичної розмітки MathML, що дозволяє представляти математичний матеріал у виді презентаційної і змістовної розмітки. Загальний принцип використання MathML полягає у вбудовуванні математичних конструкцій XHTML-документ.