Что такое логика в программировании? Это логика как понимаю должна быть для компьютера?

Как я понимаю программист должен прописать программу так, что бы компьютер её правильно понял. То есть логически для компьютера, так ли это?