Syllabus • ITEC 122 Discrete Mathematics • Fall 2015
intro |
section |
text |
topics |
goals |
exams |
homework |
assessment |
responsibilities |
attendance |
courtesy |
honor code |
disabilities |
changes |
emergency |
expectations |
schedule
Instructor: Don Braffitt
Office: 015
Davis
E-mail:
dbraffitt@radford.edu
Phone: 540.831.5072
Office hours: Mon/Wed/Fri 9-10am (015 Davis and online), Thu 3-4pm (online only), Fri 4-5pm (online only), and by appointment
Instructor home page:
http://www.radford.edu/dbraffitt/
Syllabus:
http://www.radford.edu/~dbraffitt/itec122/2015/fall/
Desire2Learn (D2L):
https://learn.radford.edu/d2l/home/77725
Radford University, Department of Information Technology
ITEC 122. Discrete Mathematics for Computer Science.
Credit Hours: (3)
An introduction to discrete mathematical concepts including set theory, finite state machines, and induction.
ITEC 122 official
course description.
Prerequisites:
ITEC 120 (Principles of Computer Science I - Grade of "C" or better) and
MATH 125 (Finite Mathematics for Business and Economics),
MATH 126 (Business Calculus),
MATH 138 (Precalculus),
MATH 140 (Trigonometry and Analytic Geometry),
or MATH 151 (Calculus and Analytic Geometry I).
Majors: ITEC 122 serves as a program requirement for the
Computer Science and Technology (CSAT) major.
Minors: ITEC 122 qualifies for 3 credits of the
required coursework for any of the Department of Information Technology
minors.
Certificates: ITEC 122 serves as a required course for the
Certificate in Information Security.
Teaching licensure: ITEC 122 serves as an elective course for the
Computer Science Teaching Certification Add-On Endorsement.
Postrequisites: ITEC 122 is a prerequisite for the following courses:
ITEC 352 (Computer Organization),
ITEC 360 (Data Structures and Analysis of Algorithms),
ITEC 420 (Computability Theory and Formal Languages),
ITEC 445 (Computer System and Database Security),
ITEC 451 (Network Design and Analysis),
ITEC 455 (Applied Cryptography and Network Security),
ITEC 480 (Artificial Intelligence),
MATH 300 (Mathematical Foundations), and
MATH 321 (History of Mathematics).
Transfer equivalents: ITEC 122 credit can be also be
obtained through appropriate
transfer credit including the following Virginia Community College
System course: MTH 287 (Mathematical Structures).
Note that the Department of Mathematics and Statistics at Radford offers another Discrete Mathematics course
(MATH 142).
Course Section
top
- ITEC 122-01
- Lecture/Discussion: 151 Davis Mon/Wed/Fri 11-11:50am
- Exams: 221 Walker Fri 02-Oct 11-11:50am (Exam 5), Fri 06-Nov 11-11:50am (Exam 10), Wed 16-Dec 10:15am-12:15pm (Final Exam)
- Class profile
Text, Online Materials, ITEC Tutors, labs, LARC, other links
top
Topics
top
- Set and function: Venn diagrams, complements, Cartesian products, power sets, surjections, injections, inverses, composition, cardinality and countability, representation of signed and unsigned integers, modulo arithmetic
- Complexity of algorithms: sequential and binary search algorithms, big O, omega, and theta notation, asymptotic analysis of upper complexity bounds, time and space complexity
- Mathematical proofs and induction: validity, direct proofs, proof by contradiction, mathematical induction, strong induction, well orderings, recursive mathematical definitions, simple recursive functions
- Counting principles: pigeonhole principle, sum and product rule, inclusion-exclusion principle, permutations and combinations, Pascal’s identity, the binomial theorem, arithmetic and geometric progressions
- Relations and recurrence relations: reflexivity, symmetry, transitivity, equivalence relations, solving recurrence relations, the Master theorem
- Graph and tree: binary search trees, undirected graphs, directed graphs, representations of graphs (adjacency matrix), depth- and breadth-first traversals, shortest-path algorithms (Dijkstra’s algorithm), spanning trees, minimum spanning tree (Prim’s and Kruskal’s algorithms), matching
- Logic and switching circuits: implication, converse, inverse, contrapositive, propositional logic, predicate logic, limitations of predicate logic, Boolean algebra, logic gates
- Modeling computations: Chomsky hierarchy, finite state machine, finite state automata, context sensitive- and free grammar
These course topics cover material similar to ACM's suggested Discrete Structures topics in
Computer Science Curricula 2013.
Goals and Objectives
top
Students successfully completing ITEC 122 will be able to do the following:
- Demonstrate an ability to design a mathematical argument
- Demonstrate an ability to write mathematical proofs
- Apply mathematical induction and design a recursive algorithm
- Apply combinatorial analysis to solve counting problems
- Analyze complexity of algorithms
- Apply discrete structures to solve problems
- Choose grammars and finite state machines to model computations
Exams will be completed via D2L in 221 Walker. Students are expected to submit their
own work for all exams. There will be two 50 minute in-class exams
during the semester in addition to a 120 minute in-class final exam
during final exam week. Exams will be worth 45% of the final grade.
Exams are closed book, closed notes, and closed electronics except for a
single D2L window with the exam questions and answer boxes.
All exams are cummulative based on the material covered up through that point in the semester.
Homework
top
Homework corresponds to most class meetings and must be submitted by 8pm
of the day following class. To receive a full homework grade, you must attend
class and complete your class participation card. Homework will be worth
55% of the final grade. Students are expected to submit their own work
for all homework by the due date. If you get any help in solving a
homework problem, include the source of that help (ITEC tutor name, LARC
tutor name, instructor name, web resource or tool such as Wolfram Alpha, etc.)
at the top of your
homework submission. If you used no outside resources other than the
text and the supplementary text materials, include a statement at the
top of your homework submission that you received no help in completing your
homework. No homework submission is complete without a statement about outside
help to complete the homework (even if there was no outside help).
Assessment
top
The assessment will be weighted as follows:
- 45% Exams (15% each for Exam 5, Exam 10, and Final Exam)
- 55% Homework (includes class attendance and participation)
All three exams will include some material drawn from the topics
discussed in class, some of which will be beyond the specific textbook
content.
The assessment will be according to the following scale:
A = 90% to 100%
A- = 87% to 89%
B+ = 84% to 86%
B = 80% to 83%
B- = 77% to 79%
C+ = 74% to 76%
C = 70% to 73%
C- = 67% to 69%
D+ = 64% to 66%
D = 60% to 63%
D- = 57% to 59%
F = 56% and below
During the semester, grades will be provided to students via D2L. Any questions
about a particular grade must be resolved via email within 48 hours after that grade
is posted in D2L.
Student Responsibilities
top
Students are responsible for the information that is included in the
assigned readings, lectures, discussions, homework, and any additional
information discussed in class or posted in D2L. Students are encouraged
to take advantage of the instructor's office hours, the ITEC tutor
hours, and the online supplementary materials provided by the textbook
publisher and the textbook author. The best preparation for exams is to
complete readings and homework and to participate in class by asking
questions and participating in discussions.
Excused absences are granted in cases such as emergency, illness,
religious holiday, Radford-sponsored travel, or other Radford-related activities
(i.e. internship and job interviews) that may cause a student to miss a
class provided the student notifies the instructor via email prior to
the class absence. Students should notify the instructor 48 hours prior
to missing an exam to make alternate arrangements for a makeup exam. All
required class work must be submitted via D2L by the due date whether or
not a student has an excused absence for a particular class.
No late work will be accepted.
Attendance and Participation
top
Class attendance is required for students to receive a full grade for the homework
corresponding to that class. Absences (excused or otherwise) do not relieve
students from the responsibility for subject matter missed or exams or homework
to be completed. If the university cancels class for any reason such as inclement weather, the
assigned work for the week is still due as specified in the syllabus and
D2L.
The course is taught by lectures and discussions which present concepts
and examples of applications. Regular homework exercises are assigned
and discussed in class. Exercises range from routine drills on basic
definitions and concepts to problems which require considerable
ingenuity to solve. Homework assignments include some questions
typically found on exams.
Class Courtesy Policy
top
Please set cell phones, pagers, and notebook computers to silent during
class. Students are encouraged to bring computers to all ITEC 122 classes.
Computers should primarily be used for work relevant to ITEC 122
during ITEC 122 classes. Please refrain from any activities while in
class that would be disruptive to the class.
Honor Code
top
In accepting admission to Radford University, each student makes a
commitment to support and uphold the Honor Code without compromise or
exception. Violations of this academic integrity will not be tolerated.
Refer to your Student Handbook for details. This class will be conducted
in strict observance of the Honor Code. All work you submit for a grade
must be your own work including:
- Exams
- Homework assignments (includes class attendance and participation)
You may ask for help on homework from a tutor, or you may use web resources and tools
such as Wolfram Alpha, but you must document in
your homework submission any help you receive or tools you used to complete homework problems.
You are responsible for understanding your work. You cannot learn how to
solve discrete math problems unless you complete the homework
assignments. You need to be able to understand and explain the work you
submit for a grade.
Ask the instructor if you have any questions about what resources you may use
to complete homework assignments.
Students With Disabilities
top
If you are seeking academic accommodations under the Americans with
Disabilities Act at Radford University, you are required to register
with the Disability Resource Office (DRO). To receive academic
accommodations for this class, please submit your documentation to the
DRO in the lower level of Tyler Hall suites 54-69, by fax to
540.831.6525, or by email to
dro@radford.edu. After submitting documentation to the DRO office,
you will set up an interview with a Disability Services Specialist to
discuss accommodations. You will be notified via email once your
accommodation package is complete and ready to be picked up. Once you
have picked up your accommodation package, you will need to meet with
each course instructor during their office hours to review and discuss
your package. For more information and/or for documentation guidelines,
visit
http://www.radford.edu/content/dro/home.html or
call 540.831.6350.
Changes to Course Syllabus or Class Schedule
top
All changes to either the course syllabus or the class schedule will be
posted in D2L and usually announced in class. Students are responsible
for any announced changes even if absent or tardy when the announcements
are made. Sometimes changes will be posted in D2L prior to a class
announcement (e.g., schedule adjustments if the university closes due to
inclement weather or an emergency).
In Case of Emergency
top
In the event of a university-wide emergency, course requirements,
classes, deadlines, and grading policies and procedures are subject to
change. Potential changes that could occur include alternative delivery
methods, alternative methods of interaction with the instructor,
accessing class materials and/or classmates, a revised attendance
policy, and a revised semester calendar and/or grading schedule. In the
event of a university-wide emergency, please refer to the course
materials in D2L.
Course Expectations
top
- Start your homework early. Give yourself time
to learn new concepts and deal with problems.
- Don't get behind. The material is cumulative. Stay ahead.
- Solve problems by applying the concepts and principles
presented in class. The goal of this class is not to teach you
how to solve specific problems. This class will help you build a
foundation that will enable you to solve many types of problems related
to the concepts and principles covered in class.
- Practice. The homework assignments are mostly
intended to help you practice problem solving by developing solutions to
many types of discrete mathematics problems.
- You are expected to commit approximately 9 hours per week
during the semester to ITEC 122. Per
university policy,
a 3 credit hour course such as ITEC 122 with 3 hours lecture has approximately 3
hours per week of in class work (specifically for ITEC 122, 150 minutes
spread across 3 50 minute classes weekly for 14 weeks with a 120 minute in-class final exam
during final exam week) and approximately 6 hours per week of out of class work.
Schedule
top
Class starts Mon 31-Aug in 151 Davis.
Fri 23-Oct (end of 8th week of classes) is the last date to withdraw from an individual class with a grade of W.
|
Topics |
Text |
Sections |
Homework (due 8pm day after class) |
Exams (221 Walker) |
Week 1 31-Aug |
Logical Thinking |
Chapter 1 |
1.1, 1.2 |
HW 1-x |
|
Week 2 07-Sep |
|
|
1.3, 1.4, 1.5 |
HW 2-x |
|
Week 3 14-Sep |
Relational Thinking |
Chapter 2 |
2.1, 2.2 |
HW 3-x |
|
Week 4 21-Sep |
|
|
2.3, 2.4 |
HW 4-x |
|
Week 5 28-Sep |
|
|
2.6 |
HW 5-x |
Exam 5 (Fri 02-Oct) |
Week 6 05-Oct |
Recursive Thinking |
Chapter 3 |
3.1, 3.2 |
HW 6-x |
|
Week 7 12-Oct |
|
|
3.3, 3.4 |
HW 7-x |
|
Week 8 19-Oct |
Quantitive Thinking |
Chapter 4 |
4.1, 4.2 |
HW 8-x |
|
Week 9 26-Oct |
|
|
4.3, 4.4 |
HW 9-x |
|
Week 10 02-Nov |
|
|
4.5, 4.6 |
HW 10-x |
Exam 10 (Fri 06-Nov) |
Week 11 09-Nov |
Analytical Thinking |
Chapter 5 |
5.1, 5.2 |
HW 11-x |
|
Week 12 16-Nov |
|
|
5.3, 5.4 |
HW 12-x |
|
Fall Break 23-Nov |
Fall Break week |
|
|
|
|
Week 13 30-Nov |
Thinking Through Applications |
Chapter 6 |
6.1, 6.3 |
HW 13-x |
|
Week 14 07-Dec |
|
|
6.4 |
HW 14-x |
|
Final Exam 16-Dec (Wed) |
Final Exam week |
|
|
|
Final Exam (Wed 16-Dec) |