Computational Logic is that branch of Computer Science concerned with the representation and processing of information in the form of logical statements. Everyone is familiar with ability of computers to compute with numbers. Our interest is in endowing computers with logical reasoning abilities as well.
Appropriate for secondary school students, college undergraduates, and graduate students. To date, over 500,000 people of all levels, have enrolled in various offerings of this course.