predicate calculus
| with
| identity
| predicate calculus | |
| IT | исчисление предикатов : |
| with | |
| gen. | при; от; касательно; несмотря на; над; обо |
| Makarov. | при раздельной работе; при параллельной работе |
| identity | |
| gen. | тождественность; тождество; самоосознание индивидуума; уникальность; идентификатор |
| bank. | идентификационные данные физического лица |
| cinema | самобытность |
| comp. | идентитет |
| intell. | установочные данные лица |
| jarg. | айдентика |
| |||
| исчисление предикатов : | |||
| исчисление предикатов | |||
|
predicate calculus : 35 phrases in 7 subjects |
| Automated equipment | 1 |
| Computers | 1 |
| Logic | 2 |
| Mathematics | 23 |
| Mechanics | 1 |
| Programming | 5 |
| Technology | 2 |