* CSC 480.1 - Database Systems          Course Announcements

Important Course Information        Introductory Remarks to Note    High Level Course Summary

Assignment 1 (Due 16 June 2008)                Online Test (Due 16 June 2008)           Sample Test Questions  & Solutions

Lecture 1     -       Basic Concepts

Lecture 2     -       Data Integration, Data Independence

Lecture 3     -       Functions and Architecture of a DBMS, Data Models

Lecture 4     -       Storage structures and Access strategies

Lecture 5     -       Relations and Relational operations

Lecture 6     -       Relational Algebra and Calculus

Lecture 7     -       Normalization               New Notes on Normalisation.... (Please click here to read)

Lecture 8     -       Security and Integrity Issues

Lecture 9     -       Relational Systems - Ingres, DBASE

Lecture 10   -       Entity Relationship models, diagrams, Semantic models, semantic nets

* CSC 503.1 - Data Structures            Course Announcements

Lecture 1 - Introduction to Data Structures

Lecture 2 - Simple and Complex Data types

Lecture 3 - Arrays; String Linear Lists; Multi linked structures

Lecture 4 - Dequeues, Stacks, Graphs, trees

Lecture 5 - Application of Data Structures

* CSC 507.2 - Algorithms                    Course Announcements

Assignment 1            Assignment 2        Sample Test Questions  & Solutions

Lecture 1 - Definitions and Overview of algorithms

Lecture 2 - Design and Specifications and efficiency of algorithms

Lecture 3 - Asymptotic time complexities, asymptotic notations, Linear logarithmic and Polynomial time algorithms (in progress)

Lecture 4 - Searching - Linear search, Fibonacci, etc.

Lecture 5 - Sorting - bubble, insertion, selection, quick, heap, etc.

Lecture 6 - Experimental algorithm; performance optimisation

* CSC 601 - Operating System Principles        Course Announcements

Lecture 1 - Overview of Computer Organisation and Operating Systems

Lecture 2 - Handling, Processing Models and Synchronisation

Lecture 3 - Multi programming and multi processing

Lecture 4 - Segmentation and Paging

Lecture 5 - Protection

Lecture 6 - Deadlocks, Schedule algorithms, File Systems

* CSC 602.1 - Compiler Principles and Construction        Course Announcements

Lecture 1 - Overview of Compiler principles

Lecture 2 - Definitions of formal grammatical arithmetic expressions and precedence grammars

Lecture 3 - Context-free and finite-state grammars, compiler structure

Lecture 4 - Lexical analysis and finite state machines

Lecture 5 - Syntactic analysis and parsing techniques; Syntax directed translation, algorithm for syntactic

Lecture 6 - Recognisers, back-tracking, Operator precedence techniques

Lecture 7 - Semantics of grammatical constructs, reductive grammars, Floyd productions

Lecture 8 - Simple syntactical compilation, static and runtime data representation and storage management

Lecture 9 - Error detection and recovery, code generation and optimisation

* CSC 613.2 - Software Methodology            Course Announcements

Assignment 1            Assignment 2        Sample Test Questions  & Solutions

Lecture 1 - Overview of Software Methodology

Lecture 2 - Software Development Process, structured design, defect removal, correctness checking; Software Lifecycle models

Lecture 3 - Performance and Verification Models, software network modelling, correctness checking, functional transformations, theory of verifications, theories of program invariance

Lecture 4 - Fundamental programs for searching, applications of performance and correctness checking methods, hashing, sorting, file structures

Lecture 5 - Software maintenance, reliability and management

* CSC 615.2 - Mathematical Modelling and Simulation        Course Announcements

Assignment 1            Assignment 2        Sample Test Questions  & Solutions

Lecture 1 - Overview of Mathematical modelling

Lecture 2 - Modelling features and methodology

Lecture 3 - Models of physical systems (from Engineering and physical sciences, business and management

Lecture 4 - Simulation languages for discrete systems (GPSS, SIMSCRIPT), Simulation languages for continuous systems

Lecture 5 - Statistical considerations of experiments

Lecture 6 - Random Number generation, Analysis of Model results 

* CSC 619.2 - Advanced Software Engineering Methods        Course Announcements

Assignment 1            Assignment 2        Sample Test Questions  & Solutions

Lecture 1 - Overview of Software Engineering modelling; Applications to concurrent programs; distributed software and fault tolerance

Lecture 2 - Analysis and verification techniques; Verification and concurrent locks

Lecture 3 - Theory of a process; Distributed System Kernels; Interleave Principle, Duality principle

Lecture 4 - Application of Verification techniques to system deadlocks and software fault tolerance

Lecture 5 - Detailed analysis of distribution locks, readers-and-writers problems; Message Passing system