Como estudar logica para analise e desenvolvimento de sistemas?