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