Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
logic
13
логика
УДК 004.42:510.69
11
логіка
11
UDC 004.42:510.69
10
logical consequence
8
логічний наслідок
8
логическое следствие
7
предикат
6
predicate
5
algebra
4
алгебра
4
секвенційне числення
4
semantics
3
sequent calculus
3
секвенциальное исчисление
3
семантика
3
UDС 004.02+004.05+005.93+ 510.3
2
composition
2
equality
2
fuzzy
2
information
2
model
2
non-deterministic predicate
2
partial predicate
2
risk
2
security
2
threats
2
vulnerability
2
УДК 004.02+004.05+005.93+ 510.3
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13