Logic And Computational Thinking