# Mathematical Logic

Some digital systems content, sentinal logic, prediate logic, graph theory

Read: Discrete Mathematics and Its Applications by Kenneth H. Rosen

### Useful Links

Math Logic Course - Stonybrook

Truth Tables, Tautologies, and Logical Equivalences

### Calculators and tools

Logic Calculator: Truth Tables

SymPy - python library for logic

Python and programming aren’t required for the course but its a good way to check your work! and view my sample program for testing logic here using the SymPy library

we also studied graph theory in the end of the course… I will add some more info on that as well!

Updated on September 13, 2022