Site Search
Computer Science

Photos

Jessica Chen, Ph.D.Dr. Jessica Chen
Dr. Jessica Chen
Christie Ezeife, Ph.D.Dr. Christie Ezeife
Dr. Christie Ezeife
Subir Bandyopadhyay, Ph.D.Dr. Subir Bandyopadhyay
Dr. Subir Bandyopadhyay
Richard A. Frost, Ph.D.Dr. Richard A. Frost
Dr. Richard A. Frost
Joan Morrissey, Ph.D.Dr. Joan Morrissey
Dr. Joan Morrissey
Arunita Jaekel, Ph.D.Dr. Arunita Jaekel
Dr. Arunita Jaekel
Dr. Luis RuedaDr. Luis Rueda
Dr. Luis Rueda
Dr. Robert KentDr. Robert Kent
Dr. Robert Kent
Dr. Ziad Kobti lecturingDr. Ziad Kobti
Dr. Ziad Kobti
Xiaobu Yuan, Ph.D.Dr. Xiaobu Yuan
Dr. Xiaobu Yuan
Imran Ahmad, Ph.D.Dr. Imran Ahmad
Dr. Imran Ahmad
Lambton TowerLambton Tower
Lambton Tower
Windsor WaterfrontWindsor Waterfront Park
Windsor Waterfront Park
Robin Gras, Ph.D.Dr. Robin Gras
Dr. Robin Gras
Alioune Ngom, Ph.D.Dr. Alioune Ngom
Dr. Alioune Ngom
Dr. Scott GoodwinDr. Scott Goodwin
Dr. Scott Goodwin

60-100 Key Concepts in Computer Science

The objectives of this course are to excite students' interest in computer science and to give students a precise understanding of a number of difficult concepts that are fundamental to modern computer science. Topics may include: data types; induction and recursion; algebraic characterization; syntax; semantics; formal logic; soundness, completeness, and decidability; specification, algorithm, implementation, and determinism; complexity. (Restricted to students registered in programs offered wholly or jointly by Computer Science or by Mathematics and Statistics, or with approval of Computer Science.) (3 lecture, 1.5 laboratory hours a week; plus unsupervised study and work on individual assignments.)