Логічні мови програмування

PL/1, Prolog, LISP, Forth

Процес вивчення і практичного засвоєння програмування можна розділити на 3 етапи:

1. вивчення методів побудови обчислювальних алгоритмів;

2. вивчення мови програмування;

3. вивчення і практичне засвоєння конкретної системи програмування.

Питання першої частини можна розглядати при вивченні розділу «алгоритмізація».

У розділі базового курсу «Введення до програмування» необхідно продовжувати ту ж структурну лінію, що була закладена в алгоритмічному розділі. Тому при виборі мови програмування варто віддавати перевагу мовам структурного програмування, найбільш придатним з них для навчання є Паскаль.

Процес програмування поділяються на 3 етапи:

1. складання алгоритму рішення задачі;

2. складання програми мовою програмування;

3. налагодження і тестування програми.

У кожній мові програмування існує своя концепція типів даних, своя система типів. Однак у будь-яку мову входить мінімально-необхідний набір основних типів даних, до якого відносяться: цілий, дійсний, логічний і символьний. З типом величини зв'язані чотири його характеристики:

1. множина припустимих значень;

2. множина операцій над даними;

3. множина функцій, визначених над даними цього типу;

4. множина визначених відношень.

З методичної точки зору знайомство учнів з типами величин краще розподілити на окремі уроки і вводити нові типи поступово, по мірі необхідності, в наступній послідовності: Integer, Real, Сhar, Boolean. Наприклад, після знайомства з цілим типом даних і розв’язування деякої кількості задач, вчитель змінює умову задачі таким чином, щоб учні зіштовхнулися з проблемною ситуацією: розв’язати дану задачу для діапазону цілих чисел не можливо. Вчитель вводить поняття типу даних Real.

Основний метод вивчення – демонстрація мови на прикладах простих програм з короткими коментарями. Деякі поняття досить сприймати учням на інтуїтивному рівні. Наочність такої мови як Паскаль полегшує це сприйняття. Розумінню матеріалу допомагає аналогія між Паскалем і алгоритмічною мовою. Для виконання учнями нескладних самостійних завдань на першому етапі досить діяти методом «за зразком».

Проблему як зв'язати вивчення методів побудови алгоритмів роботи з величинами і мови програмування можна вирішити 2 варіантами:

1. спочатку розглядаються різноманітні алгоритми, для опису яких використовуються блок-схеми й алгоритмічна мова, а потім – правила мови програмування, способи перекладу вже побудованих алгоритмів у програму на цій мові;

2. алгоритмізація і програмування освоюються паралельно.

 

Бажано, щоб учні як раніше одержали можливість перевіряти правильність своїх алгоритмів, працюючи на комп'ютері. Але навіть при використанні комп'ютера, спочатку, рекомендується не відмовлятися від ручного трасування.