Thursday, September 18, 2014

Quantifiers

I really like quantifiers... Past week we studied in class lots of quantifiers, (∃ and \forall \!\,), it was really cool! Again, it is strange to me seeing this kind of logic strictly connected to math, but well almost every single concept that we apply to programming is also strictly connected to math. 

The professor this week also passed to us some exercises in which we had to do that involved some or symbolic or natural language logic sentences with quantifiers, just to give you reader an example things such as:

"All three python programs don't pass all three test suits"

so, translating:

"\forall \!\, x | x pass ∃ some y" 
where x python programs and y test suits.

And at the end of the exercise set, there was some Venn Diagram exercises that confounded me, but it was fun, I really enjoyed it!


No comments:

Post a Comment