Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
UDC 004.42:510.69
УДК 004.42:510.69
10
logic
8
логика
8
логічний наслідок
8
logical consequence
7
логическое следствие
7
логіка
7
предикат
6
predicate
5
секвенційне числення
4
algebra
3
equality
3
алгебра
3
равенство
3
секвенциальное исчисление
3
composition
2
non-deterministic predicate
2
partial predicate
2
semantics
2
sequent calculus
2
композиция
2
недетерминированный предикат
2
недетермінований предикат
2
рівність
2
семантика
2
частковий предикат
2
7-valued predicate
1
7-значный предикат
1
7-значний предикат
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10