| English | Russian |
| already existing fact | уже существующий факт (Alex_Odeychuk) |
| an instance of the fact variable | экземпляр переменной-факта (Alex_Odeychuk) |
| an ordinary inductive definition is one whose validity depends on the fact that the right hand side of each equation uses only indices less than that of the left hand side | Содержательность обычного индуктивного определения основана на том, что индексы, используемые в правой части каждого уравнения, меньше, чем индексы левой части (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
| asserted fact | исходный факт (в языке программирования Prolog Alex_Odeychuk) |
| discrete fact | отдельный факт (ssn) |
| eager fact variable initialization | немедленная инициализация переменных-фактов (Alex_Odeychuk) |
| fact address | адрес факта (Alex_Odeychuk) |
| fact table | таблица фактов (см. star schema ssn) |
| fact variable | переменная-факт (поле класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| fact variable initialization | инициализация переменной-факта (Alex_Odeychuk) |
| fact variable initialization | инициализация переменных-фактов (Alex_Odeychuk) |
| fundamental fact | неоспоримый факт (ssn) |
| immediate fact variable initialization | немедленная инициализация переменных-фактов (Alex_Odeychuk) |
| internal fact database | внутрення база фактов (Alex_Odeychuk) |
| late fact variable initialization | отложенная инициализация переменных-фактов (Alex_Odeychuk) |
| late initialization of fact variables | отложенная инициализация переменных-фактов (Alex_Odeychuk) |
| lazy fact variable initialization | отложенная инициализация переменных-фактов (Alex_Odeychuk) |
| little known fact | малоизвестный факт (ssn) |
| multifield fact | факт с множеством полей (Alex_Odeychuk) |
| object fact | факт объекта (поле экземпляра класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| object fact | факт экземпляра класса (поле экземпляра класса в терминологии языков объектно-ориентированного программирования Alex_Odeychuk) |
| object referenced does not in fact belong to the expected subclass | объект, на который указывает ссылка, фактически не принадлежит предполагаемому подклассу (ssn) |
| rule and fact | правило и факт (ssn) |
| static initialization of an object fact | статическая инициализация факта объекта (поля объекта (в логическом объектно-ориентированном программировании) Alex_Odeychuk) |
| static initialization of the fact | статическая инициализация факта (Alex_Odeychuk) |
| statically initialized fact | статически инициализированный факт (Alex_Odeychuk) |
| suffer from the fact that | иметь следующий недостаток: (ssn) |
| the fact that a software system is a component of an information system implies that software engineering is an aspect of a broader discipline of systems engineering | Факт, что система ПО является компонентом информационной системы, подразумевает, что программная инженерия – лишь часть более широкой дисциплины – инженерии систем (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| the fact that a software system is a component of an information system implies that software engineering is an aspect of a broader discipline of systems engineering | Факт, что система ПО является компонентом информационной системы, подразумевает, что программная инженерия лишь часть более широкой дисциплины инженерии систем (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
