View Options Show: All None Introductory Core Capstone Projects Fundamental Computation Software Design Game Development Artificial Intelligence Computing, Mathematics, and Analytics Data Analytics Computing and the Creative Arts Security Biomedical Computation Uncategorized 100-Level 200-Level 300-Level 400-Level 500-Level Fall Winter Spring Summer Not Offered View: Full Compact Group by: NONE CAT LVL TERM Apply Filters Clear Fall CISC 101 - Introduction to Computer Programming FallWinterIntroduction to algorithms: their definition, design, coding, and execution on computers. Intended for students who have no programming experience. CISC 102 - Discrete Structures I FallWinterIntroduction to mathematical discourse and proof methods with a focus on discrete structures. Sets, sequences, and relations. Properties of the integers. Induction. Counting with permutations and combinations, pigeonhole principle. Principle of Inclusion-exclusion. Introduction to graphs and graph terminology. CISC 121 - Introduction to Computing Science I FallWinterIntroduction to design, analysis, and implementation of algorithms. Recursion, backtracking, and exits. Linear data structures (stacks and queues). Elementary searching and sorting. Order-of-magnitude complexity. Documentation, iterative program development, translating natural language to code, testing and debugging. CISC 124 - Introduction to Computing Science II FallWinterIntroduction to software design and development with the object-oriented paradigm, and its effect on abstraction and component re-use. Working in groups using incremental development and version management. Test driven development. Numerical computation. CISC 203 - Discrete Structures II FallWinterAdvanced proof methods for discrete structures from an object-oriented perspective. Combinatorics: advanced counting methods. Solving and applying recurrence relations. Graph theory including graph algorithms, structural induction, and proofs. CISC 204 - Logic for Computing Science FallWinterElements of mathematical logic with computing applications. Formal proof systems for propositional and predicate logic. Interpretations, validity, and satisfiability. Introduction to soundness, completeness and decidability. CISC 220 - System-Level Programming FallWinterBasic concepts of Unix-like systems. Shells and scripting. System-level programming in the C language. Software development tools and techniques. CISC 221 - Computer Architecture FallWinterThe descriptive levels of computer architecture. Instruction-set architectures. Assembly Language. Data representation. Support for operating-system management and high-level languages. Input/output and interrupts. Designing for performance. Digital Logic. CISC 223 - Software Specifications FallWinterIntroduction to techniques for specifying the behaviour of software, with applications of these techniques to design, verification and construction of software. Logic-based techniques such as loop invariants and class invariants. Automata and grammar-based techniques, with applications to scanners, parsers, user-interface dialogs and embedded systems. Computability issues in software specifications. CISC 235 - Data Structures FallWinterDesign and implementation of advanced data structures and related algorithms, including correctness and complexity analysis. Tradeoffs among alternative implementations of a module interface. CISC 251 - Data Analytics FallIntroduction to data analytics; data preparation; assessing performance; prediction methods such as decision trees, random forests, support vector machines, neural networks and rules; ensemble methods such as bagging and boosting; clustering techniques such as expectation-maximization, matrix decompositions, and bi-clustering; attribute selection. CISC 320 - Fundamentals of Software Development FallIntroduction to management of small and medium-scale software projects. Advanced programming methodology using the programming language C++. Includes a significant programming project. CISC 322 - Software Architecture FallWinterAbstractions and patterns of interactions and relationships among modules. Design recovery; relationship of architecture to requirements and testing. CISC 324 - Operating Systems FallWinterLayered operating systems for conventional shared memory computers: concurrent processes. Synchronization and communication. Concurrent algorithms. Scheduling. Deadlock. Memory management. Protection. File systems. Device management. Typical layers. CISC 326 - Game Architecture FallWinterAn introduction to software architectural design through the application domain of game development. Abstractions and patterns of interactions and relationships among modules. Design recovery. Relationship to requirements and testing CISC 327 - Software Quality Assurance FallValidation of software throughout the life cycle. Comparative effectiveness in defect removal of formal methods (proofs of correctness), inspection (walkthroughs and reviews), and testing (unit, integration, and system testing; white box versus black box). CISC 360 - Programming Paradigms FallWinterReview of imperatives programming features. Introduction to other widely used programming paradigms. Functional programming languages, such as LISP and Haskell. Higher order functions, lazy evaluation, abstract and recursive types, structural induction, symbolic expressions. Logic programming languages, such as PROLOG. Operational interpretation of predicates and terms, proof search, unification, backtracking. Typical applications. CISC 365 - Algorithms I FallWinterPrinciples of design, analysis and implementation of efficient algorithms. Case studies from a variety of areas illustrate divide and conquer methods, the greedy approach, branch and bound algorithms and dynamic programming. CISC 371 - Nonlinear Data Analysis FallMethods for nonlinear data analysis, particularly using numerical optimization. Applications may include: unconstrained data optimization; linear equality constraints; constrained data regression; constrained data classification; evaluating the effectiveness of analysis methods. CISC 422 - Formal Methods in Software Engineering FallMathematical methods for describing software behaviour and structure. Topics include (but are not limited to) the following: Requirements specification. Module specification: axiomatic, algebraic, and trace specifications. Abstract models. Verification. Specification-based validation. CISC 447 - Introduction to Cybersecurity FallAn introduction to cybersecurity covering a wide range of vulnerabilities, attacks, and defense mechanisms in individual computers, networks, the Internet and the Web and applications that use them, and storage and computational clouds. The human side of cybersecurity, and the legal and ethical constraints on both attack and defense. CISC 451 - Topics in Data Analytics FallContent will vary from year to year; typical areas covered may include: tools for large scale data analytics (Hadoop, Spark), data analytics in the cloud, properties of large scale social networks, applications of data analytics in security. CISC 457 - Image Processing and Computer Vision FallIntroduction to fundamental concepts and applications in image processing and computer vision. Topics include image acquisition, convolution, Discrete Fourier Transform, image enhancement, edge detection, segmentation, image registration, human contrast perception, colour perception and reproduction, stereo vision. CISC 472 - Medical Informatics FallCurrent topics in the application of information technology to medical image computing and its use in image-guided medical interventions. CISC 473 - Deep Learning FallDesign of deep neural networks based on leading-edge algorithms such as Restricted Boltzmann Machines, Recurrent Neural Networks, Convolutional Neural Networks, Long-Short Term Machines. Autoencoding as a clustering technique. Applications to prediction problems in natural language and images. CISC 486 - Game Development FallAn introduction to 'engines' used in networked 3-dimensional games. Topics include game-engine architecture and components providing 3-dimensional rendering, physics simulation, sound, artificial intelligence, and networking services. CISC 497 - Social, Ethical and Legal Issues in Computing FallWinterA wide range of topics of current importance in computing, including technical issues, professional questions, and moral and ethical decisions. Students make presentations, deliver papers, and engage in discussion. CISC 498 - Information Technology Project FallWinterTopic selected under the supervision of a faculty member. Emphasis is on the application of software engineering techniques to the development of a substantial software system. Group work, oral presentation, participation in design and code review meetings, and delivery of complete software specification and design are required. CISC 500 - Undergraduate Thesis FallWinterIndividual research project under the supervision of a School of Computing faculty member. Evaluation is based on an oral presentation and a written thesis. It is the responsibility of the student to make a research proposal and secure a supervisor prior to enrolling in the course. COGS 100 - Introduction to Cognitive Science FallWinterSpringA multidisciplinary approach to the study of the mind combining approached from philosophy, psychology, linguistics, neuroscience, anthropology, and artificial intelligence. Logic, rules, concepts, and other mental representations used to generate thought and behaviour. Implementation of computational and cognitive models of mental processes.
