Головна |
1) Предметна галузь "Обчислення маси тіла".
2) Професійна діяльність в цій предметній області полягає у вирішенні завдання обчислення маси тіл, виготовлених з різних матеріалів. Характеристикою матеріалу є хімічна речовина.
3) У предметної області вирішується завдання одного класу. Наведемо постановку завдань даного класу.
Дано: об'єм тіла і речовина, з якого вона зроблена
Знайти: масу тіла
4) У даній галузі використовується замкнута система скалярних значень "залізо", "мідь", "срібло", "золото", прості системи розмірних значень, що мають розмірності "см3"," Г ".
5) розмірності поняттями даної предметної області є "обсяг" і "маса". Обсяг поняття "обсяг" складається з позитивних розмірних значень, що мають розмірність "см3". Обсяг поняття" маса "складається з позитивних розмірних значень, що мають розмірність" г ". Скалярним поняттям даної предметної області є" речовина "; його обсяг є безліч скалярних значень {залізо, мідь, срібло, золото}.
6) Прикладна логічна теорія має назву "Маси тіл". При її побудові використовуються стандартне розширення ST і спеціалізоване розширення "Інтервали". Запишемо теорію на мові прикладної логіки.
Маси тіл (ST, Інтервали)
6.1) сорт обсяг: R [0, ?]
моделлю обсягу поняття, позначеного терміном "обсяг", є безліч невід'ємних цілих чисел; значенням цього терміна в логічної моделі є елемент цієї множини
6.2) сорт маса: R [0, ?]
моделлю обсягу поняття, позначеного терміном "маса", є безліч невід'ємних цілих чисел; значенням цього терміна в логічної моделі є елемент цієї множини
6.3) сорт речовина: {залізо, мідь, срібло, золото}
моделлю обсягу поняття, позначеного терміном "речовина", є безліччю скалярних значень: залізо, мідь, срібло, золото; значенням цього терміна в логічної моделі є елемент цієї множини
6.4) маса = обсяг * / (речовина = залізо => 7.9), (речовина = мідь => 8.1), (речовина = срібло => 10.5), (речовина = золото => 19.3) /
пропозиція задає зв'язок між значеннями термінів
6.5) обсяг 0
обсяг не може мати значення, рівне 0
6.6) маса 0
маса не може мати значення, рівне 0
7) Запишемо програму на мові Паскаль для вирішення завдань предметної області. Всі розмірні поняття моделюються в програмі змінними дійсного типу, а скалярні - змінними, що мають тип "перерахування".
Program Маси;
var обсяг, маса: real;
речовина: (залізо, мідь, срібло, золото);
pl: real; (* Допоміжна змінна *)
{Опис процедури введення значення речовини}
procedure ввод_значенія_вещества;
{В даній мові елементи типу "перерахування"}
{Не мають зовнішнього подання}
{Тому введення скалярного значення замінюється}
{Введенням рядка або числа}
var vv: byte;
begin
{Введення вихідних даних до тих пір, поки не будуть задані правильні значення}
repeat
writeln ('введіть речовина: 1 залізо, 2 - мідь, 3 - срібло,
4 - золото ');
readln (vv);
if (vv <1) or (vv> 4) then writeln ("неправильне завдання речовини");
until (vv> = 1) and (vv <= 4);
case vv of
1: речовина: = залізо;
2: речовина: = мідь;
3: речовина: = срібло;
4: речовина: = золото;
end;
end;
{Основна програма}
begin
repeat
writeln ('введіть значення обсягу');
readln (обсяг);
if обсяг <= 0 then writeln ("обсяг заданий неправильно");
until обсяг 0;
ввод_значенія_вещества;
{В даній мові немає умовних виразів,}
{Але є умовні оператори}
{Обчислимо значення допоміжної змінної}
if речовина = залізо then pl: = 7.9;
if речовина = мідь then pl: = 8.4;
if речовина = срібло then pl: = 10.5;
if речовина = золото then pl: = 19.3;
{Обчислення маси тіла}
маса: = обсяг * pl;
writeln ("маса =", маса);
end.
9) Ситуація предметної області має вигляд: обсяг 1 см3, Речовина мідь, маса 8.4 г
Логічна модель представляється з використанням пропозицій-описів значень імен мови прикладної логіки:
обсяг ? 1
речовина ? мідь
маса ? 8.4
Пам'ять має кілька станів: в початковий момент до виконання введеннязначення всіх ідентифікаторів не визначені, після виконання введення невизначеним залишається значення ідентифікатора "маса" і "pl", при правильних вихідних даних в кінці роботи програми стан пам'яті має вигляд: pl: 5, обсяг : 1, речовина: мідь, маса: 8.4
3. Тема "Сила-силенна"
3.1. "Кінцеві безлічі". План відповіді:
1) назву та характеристика предметної області;
2) характеристика професійної діяльності в цій галузі;
3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;
4) замкнуті системи кінцевих множин предметної області і їх обгрунтування;
5) система понять предметної області, відповідних кінцевим безлічам, і її обгрунтування;
6) прикладна логічна теорія, що моделює цю систему понять;
7) програми (на будь-якій мові програмування, але з коментарями!) Рішення всіх класів завдань професійної діяльності
8) привести приклад ситуації предметної області, записати логічну модель, описати стан телефону.
3.2. "Розрідженим безлічі". План відповіді:
1) назву та характеристика предметної області;
2) характеристика професійної діяльності в цій галузі;
3) постановка всіх класів завдань, що вирішуються в ході цієї професійної діяльності;
4) замкнуті системи розріджених множин предметної області і їх обгрунтування;
5) система понять предметної області, відповідних розрідженим безлічам, і її обгрунтування;
6) прикладна логічна теорія, що моделює цю систему понять;
7) програми (на будь-якій мові програмування, але з коментарями!) Рішення всіх класів задач, зазначених у п.3.
8) привести приклад ситуації предметної області, записати логічну модель, описати стан телефону.
Приклад виконання завдання | Приклад виконання завдання.
ОСНОВИ АНАЛІЗУ І ФОРМАЛІЗАЦІЇ ІНФОРМАЦІЇ | ВСТУП | Приклад виконання завдання по темі "Обробка інформації". | Приклад виконання завдання | Тема "Структурні об'єкти". | Приклад виконання завдання | Приклад 1. Стеки. | Приклад 2. Декі. |