Logic and Its Applications

Description from DukeHub

Topics in proof theory, model theory, and recursion theory; applications to computer science, formal linguistics, mathematics, and philosophy. Usually taught jointly by faculty members from the departments of computer science, mathematics, and philosophy. Prerequisite: PHIL 150 or PHIL 250.

Skills

• programmingdepartment: COMPSCI

AI-resilient: 0 of 5 0/5

• No: Physical, lab or field work
• No: Live work with people
• No: Judgment someone is accountable for
• No: A craft you practice with your hands or body
• No: Small, in-person format

The checks lean on Microsoft Research, Working with AI (2025), which found generative AI applies least to physical work and hands-on work with people. A signal, not a promise. How the score works

More in COMPSCI

• Introduction to Computer Science COMPSCI 101L
• Data Structures and Algorithms COMPSCI 201
• Introduction to Computer Systems COMPSCI 210D
• Everything Data COMPSCI 216
• Discrete Math for Computer Science COMPSCI 230
• Computer Architecture COMPSCI 250D

All COMPSCI courses · All of Undergraduate