| |||
логика первого порядка | |||
| |||
логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
логика предикатов первого порядка | |||
исчисление предикатов первого порядка | |||
אנגלית אוצר מילים | |||
| |||
first-order predicate logic (ssn) |
first order logic: 8 צירופים, 4 נושאים |
בינה מלאכותית | 2 |
הִגָיוֹן | 4 |
מָתֵימָטִיקָה | 1 |
תִכנוּת | 1 |