Общие вопросы математики

Список источников > Нехудожественная литература > Научная и техническая литература > Естественные науки > Физико-математические науки > Математика > Общие вопросы математики

Prenex normal form

Автор: Jesse Russel
Год: 2012
Издание: Книга по Требованию
Страниц: 138
ISBN: 9785512214824
High Quality Content by WIKIPEDIA articles! A formula of the predicate calculus is in prenexnormal form if it is written as a string of quantifiers followed by a quantifier-free part (referred to as the matrix). Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики, представляя собой исключительно фактологический материал.
Добавлено: 2015-04-23 01:22:26