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
Dr. Robert KentDr. Robert Kent
Dr. Robert Kent
Windsor WaterfrontWindsor Waterfront Park
Windsor Waterfront Park
Imran Ahmad, Ph.D.Dr. Imran Ahmad
Dr. Imran Ahmad
Dr. Luis RuedaDr. Luis Rueda
Dr. Luis Rueda
Arunita Jaekel, Ph.D.Dr. Arunita Jaekel
Dr. Arunita Jaekel
Joan Morrissey, Ph.D.Dr. Joan Morrissey
Dr. Joan Morrissey
Xiaobu Yuan, Ph.D.Dr. Xiaobu Yuan
Dr. Xiaobu Yuan
Richard A. Frost, Ph.D.Dr. Richard A. Frost
Dr. Richard A. Frost
Lambton TowerLambton Tower
Lambton Tower
Dr. Scott GoodwinDr. Scott Goodwin
Dr. Scott Goodwin
Robin Gras, Ph.D.Dr. Robin Gras
Dr. Robin Gras
Dr. Ziad Kobti lecturingDr. Ziad Kobti
Dr. Ziad Kobti
Alioune Ngom, Ph.D.Dr. Alioune Ngom
Dr. Alioune Ngom
Subir Bandyopadhyay, Ph.D.Dr. Subir Bandyopadhyay
Dr. Subir Bandyopadhyay

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.)