CS 2603 - Spring 2013, Syllabus

Course Title:
Applied Logic for Hardware and Software

Instructor:
Dean Hougen, Devon Energy Hall 242, 405-325-3150, hougen@ou.edu

Teaching Assistant:
Allen Smith, Devon Energy Hall 210, Allen.R.Smith-1@ou.edu

Class Hours:
Monday, Wednesday 1:30-2:45, SEC P203

Proposed Office Hours:
Dean Hougen
Monday 8:30-9:30, Wednesday 9:30-10:30, Friday 10:30-11:30; Devon Energy Hall 242
Allen Smith
Tuesday 3:00-4:00, Thursday 3:00-4:00; Devon Energy Hall 115

Required Text Books:
Discrete Mathematics Using a Computer, Second Edition, O’Donnell, Hall, and Page, 2006, Springer, ISBN 1-84628-241-1.

Students should read ahead the chapters that are expected to be covered in the class period (see the schedule). Students should also read bits of Chapter 1 as needed to reinforce mathematical notations from the lectures. Students should always bring their textbooks with them to class periods, including lectures and exams.

Communication:

The primary means of transmitting class information to the students will be through announcements during class time and through web pages. You are responsible for announcements made through either or both of these means.

Occasionally, urgent information may be sent via email. You must ensure that the email address the University has on file for you is valid and is monitored by you. A test of the email addresses provided by the University will be made during the second week of class. You are responsible for notifying the instructor if you do not receive this test email.

The best way for students to communicate with the teaching staff is to come to scheduled office hours. If you cannot attend office hours in person, phone calls can be accepted but students present in the office will get priority. Email can also be used but a quick or detailed personal response is unlikely as we get a lot of email and responding to email can be very time consuming. Moreover, emails will get a lower priority than either phone calls or in-person visits.

One way for students to communicate with one another is through the discussion forums of the Desire2Learn web site for the class.

Details of all of the communication methods follow.

WWW:
Information about this class will be found on the class website. The URL is
http://www.cs.ou.edu/~hougen/classes/Spring-2013/cs2603/
This page will contain links to the directory of class materials and announcements and other important information.
Email:
Students should use the email addresses listed above. Note that we get a lot of email. Do not expect a reply in minutes; one or two days is more likely in most cases. If you have not heard back within five days, please resend your message, if it is still relevant.

Expectations and Goals:

The prerequisites for this course are CS 1323 - Introduction to Computer Programming and Mathematics 1823 - Calculus and Analytic Geometry I with a C or better. (If you have not taken these courses, you will need instructor permission to take 2603.) Students will study fundamental elements of hardware and software, including sets, sequences, circuits, and functions. Successful students will be able to apply mathematical logic to verify properties of hardware and software.

For topics covered, see the schedule.

Specific Outcomes of Instruction:

By the end of the semester, the students will increase their:

  1. Ability to apply knowledge of computing and mathematics appropriate to the discipline.
  2. Ability to apply mathematical foundations, algorithmic principles, and computer science theory in the modeling and design of computer-based systems in a way that demonstrates comprehension of the tradeoffs involved in design choices.

Computer Accounts and Software:

Many of the required homework problems involve using software such as the Hugs interpreter for Haskell, a formal language for mathematics, and special tools supporting the concepts of the course. Download this software through the course website.

Requirements:

The graded assignments and their contribution to a student's grade are given in the table below. (Subject to change.)

Item
Note
Percent
Class Participation
Homework
Exam 1
Exam 2
Final Exam
100% attendance earns full credit
12 problem sets — do HW or you’ll probably fail exams



10%
10%
20%
20%
40%

All homework and exams in this course are to be done ALONE; the work submitted by a student MUST be the student's own.

You are responsible for the material covered during the lectures sessions, whether or not it is also found in your textbooks or other assigned reading materials. Similarly, you are responsible for the material found in your textbooks and other assigned reading materials, whether or not it is also covered during the lectures sessions. In other words, you are responsible for the UNION of these sources of knowledge, as depicted by the shaded region of the Venn diagram below, not merely their intersection.

UNION of lectures and readings

All work on homework assignmentss must properly cite sources. For example, if you quote a source in your homework, you must include the quotation in quotation marks and clearly indicate the source of the quotation.

Homework assignments will be due at the start of class (1:30pm) on the due date. Late assignments will be penalized 20% per day late. (All parts of days will be rounded up.) After five days, you will not be able to turn in that assignment for credit. If you are worried about turning in the assignment late and loosing points, turn in the assignment ahead of time.

All exams will be open book/open notes. NO electronic devices will be permitted in the testing area.

Copying another's work, or possession of electronic computing or communication devices in the testing area, is cheating and grounds for penalties in accordance with school policies.

Please see the University’s web pages on academic integrity.

Accommodations:
Any student with a disability should contact the instructor so that reasonable accommodations may be made for that student.

Attendance:
Students who do not attend the first week of class may be dropped from the course to make room for additional students to enroll.

Holidays:
It is the policy of the University to excuse the absences of students that result from religious observances and to provide without penalty for the rescheduling of examinations and additional required class work that may fall on religious holidays.

Related Documents:
Students should also read the related documents on Replacement Assignments or Extensions and Discussions of Scores and Grades.