This course provided by the Savannah College of Art and Design is designed introduces formal logic and its application to everyday arguments. Using examples from computer algorithms and paradoxes, students learn to identify, classify and write complex logical sentences accurately and efficiently.
All codes in this course are programmed with Prolog.
All code should run by default without extra congifuration.