Computational logic and formal languages form a cornerstone of modern computer science and mathematics, providing the theoretical framework by which algorithms, automated reasoning systems and even ...

The curriculum for the Bachelor of Arts degree in Computer Science is based on current recommendations of the Association for Computing Machinery (ACM) for liberal arts institutions. The program is ...