Subject:
Computer Science
Credit units:
3
Offered:
Either Term 1 or Term 2
Weekly hours: 3 Lecture hours and 1.5 Tutorial hours
College:
Arts and Science
Department: Computer Science
Description
Apply mathematical logic to applications in computer science, leading to program interpretation and understanding; including pre-/post-conditions, invariants, Hoare logic, relational algebra, and verification. Develop skills and knowledge for designing, debugging, documenting, verifying and testing code, and understand programs including open-source code. Topics are introduced using standard examples including stacks and queues; extended examples are drawn from string-matching algorithms and finite state automata. An introduction to reasoning about concurrency, pitfalls, and language/library-level solutions.
Prerequisite(s): MATH 163.3 or CMPT 260.3; and CMPT 145.3.
Note: Students with credit for CMPT 260 can take CMPT 263 for credit, but students cannot take CMPT 260 for credit after completing CMPT 263.
Upcoming class offerings
For full details about upcoming courses, refer to the class search tool or, if you are a current student, the registration channel in PAWS.
Syllabi
The syllabus is a public document that provides detail about a class, such as the schedule of activities, learning outcomes, and weighting of assignments and examinations.
Once an instructor has made their syllabus publicly available on USask’s Learning Management System, it will appear below. Please note that the examples provided below do not represent a complete set of current or previous syllabus material. Rather, they are presented solely for the purpose of indicating what may be required for a given class. Unless otherwise specifically stated on the content, the copyright for all materials in each course belongs to the instructor whose name is associated with that course. The syllabus is the intellectual property of instructors or the university.
For more information, visit the Academic Courses Policy , the Syllabus page for instructors , or for students your Academic Advising office.
Loading...