1 Выберем для нового приема какой-нибудь подходящий раздел Например, в подразделе "Тригонометрия" раздела "Элементарная алгебра" выберем подраздел "Синус", далее — "Общая стандартизация выражений", и здесь введем новый концевой пункт, нажав клавишу «к» При появлении курсора текстового редактора нужно набрать какое-либо название пункта, пусть это будет "Тест". Далее нажимаем «курсор вправо» и попадаем в чистый экран — обычное начало ввода приема. Для набора теоремы формульным редактором нажимаем «Ctrl-ф». Возникает курсор формульного редактора, и далее набираем указанное выше тождество, не забыв начать его с квантора общности и перечислить в кванторной приставке все переменные теоремы. Напомним, что неполное перечисление переменных в кванторной приставке может, хотя и редко, привести к неправильной компиляции Если переменная оказывается связана внутри теоремы, то она в общую кванторную приставку не выносится. Если при наборе формулы нужно вспомнить какую-либо клавишу формульного редактора, нажимается «F1», переводящее в справочник по системе, и нужная информация находится в подразделе "Формульный редактор" корневого меню справочника. Чтобы продолжить набор формулы, далее нажимается «End» (сначала — для возвращения в оглавление справочника, затем — для возвращения в набор теоремы) По завершении набора теоремы нажимается «Enter», и под теоремой прорисовывается горизонтальная линия.
Далее нажимается «Enter», и во втором окне набирается заголовок приема. После того, как заголовок введен и нажато «Enter», появляется следующая горизонтальная линия, причем сразу же под ней появляется курсор текстового редактора для набора фильтров Вводим фильтр "уровень(О)"; после завершающего набор нажатия «Enter» вводим указатели "единица(1 х1)" и "заменазнака(минус х1)" и снова нажимаем «Enter». Под четвертым окном появляется голубая линия, указывающая на то, что новый либо измененный прием еще не сохранен.
Опубликовал vovan666
February 20 2013 16:08:29 ·
0 Комментариев ·
3469 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
