diff --git a/guide/english/logic/index.md b/guide/english/logic/index.md index f2db350a84..08f3f24d8a 100644 --- a/guide/english/logic/index.md +++ b/guide/english/logic/index.md @@ -5,9 +5,9 @@ title: Logic Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: -Theoretical foundations and analysis -Use of computer technology to aid logicians -Use of concepts from logic for computer applications +1. Theoretical foundations and analysis +2. Use of computer technology to aid logicians +3. Use of concepts from logic for computer applications In this section, we'll have guides to a wide variety of logical puzzles that are important to math and programming.