theorem proving
| program
| theorem proving abbr. | |
| AI. | доказывание теорем |
| comp. | доказательство теоремы |
| oil | доказательство теорем |
| progr. | автоматическое доказательство теорем; машинное доказательство теорем |
| ТАМ Programme abbr. | |
| gen. | Программа ТАМ |
| program abbr. | |
| gen. | программный |
| automat. | УП |
| Makarov. | плановый; проектный |
| programme abbr. | |
| gen. | программа; спектакль; передача; план; репертуар |
| |||
| доказывание теорем (Alex_Odeychuk) | |||
| доказательство теоремы | |||
| доказательство теорем | |||
| автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn); машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn) | |||
| дедуктивный анализ (проверка того, что набор утверждений, который представляет собой спецификацию, формально выводится из реализации и, возможно, из гипотез о поведении окружения системы, сформулированных в том же формализме, что и реализация Alex_Odeychuk) | |||
|
theorem proving : 36 phrases in 9 subjects |
| Artificial intelligence | 6 |
| General | 2 |
| Information technology | 4 |
| Makarov | 2 |
| Mathematics | 14 |
| Mechanics | 1 |
| Physics | 1 |
| Programming | 4 |
| Technology | 2 |