Skip to main content
theantomc's user avatar
theantomc's user avatar
theantomc's user avatar
theantomc
  • Member for 7 years
  • Last seen more than 5 years ago
  • Italy
awarded
comment
Must $x$ and $y$ be different in a statement of the form $\forall x \forall y \cdots$?
i think my correct answear to this question is . ∀x [(italian(x) ∧ winWC(National))⇒happy(x)]
awarded
comment
Must $x$ and $y$ be different in a statement of the form $\forall x \forall y \cdots$?
Because in this example give a question "Italians are happy if the Italian National team wins the world cup." an explanation why this formula are wrong. I mean that i need to proof in some way, and i think to costruct an equivalent formula from the original one, by a trasformation (so CNF)...but i m not sure this is right way for proof. thanks so much for answear, finally i got the point!
Loading…
answered
Loading…
Loading…
awarded
awarded
Loading…
comment
How come O(n) + O(logn) = O(logn)
Yes i got the point @Raphael but this example are very basic. This fuction all already know, and i hope the user know that O(n) is < than O(n^2). But for other example, the graph are very bad way to understand trend of the functions. Thanks for this suggestion.
awarded
answered
Loading…
comment
expected pairwise square euclidean distance between points
you simple apply $\int_{0}^{1} x = 1/2$. And after we apply the linearity on the expectation? Because i don't caught why after we simplify the expression for reach the $2E(x-1/2)^2$
comment
expected pairwise square euclidean distance between points
Why in C calculation, the expectation became (x-1/2)(y-1/2) ? You take middle point in [0,1] ? thanks for you answer
awarded