Fixed formatting (#23928)
This commit is contained in:
committed by
Manish Giri
parent
5aa27ee364
commit
49d3499765
@ -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.
|
||||
|
||||
|
Reference in New Issue
Block a user