Home Lectures Homeworks Links Announcements
Theoretical basis of the development of computer science. The course details particular formalisms used in the design of hardware and software systems. Intrinsic limitations of computation are described. Advanced topics of automata theory and analysis of algorithms are included. The course also covers Turing machines, the halting problem, models of computation, intractable computations, polynomial reductions, P vs. NP, parallel algorithms, various formal descriptions and specifications of programs and computations, and proofs of program correctness and interactive proof systems.
The tentative examination schedule is as follows:
*: See Final exam schedule at http://www.umassd.edu/calendar/finals/welcome.cfm
Your numerical scores will be based upon the following contributions:
The letter grades will be assigned using the following approximate scale: (A+,A,A-)[100-90], (B+,B,B-)[90-80], (C+,C,C-)[80-70], (D+,D,D-)[70-60], and F[60-0]. Academic dishonesty will be "rewarded" with a grade of "F". "Sharing" of solutions to homework problems is strictly prohibited.
For further information about the University's policy on Academic Dishonesty and about issues of Academic Integrity, please refer to the following link (or download the pdf file from here):
http://www.umassd.edu/catalog/undergraduate/2004-2006/regsandreligious.pdf
Due to the nature of the course, attendance is mandatory.
You are responsible for all announcements and for all material presented in
the lecture sessions. Come prepared for class. Read the assigned
material in advance of lectures that cover the material. After the lecture,
re-read the material.
There are several homework assignments. Homework sets contain questions that
require written answers. In addition, there may be some quizzes given in class.
Each assignment will have a deadline (date and hour). Late assignments will
not be considered unless explictly specified in class.
There will be no make-up quizzes, midterm and final exam. If you have a conflict
with the midterms or final exam, contact the instructor in advance, so that
your situation can be evaluated and a solution can be found. Of course, only
serious conflicts will be considered.
Any requests for regrading your assignments or exams must be submitted in writing, along with the assignment or exam within one week from the day it was returned. Your request must detail what you think was incorrect about the grading and must be submitted during regular office hours or immediately after a class.
You are encouraged to discuss assigned problems with other people, but you must individually design and write your own solutions for all assignments, unless group work is explicitly allowed. If you do work on the assigned problems with anybody, you must list the names of the people you discussed it with on the report you turn in. If you look at any web sites to help you with the assignments, you must list the URLs of each page you looked at.
Using work or ideas without citation is plagiarism. The penalty
for plagiarism will range from an "F" in the course to expulsion from
the university.