ВикиПротопия:Автоматическое докозательство — различия между версиями
Материал из ВикиПротопии
| Строка 3: | Строка 3: | ||
==источники информации== | ==источники информации== | ||
*http://raai.org/news/pii/ppt/2018/lux-present2018.pdf | *http://raai.org/news/pii/ppt/2018/lux-present2018.pdf | ||
| − | * | + | *http://www.bionet.nsc.ru/vogis/download/19-6/03_Podkolodnyy_Rus_2.pdf |
| + | *https://postnauka.ru/faq/26503 | ||
[[Категория:ВикиПротопия]] | [[Категория:ВикиПротопия]] | ||
Текущая версия на 07:02, 29 декабря 2018
набор информации, онтология, метода автоматического доказательства, гомотопическая теория типов позволяют делать хорошие прогностические утверждения на основании принципов изложенных в формальной логике и использующих онтологию.
