2018-10-04 14:47:55 +01:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								---
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								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:
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
									
										
										
										
											2018-12-11 16:41:08 -06:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								1.  Theoretical foundations and analysis 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								2.  Use of computer technology to aid logicians 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								3.  Use of concepts from logic for computer applications 
						 
					
						
							
								
									
										
										
										
											2018-10-04 14:47:55 +01:00 
										
									 
								 
							 
							
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								In this section, we'll have guides to a wide variety of logical puzzles that are important to math and programming.
							 
						 
					
						
							
								
									
										
										
										
											2018-10-13 17:05:08 -04:00 
										
									 
								 
							 
							
								
									
										 
								
							 
							
								 
							
							
								
							 
						 
					
						
							
								
							 
							
								
							 
							
								 
							
							
								## 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 )