Prenex normal form
Автор:
Jesse Russell,Ronald Cohn, 138 стр., издатель:
"Книга по Требованию", ISBN:
978-5-5122-1482-4
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). Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит никаких аналитических материалов, выводов, оценок морального, этического, политического, религиозного и мировоззренческого характера в отношении главной тематики, представляя собой исключительно фактологический материал.
Рейтинг книги:



4 из 5,
3 голос(-ов).