Talk for Logic and computation seminar (EAFIT University 2014)