CS103
HO#3
Introduction
March 29, 2010
1
CS103
Mathematical Foundations of Computing
Robert Plummer
3/29/10
Today
• What we will study and why
• How the course will be run
• Propositional logic
Logic
Induction
Sets, Relations, and Functions
Automata and Formal Languages
Computability Theory
Complexity Theory
CS103
Mathematical Foundations of Computing
0
1
2
3
4
5
6
7
8
Logic
Induction
Sets, Relations, Functions
Automata and Languages
Computability Theory
Complexity Theory
Number of Lectures
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Foundation
Theory
Number of Lectures
Why Is CS103 Important?
Proof skills
Way of Thinking
Foundations of CS
Applications
Programming Languages
Compilers
Circuit Design
AI
Cryptography
Intellectually and
Philosophically Interesting
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
CS103
HO#3
Introduction
March 29, 2010
2
Course Details
Instructor:
Bob Plummer
Gates 178
Office hours M, W 3:30 – 5:00
or by appointment
TAs:
Mridul Aanjaneya
Steven Elia
Tyler Mullen
Karl Uhlig
"Working Office Hours" to be announced
Online Course Support
This quarter we will be using CourseWork to report grades,
and our class website as a repository for handouts,
announcements, etc.
The website is
http://cs103.stanford.edu
We also have an email hotline that is closely monitored
by course staff:
[email protected]
Textbooks
1. Custom book for Logic portion of the class
Introduction to Theory of Computation, CS103.
Instructor: Robert Plummer.
Available at the Bookstore only
2. Text for the second part of the course
Sipser,
Introduction to the Theory of Computation, 2
nd
Ed.
Some course notes will also be distributed
Midterm
Tuesday, May 4, 7 – 9 pm
Final
Friday, June 4, 12:15 – 3:15 pm
Locations to be announced
Alternate exams are given on an individual basis and
and only for emergencies or official university business
Exams
9 written problem sets, counted equally
Due in class
3 free late days (max. 1 on any assignment)
Not accepted more than one
class period
late
Late without a late day: 10%
This is the end of the preview.
Sign up
to
access the rest of the document.
 Fall '09
 Logic, Logical connective, compound expression, Robert Plummer, Bob Plummer Gates

Click to edit the document details