Exercises for subjdomains

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_1/def_section_subjdomain_actions_and_tasks_exercise_1.html

@@ -0,0 +1 @@
+<p>Задано действие <i>“Действие 1”</i>, для выполнения которого нужно выполнить <i>“Дейсвтие 2”</i> и <i>“Действие 3”</i>.  Необходимо связать эти сущности, используя отношение <b>декомпозиция действия*</b>.</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_1/section_subjdomain_actions_and_tasks_exercise_1.scs

@@ -0,0 +1,41 @@
+section_subjdomain_actions_and_tasks
+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_1;; 
+
+section_subjdomain_actions_and_tasks_exercise_1
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 1. Раздел. Предметная область  действий и задач]
+ (* <- lang_ru;; *);
+ [Exercise 1. Section. Subject domain of actions and tasks]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://def_section_subjdomain_actions_and_tasks_exercise_1.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_actions_and_tasks_exercise_1
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_2/def_section_subjdomain_actions_and_tasks_exercise_2.html

@@ -0,0 +1 @@
+<p>Приведите  в формализованном виде примеры <i>внутренних субъектов ostis-системы</i> и <i>внешних субъектов ostis-системы, с которыми осуществляется взаимодействие</i>.</p>

ims/ostis_tech/semantic_network_represent/section_sc_code/section_subjdomain_actions_and_tasks/exercises/exercise_2/section_subjdomain_actions_and_tasks_exercise_2.scs

@@ -0,0 +1,41 @@
+section_subjdomain_actions_and_tasks
+=>nrel_exercise: 
+ section_subjdomain_actions_and_tasks_exercise_2;; 
+
+section_subjdomain_actions_and_tasks_exercise_2
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 2. Раздел. Предметная область  действий и задач]
+ (* <- lang_ru;; *);
+ [Exercise 2. Section. Subject domain of actions and tasks]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://def_section_subjdomain_actions_and_tasks_exercise_2.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_actions_and_tasks_exercise_2
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://2.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/exercises/exercise_1/def_section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1.html

@@ -0,0 +1 @@
+<p>Формализуйте следующие логические формулы: ((A∧B)～C); ((A∧B)∨C)～((A∧R)∨D).</p>

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/exercises/exercise_1/section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1.scs

@@ -0,0 +1,41 @@
+section_subjdomain_of_logical_formulas_and_logical_ontologies
+=>nrel_exercise: 
+ section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1;; 
+
+section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 1. Раздел. Предметная область логических формул и логических онтологий]
+ (* <- lang_ru;; *);
+ [Exercise 1. Section. Subject domain of logical formulas and logical ontologies]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://def_section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_1
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://1.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/exercises/exercise_2/def_section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2.html

@@ -0,0 +1 @@
+Дана формула ((A∧B)∨C). Формализуйте формулу, а также определите и изобразите с помощью SCg, какими из следующих свойств она обладает: атомарная формула, неатомарная формула, выполнимая формула, невыполнимая логическая формула, противоречивая формула, общезначимая формула, тавтология, нейтральная логическая формула.

ims/ostis_tech/unificated_models/section_unificated_models_kb/section_subjdomain_of_logical_formulas_and_logical_ontologies/exercises/exercise_2/section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2.scs

@@ -0,0 +1,41 @@
+section_subjdomain_of_logical_formulas_and_logical_ontologies
+=>nrel_exercise: 
+ section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2;; 
+
+section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2
+<- exercise;
+
+=> nrel_main_idtf:
+ [Упражнение 2. Раздел. Предметная область логических формул и логических онтологий]
+ (* <- lang_ru;; *);
+ [Exercise 2. Section. Subject domain of logical formulas and logical ontologies. ]
+ (* <- lang_en;; *);
+
+<- rrel_key_sc_element: ...
+ (*
+  <- explanation;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://def_section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2.html"
+   (* <- lang_ru;; *);;
+  *);;
+ *);;
+
+section_subjdomain_of_logical_formulas_and_logical_ontologies_exercise_2
+=> nrel_right_answer: ...
+(*
+<- rrel_key_sc_element: ...
+ (*
+  <- illustration;;
+  <= nrel_sc_text_translation:
+  ...
+  (*
+  -> rrel_example:
+    "file://2.png"  
+	(* <- lang_ru;; *);;
+  *);;
+ *);;
+
+*);;