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