CS Resources

Computer Science Resources and Links from Avi Parshan

View project on GitHub

Mathematical Logic

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

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

Syllabus

Formula Sheet

YouTube Playlist

A Brief Overview of Logic

Math Logic Course

Calculators and tools

Truth Table Generator

Logic Calculator: Truth Tables

Tree Proof Generator

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

Updated on September 13, 2022