Introduction to mathematical logic: propositional logic, first-order logic, completeness, emphasizing applications to computer science including SAT solvers, model checking, and resolution theorem proving.

This course examines the structure of modern computer systems. We explore recent research results that are influencing modern machine organizations, then consider specific features and their impact on software and performance. These may include superscalar issue, caches, pipelines, branch prediction, and parallelism. Midterm and final exams, individual projects, homework, in-class exercises. Prerequisites: COMPSCI 535 or equivalent.

Examination of the development of black speculative fiction in the nineteenth and twentieth century, including science fiction, fantasy, gothic literature, magical realism, the detective novel, and/or related genres. Topics of discussion may include slavery and colonialism; diaspora; science, technology, and the environment; race and the paraliterary; utopianism and dystopianism; blackness and metaphysics; Afrofuturism.

This course provides history majors with an introduction to the philosophy of history, historical methodology, and general schools of historiography. We will consider how historians inside and outside the academy pose questions, and how they find, select, evaluate, interpret, and analyze evidence in order to propose answers to those questions. Finally, we will reflect as well upon questions about the purposes and goals of both studying and writing history.

Description not available at this time

Problems in play direction. Work chosen and closely supervised by the performance faculty and presented in a production format determined by the student's current needs and abilities and demands on the department's performance facilities. Credit, 1-6.

This advanced course will build on the foundations of scenic design practice covered in THEATER 360 (Intro to Set Design) such as dramaturgical and visual research, model building, drafting, budgeting, creative problem solving, flexibility of methods and solutions in pursuit of a vision in support of a performance event, and collaboration skills through actual production assignments in the department as well as several paper projects realized in 3-D model form.

Bold actor training, adapting classical language techniques for verbally adventurous contemporary plays, from Tom Stoppard to Suzan-Lori Parks. Students unleash the evocative power of the spoken word on stage.

This class is designed for students with some stitching experience who are interested in exploring the various skills that make up the world of costume technology for theater. Repeatable for credit, this is primarily a hands-on technical class, alternately focusing on construction methods, textile identification, fabric dyeing and painting techniques, pattern-making through draping on a dress form and flat-patterning, tailoring, fitting and pattern alteration, and other costuming craft work, such as millinery and mask-making.