Press enter or space to select a node.You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.

Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.

COMP3400 - Computational Logic and Automated Reasoning

Available Universities

University of British Columbia Course Map - UBC
Western University Course Map - Western
University of Ottawa Course Map - uOttawa
University of Toronto Course Map - UofT
McGill University Course Map - McGill
University of Calgary Course Map - Calgary
University of Waterloo Course Map - Waterloo
Simon Fraser University Course Map - SFU
Carleton University Course Map - Carleton
Toronto Metropolitan University Course Map - TMU
Wilfred Laurier University Course Map - WLU
University of Minnesota Course Map - Minnesota
University of Arizona Course Map - Arizona
University of Washington Course Map - Washington
University of Pennsylvania Course Map - Penn
Texas A&M University Course Map - TAMU
Arizona State University Course Map - ASU
Pennsylvania State University Course Map - Penn State
Duke University Course Map - Duke
University of Central Florida Course Map - UCF
University of Florida Course Map - Florida
Florida State College at Jacksonville Course Map - FSCJ
Yale Univeristy Course Map - Yale

Course: COMP3400 (Computational Logic and Automated Reasoning) in COMP department at Carleton University.

Credit Hours: 0.5 • Academic Level: third-year undergraduate course

Course Requirements: Requires 1 prerequisite course

Prerequisite Chain Depth: 2 levels of foundational courses required

Part of the COMP curriculum at Carleton University, helping students progress through degree requirements.

Prerequisites for COMP3400

COMP2804

Academic Planning at Carleton University

Students planning COMP3400 at Carleton University should complete 1 prerequisite before enrollment.

This third-year course at Carleton University integrates into structured degree pathways for COMP programs, supporting timely graduation and academic progression.