|
Документ взят из кэша поисковой машины. Адрес
оригинального документа
: http://www.cplire.ru/Lab144/1251/01060100.html
Дата изменения: Mon Sep 24 14:54:40 2007 Дата индексирования: Tue Oct 2 02:37:30 2012 Кодировка: Windows-1251 Поисковые слова: п п п п п |
Атомарными формулами (атомами) в языке являются следующие обозначения:
атом =
простой_атом |
бинарное_отношение |
объявление_функции
Ссылки: бинарное отношение 6.1.2, объявление функции 6.1.3, простой атом 6.1.1.
Следующий:
6.1.1. ПРОСТЫЕ АТОМЫ
Предыдущий:
6. ПРЕДЛОЖЕНИЯ КЛАССОВ
6. ПРЕДЛОЖЕНИЯ КЛАССОВ
6.1.1. ПРОСТЫЕ АТОМЫ
6.1.2. БИНАРНЫЕ ОТНОШЕНИЯ
6.1.3. ОБЪЯВЛЕНИЯ ФУНКЦИЙ
КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ
СПИСОК ПОНЯТИЙ ЯЗЫКА (ИНДЕКС)