Министерство высшего образования, науки и инноваций республики узбекистан министерство цифровых технологий

Задание 

Представить на формальном языке (SCg) 
1) условие задачи 
2) ВСЕ!!! необходимые сведения для решения задачи – аксиомы, теоремы. 
3) Записать пошаговый алгоритм решения задачи на естественном языке
4) нарисовать пояснительный рисунок к задаче

Пример выполнения лабораторной работы 

Условие задачи: 
Определить радиус окружности, вписанной в треугольник со сторонами 5,6,7.
Пояснительный рисунок к задаче (Рисунок 8.)

Рисунок 8. Пояснительный рисунок к задаче


Исходные данные: 


Утверждения и факты, используемые в решении:

Рисунок 9. Утверждения и факты

1. 
   Формула вычисления периметра треугольника, как суммы длин всех сторон.
   
2. 
   Формула Герона: S=pp-ap-bp-c, где a,b,c – стороны треугольника, p – полупериметр треугольника
   
3. 
   Радиус вписанной в треугольник окружности равен: r=Sp, где S – площадь и p – полупериметр треугольника.
   

Алгоритм решения задачи:

1. 
   Зная длины всех сторон треугольника, находим периметр (1);
   
2. 
   Находим площадь треугольника по формуле Герона (2);
   
3. 
   Зная площадь и периметр треугольника, находим радиус вписанной окружности по формуле S=p*r (3), где p – полупериметр треугольника, r – радиус окружности(3).
   

Содержимое базы знаний системы (контекст решения задачи): Формула вычисления периметра (1)

Рисунок 10. Формула вычисления периметра

Формула Герона (2)

Рисунок 12. Формула Герона

Формула вычисления площади треугольника через радиус вписанной окружности (3)

Рисунок 12. Формула вычисления площади треугольника через радиус вписанной окружности

Требования к отчету. В отчете необходимо описать условия, пошаговое решение задачи. Отчет предоставить для проверки в электронном виде.