Syllabus - ODU Computer Science

Download Report

Transcript Syllabus - ODU Computer Science

CS 381 Introduction to
Discrete Structures
Lecture #1
Syllabus
Week 1
1
Instructor


Professor Olariu
Department of Computer Science, ODU
Office: E&CS room 3202
2
Textbook:
• Kenneth H. Rosen,
Discrete Mathematics and Its Applications, Sixth Ed.
McGraw-Hill, New York, NY, 2007
3
Work hard:
• Foremost, students are urged to work hard!
• This class covers a lot of material in a short amount of time – do
not let yourself get behind.
• Work hard and keep up the pace! In designing this class, efforts
have been made to assist students in their learning by frequently
allowing them to exercise what they learn and quickly receive
feedback.
•
The class is designed so that if you work hard and keep up on
things you can succeed.
• As a corollary to working hard, please feel free to ask the instructor
questions, but please ponder, read and reflect on your own before
doing so.
4
Ask Questions and do exercises:
• It is students' responsibility to make sure (ask
questions and do exercises) if they do not
understand all the lectures and materials.
• We will try as much as we can to help you
understand. It is not acceptable that students
state that they do not understand the lecture or
material at the end of semester.
5
Policies
• Students are responsible for all material
covered and announcements, policies, and
deadlines discussed in lecture, discussion
section as well as those posted on the website.
6
Academic Integrity
• By attending Old Dominion University you have accepted the
responsibility to abide by the honor code. If you are uncertain about
how the honor code applies to any course activity, you should
request clarification from the instructor. The honor code is as
follows:
“I pledge to support the honor system of Old Dominion
University. I will refrain from any form of academic dishonesty
or deception, such as cheating or plagiarism. I am aware that
as a member if the academic community, it is my responsibility
to turn in all suspected violators of the honor system. I will
report to Honor Council hearings if summoned."
Any evidence of cheating will result in a 0 grade for the
assignment/exam, and the incident will be submitted to the
department for further review. Evidence of cheating may include a
student being unable to satisfactorily answer questions asked by the
instructor about a submitted solution. Cheating includes not only
receiving unauthorized assistance, but also giving unauthorized
7
assistance.
Academic Integrity(2)
•
Submitting anything that is not your own work without proper attribution
(giving credit to the original author) is plagiarism and is considered to be an
honor code violation. It is not acceptable to copy written work from any other
source (including other students), unless explicitly allowed in the
assignment statement. In cases where using resources such as the Internet
is allowed, proper attribution must be given.
Students may still provide legitimate assistance to one another. You are
encouraged to form study groups to discuss course topics. Students should
avoid discussions of solutions to ongoing assignments and should not,
under any circumstances, show or share code solutions for an ongoing
assignment.
Please see the ODU Honor Council’s webpage at http://orgs.odu.edu/hc/ for
other concrete examples of what constitutes cheating, plagiarism, and
unauthorized collaboration. All students are responsible for knowing the
rules. If you are unclear about whether a certain activity is allowed or not,
please contact the instructor.
8
Grading
• Homework 40%
Test 30%
Final Exam 30%
9
Grading Scale
• There will be no ‘-‘ grades given. The grading scale is as
follows:
The percentages listed are only approximate and are
subject to change (by no more than 10%).
90-100 A
87-89 B+
80-86 B
77-79 C+
70-76 C
67-69 D+
60-66 D
0-59 F
10
Course Objectives
• The main objectives of this course are
1. to learn basic mathematical concepts such as
sets, relations, functions, and graphs,
relationships between them, and their
properties,
2. to learn to reason correctly,
3. to learn techniques for solving problems,
4. to cultivate the ability to extrapolate, and
5. to become proficient in using mathematical
notations (both in reading and writing).
11
Course Contents
• First we learn a general methodology for solving
problems. This methodology is going to be followed in
solving problems, and in proving theorems throughout
this course.
• The next subject is logic. It is covered in Chapter 1 of
the textbook. It is a language that captures the essence
of our reasoning, and correct reasoning must follow the
rules of this language. We start with logic of sentences
called propositional logic, and study elements of logic,
(logical) relationships between propositions, and
reasoning. Then we learn a little more powerful logic
called predicate logic. It allows us to reason with
statements involving variables among others.
12
Course Contents(2)
• In Chapter 2, we also study sets, relations
between sets, and operations on sets. Just
about everything is described based on sets,
when rigor is required. It is the basis of every
theory in computer science and mathematics.
• In Chapter 4, we learn recursive definitions
and mathematical reasoning, in particular
induction. There are sets, operations and
functions that can be defined precisely by
recursive definitions. Properties of those
recursively defined objects can be established
rigorously using proof by induction.
13
Course Contents(3)
• Then in Chapters 8 we study relations. They are one of the key
concepts in the discussion of many subjects on computer and
computation. For example, a database is viewed as a set of
relations and database query languages are constructed based on
operations on relations and sets. Graphs are also covered briefly
here. They are an example of discrete structures and they are one
of the most useful models for computer scientists and engineers in
solving problems. More in-depth coverage of graph can be found in
Chapter 9.
• Finally, back in Chapter 2 again, we briefly study functions. They are
a special type of relation and basically the same kind of concept as
the ones we see in calculus. However, it is one of the most
important concepts in the discussion of many subjects on computer
and computation such as data structures, database, formal
languages and automata, and analysis of algorithms which is briefly
covered in Chapter 3.
14
Right to change information
• Right to change information
Although every effort has been made to be complete and
accurate, unforeseen circumstances arising during the
semester could require the adjustment of any material
given here.
•
Consequently, given due notice to students, the
instructor reserves the right to change any information
on this syllabus or in other course materials.
15
Questions &
Comments?
16
17