CS 1502 FORMAL METHODS IN COMPUTER SCIENCE

Description

The course is an introduction to the theory of information and computation as a physical phenomenon. The course covers standard formalizations of computational concepts and proofs of noteworthy implications of these formalizations. Typical topics include: finite automata, computability, reducibility, and complexity. [Effective 2164]

  • Credits: 3
  • Frequency: Every term

Prerequisites

Requirements and Grading

Current Sections

Spring 2017

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
10960(A) TH 1:00 pm - 2:15 pm LAWRN 203 T. Kosiyatrakul
CS/50 LEC TERM
10961(A1) W 11:00 am - 11:50 am SENSQ 5313 CS/25 REC TERM
11324(A2) W 12:00 pm - 12:50 pm SENSQ 5313 CS/25 REC TERM
30008(B) TH 4:00 pm - 5:15 pm LAWRN 207 T. Kosiyatrakul
CS/50 LEC TERM
30009(B1) W 2:30 pm - 3:20 pm SENSQ 5313 C. Liu
CS/25 REC TERM
30010(B2) W 3:30 pm - 4:20 pm SENSQ 5313 C. Liu
CS/0 REC TERM

Future Sections

To view the sections for a term, click on it's name below.

Summer 2017

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
10660 TH 12:30 pm - 2:15 pm SENSQ 5129 T. Kosiyatrakul
CS/36 LEC 12WK
18390 H 10:30 am - 11:20 am SENSQ 5313 CS/18 REC 12WK
18389 T 4:30 pm - 5:20 pm SENSQ 5313 CS/18 REC 12WK

Past Sections

To view the sections for a term, click on it's name below.

Fall 2016

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
11189(A) TH 9:30 am - 10:45 am LAWRN 203 T. Kosiyatrakul
CS/50 LEC TERM
11188(A1) F 11:00 am - 11:50 am SENSQ 5313 M. Yu
CS/25 REC TERM
28710(A2) H 3:00 pm - 3:50 pm SENSQ 5505 M. Yu
CS/25 REC TERM
29068(B) TH 1:00 pm - 2:15 pm BENDM 227 T. Kosiyatrakul
CS/50 LEC TERM
29069(B1) H 5:00 pm - 5:50 pm SENSQ 5505 Y. Xue
CS/25 REC TERM
29070(B2) F 2:00 pm - 2:50 pm SENSQ 5313 Y. Xue
CS/25 REC TERM

Summer 2016

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
10666 TH 12:30 pm - 2:15 pm SENSQ 5129 T. Kosiyatrakul
CS/36 LEC 12WK
18692 H 10:30 am - 11:20 am SENSQ 5505 N. Ong
CS/18 REC 12WK
18691 T 4:30 pm - 5:20 pm SENSQ 5502 N. Ong
CS/18 REC 12WK

Spring 2016

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
11000(A) TH 9:30 am - 10:45 am LAWRN 104 T. Kosiyatrakul
CS/75 LEC TERM
11001(A1) W 10:00 am - 10:50 am SENSQ 5313 M. Eshaghzadeh Torbati
CS/25 REC TERM
11377(A2) W 4:30 pm - 5:20 pm SENSQ 5313 M. Eshaghzadeh Torbati
CS/25 REC TERM
26620(A3) T 12:00 pm - 12:50 pm SENSQ 5313 L. Lugini
CS/25 REC TERM
31061(A4) T 1:00 pm - 1:50 pm SENSQ 5313 M. Yu
CS/25 REC TERM