CSci 1302 Problem Solving and Algorithm Development II.

[Home] [Syllabus] [Assignments] [Resources]

Basic proof techniques, propositional and predicate logic, induction and invariants, program correctness proofs, simple Big-Oh analysis of algorithms, set theory, introductory graph theory, matrices, and recurrence relations.
4 credits.

On this page you will find information about:

Class meetings

When: M,W,F 10:30am-11:35am
Where: Sci 2185.

Instructor

Elena Machkasova
Office: Sci 2325, Phone: 6308
Office hours: TBA
e-mail: elenam@morris.umn.edu

Textbook and other resources

Nimal Nissanke "Introductory Logic and Sets for Computer Scientists" (available at the University bookstore).

In addition to the book I may occasionally assign extra reading material. These materials will be available at the resources page of the course web site, I will also distribute copies in class.

In addition, you must check your UMM e-mail frequently (at least once a day). I may send clarifications for problem sets by e-mail.

Grading

The grade for this course will be based (approximately) on the following:
Problem sets 30%
In-class quizzes 20%
Midterm exam 20%
Final exam 30%

Grading policies

Basic Grading Scheme: (100-90)% A; (90-80)% B; (80-70)% C; (70-60)% D; below 60% F. Small adjustments may be made for particularly good final exams, class average and other signs of individual effort.

Official Grading Policies:
Grades:
A achievement that is outstanding relative to the level necessary to meet course requirements.
B achievement that is significantly above the level necessary to meet course requirements.
C achievement that meets the course requirements in every respect.
D achievement that is worthy of credit even though it fails to meet fully the course requirements.
S achievement that is satisfactory, which is equivalent to a C- or better (achievement required for an S is at the discretion of the instructor but may be no lower than a C-).
F (or N) Represents failure (or no credit) and signifies that the work was either (1) completed but at a level of achievement that is not worthy of credit or (2) was not completed and there was no agreement between the instructor and the student that the student would be awarded an I (see also I)
I Incomplete. Assigned at the discretion of the instructor when, due to extraordinary circumstances, e.g., hospitalization, a student is prevented from completing the work of the course on time. Requires a written agreement between instructor and student.

Other class policies

No make-up tests will be given unless prior arrangements have been made.

For policy on late problem sets please see the syllabus.

Academic dishonesty:
Academic dishonesty in any portion of the academic work for a course shall be grounds for awarding a grade of F or N for the entire course.

Problem set collaboration policy:
Problem sets can be done in groups. For quidelines on work in groups please see the syllabus. Discussion with students other than those in your group (or anyone not in this class) should be limited to general approaches to the problem. All such discussions as well as use of sources other than the textbook and the handouts given in class must be acknowledged in the beginning of the problem solution.

Credits:
One credit is defined as equivalent to an average of three hours of learning effort per week (over a full semester) necessary for an average student to achieve an average grade in the course. For example, a student taking a four credit course that meets for three hours a week should expect to spend an additional nine hours a week on coursework outside the classroom.

It is University policy to provide reasonable accommodations to students with disabilities. This publication/material is available in alternative formats to persons with disabilities upon request. Please contact the instructor or the Disability Services office, 589-6178, Room 362 Briggs Library to discuss accommodation needs.

The views and opinions expressed in this page are strictly those of the page author. The contents of this page have not been reviewed or approved by the University of Minnesota.