Назад

Дерево виводу

Представлення процедури логічного виводу у вигляді дерева, вершинами якого є або вихідні формули, або формули отримані в процесі виводу.

» Тематичний словник

Доступність
Скинути все

Шрифти Шрифти

Розмір шрифта Розмір шрифта

1

Колір тексту Колір тексту

Колір тла Колір тла

Кернінг шрифтів Кернінг шрифтів

Видимість картинок Видимість картинок

Інтервал між літерами Інтервал між літерами

0

Висота рядка Висота рядка

1.2

Виділити посилання Виділити посилання