Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
Теоретичні та методологічні основи програмування
21
4
UDC 004.42:510.69
3
УДК 004.42:510.69
3
логічний наслідок
3
секвенційне числення
3
004.415
2
logic
2
logical consequence
2
partial predicate
2
УДК 519.6
2
логика
2
логическое следствие
2
предикат
2
секвенциальное исчисление
2
004:512
1
: логіка
1
Adaptation
1
Boolean functions
1
Composition-nominative logics
1
Great Ukrainian Encyclopedia
1
UDC 004.272
1
UDC 004.4
1
UDC 004.424
1
UDC 004.655
1
UDC 004.91:510.25+519.17
1
UDC 517. 519.2
1
UDC 519.6
1
UDC 519.681
1
UDC 681.3
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20