editor
177
правок
Изменения
todo
== TODO ==
* «…количество различных аргументов в формуле <tex>\phi</tex>.» У формулы нет аргументов.
* «Так как функция <tex>f</tex> работает полиномиальное время, и <tex>|\phi| = |y|</tex>…» Что значит <tex>|\phi| = |y|</tex>? Нужно чётко определенить, что такое «модуль формулы» и «модуль вектора», иначе дальше понять что-то невозможно.
Дальше всё более-менее, вроде как норм, но нужно посмотреть, как сочитается то, что я додумал, с твоими определниями «модуля формулы». Ну и кое-где орфография, я пока на это не обращал мнивания.
* «…количество различных аргументов в формуле <tex>\phi</tex>.» У формулы нет аргументов.
* «Так как функция <tex>f</tex> работает полиномиальное время, и <tex>|\phi| = |y|</tex>…» Что значит <tex>|\phi| = |y|</tex>? Нужно чётко определенить, что такое «модуль формулы» и «модуль вектора», иначе дальше понять что-то невозможно.
Дальше всё более-менее, вроде как норм, но нужно посмотреть, как сочитается то, что я додумал, с твоими определниями «модуля формулы». Ну и кое-где орфография, я пока на это не обращал мнивания.
