83 lines
3.2 KiB
HTML
83 lines
3.2 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
|
||
<HTML>
|
||
<HEAD>
|
||
<meta name="GENERATOR" content="Microsoft® HTML Help Workshop 4.1">
|
||
<meta http-equiv="Content-Type" content="text/html; charset=ANSI"/>
|
||
<link rel="stylesheet" type="text/css" href="css/style.css"/>
|
||
|
||
<Title>Экспорт в MS Word</Title>
|
||
</HEAD>
|
||
<BODY>
|
||
<h1>Экспорт в MS Word</h1>
|
||
<p>Документы РС-формы можно преобразовать в формат DOC (MS Word) для дальнейшего распространения, включения в другие документы, печати.
|
||
Чтобы экспортировать документ РС-формы КС необходимо использовать пункт меню <a href="050602.htm">Файл / Экспорт</a>.
|
||
Окно экспорта представлено на Рис. 1.</p>
|
||
<div style="border:solid 1px black; margin:10px; padding:5px;"><span style="color:red; font-weight:bold;">Внимание!</span>
|
||
Для корректной работы экспорта необходимо наличие установленного <b>Microsoft Office Word </b>версии 2003 года или позднее</div>
|
||
|
||
<div class="picCaption">Рис. 1. Экспорт файла РС-формы в Word.</div>
|
||
<img src="pic/from_description/114.png" />
|
||
|
||
<p>При экспорте необходимо выбрать нотацию, в которой записываются имена и формальные выражения конституент. Существуют две распространенные в области ТЛКП
|
||
нотации ЯРС. Стандартная нотация, разработанная А. В. Ключниковым и В. А. Тищенко,
|
||
использована в программном комплексе Экстеор и в работах А. В. Майорова и А. Д. Грязнова над программой "DBTeor".
|
||
Классическая нотация, разработанная Д. Б. Персицем, использована в работе И. Н. Пономарева над программным продуктом "Бурбакизатор".
|
||
Результаты сравнения двух нотаций представлены в Табл. 1. Символом # отображается номер конституенты, задаваемый набором арабских цифр.</p>
|
||
|
||
<p>В <b>Экстеор 4</b> исторически используется стандартная нотация. Тем не менее при экспорте документа РС-формы в текстовый формат пользователю предоставляется выбор между нотациями.</p>
|
||
|
||
<table>
|
||
<caption>Табл. 1. Нотации выражений ЯРС</caption>
|
||
<thead>
|
||
<tr>
|
||
<td style="width:auto;">Название</td>
|
||
<td style="width:180px;">Стандарт</td>
|
||
<td style="width:180px;">Классика (по Тищенко)</td>
|
||
</tr>
|
||
</thead>
|
||
<tbody>
|
||
<tr>
|
||
<td>Базисное множество</td>
|
||
<td style="text-align:center;">X#</td>
|
||
<td style="text-align:center;">X#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Константное множество</td>
|
||
<td style="text-align:center;">C#</td>
|
||
<td style="text-align:center;">C#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Родовая структура</td>
|
||
<td style="text-align:center;">S#</td>
|
||
<td style="text-align:center;">D#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Ступень</td>
|
||
<td style="text-align:center;">H#</td>
|
||
<td style="text-align:center;">S#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Аксиома</td>
|
||
<td style="text-align:center;">A#</td>
|
||
<td style="text-align:center;">Ax#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Терм</td>
|
||
<td style="text-align:center;">D#</td>
|
||
<td style="text-align:center;">Tr#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Терм-функция</td>
|
||
<td style="text-align:center;">F#</td>
|
||
<td style="text-align:center;">TF#</td>
|
||
</tr>
|
||
<tr>
|
||
<td>Теорема</td>
|
||
<td style="text-align:center;">T#</td>
|
||
<td style="text-align:center;">Th#</td>
|
||
</tr>
|
||
</tbody>
|
||
</table>
|
||
</BODY>
|
||
</HTML>
|