Пример выполнения задания. 1) Предметная область "Вычисление объемов прямоугольных параллелепипедов

1) Предметная область "Вычисление объемов прямоугольных параллелепипедов

2) Профессиональная деятельность в этой предметной области состоит в вычислении объемов прямоугольных параллелепипедов по их длине, ширине и высоте.

3) В данной предметной области решаются задачи одного класса. Приведем постановку задач данного класса.

Дано: длина, ширина и высота прямоугольного параллелепипеда

Найти: объем прямоугольного параллелепипеда

4) В предметной области используются простые замкнутые системы размерных объектов, имеющие размерности "м" и "м³". Таким образом, замкнутая система размерных объектов данной предметной области является сложной.

5) Размерными понятиями данной предметной области являются "длина", "ширина", "высота", "объем". Объемы понятий "длина", "ширина" и "высота" состоят из положительных размерных значений, имеющих размерность "м". Объем понятия "объем" состоит из положительных размерных значений, имеющих размерность "м³".

6) Формула связи между размерными понятиями: объем = длина * ширина * высота, отсюда следует формула связи между размерностями:

м³ = м * м * м

При решении задач размерные значения могут быть заменены вещественными числами, при этом должно соблюдаться соотношение между размерностями, т.е. все вещественные числа должны задавать значения соответствующей размерности.

7) Моделью системы размерных понятий является прикладная логическая теория, имеющая название "Объемы прямоугольных параллелепипедов". При ее построении используются стандартное расширение ST и специализированное расширение "Интервалы". Запишем теорию на языке прикладной логики. Здесь и во всех последующих примерах для удобства чтения каждое предложение прикладной логической теории имеет номер и снабжено содержательным комментарием.

Объемы прямоугольных параллелепипедов(ST, Интервалы)

7.1) сорт длина: R[0,¥]

моделью объема понятия, обозначенного термином "длина", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

7.2) сорт ширина: R[0,¥]

моделью объема понятия, обозначенного термином "ширина", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

7.3) сорт высота: R[0,¥]

моделью объема понятия, обозначенного термином "высота", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

7.4) сорт объем: R[0,¥]

моделью объема понятия, обозначенного термином "объем", является множество неотрицательных целых чисел; значением этого термина в логической модели является элемент этого множества

7.5) объем = длина * ширина * высота

предложение задает связь между терминами "объем", "длина", "высота" и "ширина"

7.6) длина > 0

длина не может иметь значение, равное 0

7.7) ширина > 0

ширина не может иметь значение, равное 0

7.8) высота > 0

высота не может иметь значение, равное 0

7.9) объем > 0

объем не может иметь значение, равное 0

8) Запишем программу на языке Паскаль для решения задач предметной области. Все размерные понятия моделируются в программе переменными вещественного типа.

Program Объемы;

var длина, ширина, высота, объем: real;

begin

{ ввод значений исходных данных задачи }

readln (длина, ширина, высота);

{ проверка правильности введенных значений }

if длина <= 0 then writeln("длина задана не правильно") else

if ширина <= 0 then writeln("ширина задана не правильно ") else

if высота <= 0 then writeln("высота задана не правильно") else

begin

объем:= длина * ширина * высота;

{ вывод значения результата решения задачи }

writeln ("объем = ", объем);

end;

end.

9) Ситуация предметной области имеет вид: длина 5 м, ширина 7 м, высота 1 м, объем 35 м³

Логическая модель есть множество значений терминов, обозначающих понятия. Логическая модель записывается с использованием предложений-описаний значений имен языка прикладной логики:

длина º 5

ширина º 7

высота º 1

объем º 35

Память имеет несколько состояний: до выполнения оператора ввода значения всех идентификаторов не определены, после выполнения оператора ввода неопределенным остается значение идентификатора "объем", при правильных исходных данных в конце работы программы состояние памяти имеет вид: длина: 5, ширина: 7, высота: 1, объем: 35

2. Тема "Скалярные объекты". План ответа:

1) название и характеристика предметной области;

2) характеристика профессиональной деятельности в этой предметной области;

3) постановка всех классов задач, решаемых в ходе этой профессиональной деятельности;

4) замкнутые системы скалярных объектов предметной области и их обоснование;

5) система скалярных понятий предметной области и ее обоснование;

6) прикладная логическая теория, моделирующая эту систему понятий;

7) программы (на любом языке программирования, но с комментариями!) решения всех классов задач, решаемых в ходе профессиональной деятельности.

8) привести пример ситуации предметной области, записать логическую модель, описать состояния памяти.