| |||
| доказательство теоремы | |||
| доказательство теорем | |||
| дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) | |||
| автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn); машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn) | |||
| доказывание теорем (Alex_Odeychuk) | |||
|
theorem proving : 36 фраз в 9 тематиках |
| Загальна лексика | 2 |
| Інформаційні технології | 4 |
| Макаров | 2 |
| Математика | 14 |
| Механіка | 1 |
| Програмування | 4 |
| Техніка | 2 |
| Фізика | 1 |
| Штучний інтелект | 6 |