Skip to content

Latest commit

 

History

History
107 lines (84 loc) · 2.85 KB

logic.org

File metadata and controls

107 lines (84 loc) · 2.85 KB

#

#

Some preliminary thoughts on logic

QuickCheck

Rabbit holes

⌜🐇 Rabbit holes to get started with CIMIC are:

  1. We need to learn mathematical logic, since logic is simply baked into every programming language. Try this LibreTexts series on logic. Pay particular attention to the notation used on logic operators and the terminology as well. This stuff comes up all the time in programming. (RO-hole)

🐇⌟