' 'solution'' instance instances questions ask solutions desired answers questions theoretical computer science seeks understand computational problems solved using computer computability theory efficiently computational complexity theory traditionally said problem solved using computer design algorithm produces correct solution given instance algorithm implemented computer program runs general purpose computer program reads problem instance input performs computation
Formal science Computer science Distributed computing