-
1 голова хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > голова хорновской формулы
-
2 левая часть хорновской формулы
Information technology: head (в языке ПРОЛОГ)Универсальный русско-английский словарь > левая часть хорновской формулы
-
3 хвост (хорновской) формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост (хорновской) формулы
-
4 хвост хорновской формулы
Information technology: tail of a clause (в языке ПРОЛОГ)Универсальный русско-английский словарь > хвост хорновской формулы
-
5 голова хорновской формулы
( в языке ПРОЛОГ) headРусско-английский словарь по вычислительной технике и программированию > голова хорновской формулы
-
6 хвост формулы
Information technology: (хорновской) tail of a clause (в языке ПРОЛОГ)
См. также в других словарях:
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия