From 49d3499765270ccade855547ea21866c823825b2 Mon Sep 17 00:00:00 2001 From: koreandude555 <43703574+koreandude555@users.noreply.github.com> Date: Tue, 11 Dec 2018 16:41:08 -0600 Subject: [PATCH] Fixed formatting (#23928) --- guide/english/logic/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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.