Path://var_null/
 Регистрация или ->Экспорт данныхПоиск
Войти
Экспорт:
Папки

/root/polzovateli/var_null/filosofiya/logika/logika-predikatov/term
Не экспортировать закрытые директории
Преобразовывать заметки в html
Экспортировать
Удалить директорию
Применить
 Стили директорииДобавить заметку
Терм
2014-10-15 13:42:14 Удалить Фон Изображение Импорт из текстового файла Редактировать Копировать в буфер
1) предметные  константы  и  переменные  являются  термами;
2)  если t – терм,  а Ф – предметный  функтор,  то Ф(t) также  является  термом;
3) ничто другое не является термом
Похожие разделы:
Участвуй в наполнении сайта, создай свое дерево знаний. Регистрация

@include_encode 2015