Rodrigo Lopes

292 followers

292 followers

Rodrigo's interests

Rodrigo's posts

Post has attachment

Public

**the escape of blue eyed vampires (answer)**

The island of blue eyed vampires (answer) An initial idea Each one needs to figure out if him/herself is blue eyed. They assume having blue eyes and see how the others react. A technical details There are some variations to formalize this problem using diff...

Post has shared content

Public

Autumn in Munich, Germany

Post has shared content

Public

That would be a dream come true.

Want to help make this possible?

https://www.change.org/p/the-walt-disney-company-bringing-the-old-republic-era-of-star-wars-to-netflix

https://www.change.org/p/the-walt-disney-company-bringing-the-old-republic-era-of-star-wars-to-netflix

Post has shared content

Public

The saddest Game of Thrones death of all is set...the end of the HBO series.

Post has attachment

**The escape of blue eyed vampires**

Once upon a time, a vampire clan lived peacefully in an island (as long as vampire clans can live peacefully). Then, a demon lord came, overwhelmed the vampires and became the ruler of the island. The demon didn't want any vampire to escape so he created a ...

Post has attachment

It would be enigmatic for some but I need to say: Dr. 6 (aka Mysterious Challenger) is the most unbelivieble card in Hearthstone. #hearthstone

Post has attachment

Public

Bom texto... e incrivelmente atual.

Post has attachment

Could you (ladies and gentlemen) help me with one problem?

http://cs.stackexchange.com/questions/40005/solving-subproblem-in-logic-first-order-propositional-pddl

Basically: Is there any algorithm able to prove (solve) a logic problem (first-order, propositional, pddl) by finite induction?

http://cs.stackexchange.com/questions/40005/solving-subproblem-in-logic-first-order-propositional-pddl

Basically: Is there any algorithm able to prove (solve) a logic problem (first-order, propositional, pddl) by finite induction?

Post has shared content

Charles bridge.

Wait while more posts are being loaded