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

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 A. Magooda
CS/18 REC 12WK
18389 T 4:30 pm - 5:20 pm SENSQ 5313 A. Magooda
CS/18 REC 12WK

Future Sections

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

Fall 2017

Class Number Days Hours Room Instructor TA/Grader Dept/Limit Type Session Writing
11154(A) TH 9:30 am - 10:45 am FFA 204 T. Kosiyatrakul
CS/75 LEC TERM
11153(A1) F 11:00 am - 11:50 am SENSQ 5313 CS/25 REC TERM
27129(A2) F 1:00 pm - 1:50 pm SENSQ 5313 CS/25 REC TERM
99999(A3) F 3:00 pm - 3:50 pm SENSQ 5313 CS/25 REC TERM
27410(B) TH 1:00 pm - 2:15 pm LAWRN 203 T. Kosiyatrakul
CS/50 LEC TERM
27411(B1) W 2:00 pm - 2:50 pm SENSQ 5313 CS/25 REC TERM
27412(B2) H 9:00 am - 9:50 am SENSQ 5313 CS/25 REC TERM

Past Sections

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

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

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