Site Search
Computer Science

Photos

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

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