 |
| |||
| доказывание теорем (Alex_Odeychuk) | |||
| доказательство теорем | |||
| автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn); машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn) | |||
| доказательство теоремы | |||
| дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) | |||
|
theorem-proving : 35 短语, 9 学科 |
| 一般 | 2 |
| 人工智能 | 6 |
| 信息技术 | 4 |
| 力学 | 1 |
| 技术 | 2 |
| 数学 | 13 |
| 物理 | 1 |
| 编程 | 4 |
| 马卡罗夫 | 2 |