Course Orientation and Intro
CS390, Fall 2021
Welcome to CS 390
-
Course website: Blackboard and https://www.cs.odu.edu/~zeil/cs390/f21_he/
-
Instructor: Dr. Yi He
-
Teaching Assistant: John Atwood
1 Course Themes
There are two main themes to this course:
-
Automata – models of how computing can be done
-
Formal languages – models of problems we might want to solve
Together these define the theoretical core that defines much of the “science” in Computer Science.
Direct impact on:
-
Common software development problems
- What can and cannot be computed.
-
Compiler design
-
Programming language design
This is a Mathematical Course
The goal of the course is to instill an understanding of how mathematical theory underlies computer science and affects the things that software developers do on a regular basis.
-
There will be lots of mathematical notation.
-
Some of which you will be writing yourself.
-
-
There will be lots of proofs.
-
Some of which you will be writing yourself.
-
-
The “trick” is to keep the meaning of the mathematics in mind at all time.
2 Course Website
Quick Tour of the Course Website
-
Start at the BlackBoard site
- Hosts announcements, calendars, tests, forums
-
Most of the content is on a CS Dept server
- Lecture notes, sample problems, links to resources
- This material remains accessible after the end of the semester
The Outline Page
The Outline page is the “heart” of the course
-
Lecture notes & sample problems
-
Assigned reading from the text book
-
Self-assessments (ungraded activities)
-
Quizzes & Exams
A Typical Module
A typical module of this course will combine some of all of the following:
- Reading from the textbook
- The main conceptual content of the course
- Brief commentary from me on the textbook material
- Sample problems
- I will work a series of sample problems, showing my solution and discussing how I arrived at it.
- You are encouraged to try and work these yourself before moving on to my solution.
- Self-Assessments (on Blackboard)
- Ungraded problems for you to work, with solutions.
Solutions will be provided with less explanation than in the Sample Problems.
- Ungraded problems for you to work, with solutions.
-
Quiz (on Blackboard)
- Due at the end of the time period allotted for that module
3 Course Policies
- Details in course syllabus
- All students are responsible for reading the syllabus and adhering to the policies described there!
3.1 Communications
-
Students may meet with Dr. He or the TA via internet-conferencing.
-
Dr. He’s office hours: to be written, include Zoom URL
Students may also request a different time by email.
-
TA’s office hours: to be written, include Zoom URL
-
Students are also welcome to use Dr. Zeil’s office hours, available on his home page (http://www.cs.odu.edu/~zeil) by clicking on “Office Hours and Appointments”.
-
email (on course content, assignments, & grading) to yihe@cs.odu.edu or jatw002@odu.edu
- Make sure that “CS390” appears somewhere in the subject line
- But that should not be the only thing in the subject line
- Make sure that “CS390” appears somewhere in the subject line
-
email (on website & technical issues) to
zeil@cs.odu.edu
- Make sure that “CS390” appears somewhere in the subject line
- But that should not be the only thing in the subject line
- Make sure that “CS390” appears somewhere in the subject line
-
Course Forums (Blackboard)
- For open discussions unrelated to graded activities
-
Please review the Communications policy for details on proper email and Forum procedures.
3.2 Grading
Quizzes: | 50% |
Midterm Exam: | 20% |
Final Exam: | 30% |
-
Exams will be given on Blackboard.
-
Lowest quiz score (or midterm exam score) will be dropped.
3.2.1 Due Dates
- Assignments/quizzes are due at the end of each module.
-
Late submissions will generally not be accepted.
-
4 Keys to Success
Pace Yourself
-
Modules are typically scheduled to run 1-2 weeks each.
-
Plan on
- reading and studying for the first third of the allocated time
- working the sample problems and self-assessments for the middle third
- working on quizzes for the remainder.
4.1 Where to Go from Here?
-
Go to the Policies page.
- Read the Syllabus.
- Read the Communications policy.
-
Then head off to the Outline Page