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

Introduction to Mathematical Thinking

Contributing to the Guide

This open source guide is curated by thousands of contributors. You can help by researching, writing and updating these articles. It is an easy and fun way to get started with contributing to open source.