CPSC 121_101_2017W

Course Title: 
Models of Computation
Instructor(s): 
Course Info
Course Number: 
CPSC 121
Section: 
101
Term: 
Term 1
Location
Building: 
DMP
Room: 
310
Dates
Year: 
2017 Winter
Days: 
TR
Time (start): 
11:00 AM
Time (end): 
12:30 PM
Date (start): 
Sep 05, 2017
Date (end): 
Dec 01, 2017

Physical and mathematical structures of computation. Boolean algebra and combinations logic circuits; proof techniques; functions and sequential circuits; sets and relations; finite state machines; sequential instruction execution.

Extended Description: 

CPSC 121 explores formal modeling systems that help us to understand and to explore the capabilities of computers and, more generally, of any problem solving process. Our exploration of these systems will be guided by the desire to answer the following four practical questions:

  1. How can we convince ourselves that an algorithm does what it's supposed to do?
  2. How do we determine whether or not one algorithm is better than another one?
  3. How does the computer (e.g. Dr. Racket) decide if the characters of your program represent a name, a number, or something else? How does it figure out if you have mismatched " " or ( )?
  4. As of 2012, processors have two to three billion transistors. How can we build a computer that is able to execute a user-defined program?

a place of mind, The University of British Columbia

 

ICICS/CS Building 201-2366 Main Mall
Vancouver, B.C. V6T 1Z4 Canada
Tel: 604-822-3061 | Fax: 604-822-5485
General: help@cs.ubc.ca
Undergrad program: undergrad-info@cs.ubc.ca
Graduate program: grad-info@cs.ubc.ca

Emergency Procedures | Accessibility | Contact UBC | © Copyright The University of British Columbia