חשיבה מיחשובית ורובוטיקה