Capstone: Logic and Computation

Please note: this is archived course information from 2022 for LOGICOMP 399.


Potential topics relate logic and computation, and their roles in modern information society. Topics and reading material are introduced before students pick topics, to work alone or in small teams. The topics will be chosen to be accessible to all participants, thereby fostering interaction and interdisciplinary collaboration.