CRS-0802-02-001
Introduction to Logic
activeintroductory
Introduces propositional logic, truth tables, and proofs.
Subject
SUB-0802-02Logic
active
Study of reasoning, arguments, and formal systems.
Canonical ID: urn:taxonomy:cip-aligned:subject:0802-02
Also known as: Formal Logic
Keywords
Browse
Courses
Select a course to view its taxonomy record.
CRS-0802-02-002
Methods in Logic
activeintroductory
Covers predicate logic, quantifiers, and formal semantics.
CRS-0802-02-003
Intermediate Logic
activeintermediate
Examines modal logic, computability, and incompleteness.
CRS-0802-02-004
Applications of Logic
activeintermediate
Applies logic to computer science, linguistics, and mathematics.
CRS-0802-02-005
Advanced Logic
activeadvanced
Advanced topics including model theory, proof theory, and set theory.