18 lines
682 B
Markdown
18 lines
682 B
Markdown
---
|
|
title: Logic
|
|
---
|
|
## 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:
|
|
|
|
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.
|
|
|
|
## Free Courses to Improve Logic
|
|
[Logic and Computational Thinking](https://www.edx.org/course/logic-and-computational-thinking-1)
|
|
|
|
[Introduction to Mathematical Thinking](https://www.coursera.org/learn/mathematical-thinking)
|