![]() |
| |||
| исчисление предикатов первого порядка | |||
| логика первого порядка; первопорядковая логика (vitalinew); логика предикатов первого порядка (= first-order predicate logic ssn) | |||
| логика предикатов первого порядка | |||
| |||
| логика первого порядка | |||
| Английский тезаурус | |||
| |||
| first-order predicate logic (ssn) | |||
|
first-order logic : 8 фраз в 4 тематиках |
| Искусственный интеллект | 2 |
| Логика | 4 |
| Математика | 1 |
| Программирование | 1 |