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