Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
0% found this document useful (0 votes)
19 views

#SyllabusDiscrete_structures

The syllabus for Discrete Structures CSCI 1102 at Kazakh-British Technical University outlines a 15-week course designed to enhance critical thinking, analytical reasoning, and problem-solving skills in relation to computer science. Students will learn various mathematical concepts, including set theory, logic, and graph theory, and will be assessed through attendance, homework, midterms, and a final exam. The course requires good knowledge of school mathematics as a prerequisite and emphasizes active participation and adherence to academic policies.

Uploaded by

nuriaalfa2003
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
19 views

#SyllabusDiscrete_structures

The syllabus for Discrete Structures CSCI 1102 at Kazakh-British Technical University outlines a 15-week course designed to enhance critical thinking, analytical reasoning, and problem-solving skills in relation to computer science. Students will learn various mathematical concepts, including set theory, logic, and graph theory, and will be assessed through attendance, homework, midterms, and a final exam. The course requires good knowledge of school mathematics as a prerequisite and emphasizes active participation and adherence to academic policies.

Uploaded by

nuriaalfa2003
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

KAZAKH-BRITISH TECHNICAL UNIVERSITY

SCHOOL OF APPLIED MATHEMATICS

Approved by
Acting Dean of School
of Applied Mathematics
___________ Artem V. Sinitsa
«______» ______________ 2023

Syllabus
Discrete Structures CSCI 1102
Semester: Fall 2023
2023/2024 Academic Year
3 credits (2/0/1)
Instructor: Aziza Srazhdinova, senior lecturer
Personal Information Time and place of classes Contact information
about the Instructor Lessons Office Hours Tel.: e-mail

MSc, senior lecturer According to the sched- TBA a.srazhdinova@kbtu.kz


ule

COURSE DURATION: 3 credits, 15 weeks, 45 class hours.


COURSE PRE-REQUISITES: Good knowledge of school mathematics is enough.

COURSE DESCRIPTION
Course objectives
Discrete Structures is a transfer-oriented course designed to meet the requirements of Computer and Infor-
mation Science degree programs. Furthermore, this course is designed to meet the following program ob-
jectives. Upon successful completion of this course, students will be able to:
• Demonstrate critical thinking, analytical reasoning, and problem-solving skills
• Apply appropriate mathematical concepts and operations to interpret data and to solve problems
• Identify a problem and analyze it in terms of its significant parts and the information needed to
solve it.
• Formulate and evaluate possible solutions to problems, and select and defend the chosen solutions.

Course outcomes
At the end of the course, students are expected to:
• create compound statements, expressed in mathematical symbols or in English, to determine the
truth or falseness of compound statements and to use the rules of inference to prove a conclusion
statement from hypothesis statements by applying the rules of propositional and predicate calculus
logic;
• prove mathematical statements involving numbers by applying various proof methods, which are
based on the rules of inference from logic;
• prove the validity of sequences and series and the correctness of repeated processes by applying
mathematical induction;
• define and identify the terms, rules, and properties of set theory and use these as tools to support
problem solving and reasoning in applications of logic, functions, number theory, sequences,
counting, trees and graphs, and finite state machines;
• solve recursive problems by applying knowledge of recursive sequences;
• create graphs and trees to represent and help prove or disprove statements, to make decisions or
select from alternative choices, to calculate probabilities, to document derivation steps, or to solve
problems; and
• construct and analyze finite state automata (another name for machines), formal languages, and
regular expressions.
Knowledge: during the study of this course, students must obtain knowledge about how to: explain
with examples the basic terminology of functions, relations, and sets; perform the operations associated
with sets, functions, and relations; convert logical statements from informal language to propositional and
predicate logic expressions; apply formal methods of symbolic propositional and predicate logic, such as
calculating validity of formulae and computing normal forms; Identify the proof technique used in a given
proof; determine which type of proof is best for a given problem; explain the parallels between ideas of
mathematical and/or structural induction to recursion and recursively defined structures; explain the rela-
tionship between weak and strong induction and give examples of the appropriate use of each; state the
well-ordering principle and its relationship to mathematical induction; apply counting arguments, including
sum and product rules, inclusion-exclusion principle and arithmetic/geometric progressions; apply the pi-
geonhole principle in the context of a formal proof; be familiar with elementary concepts of Languages and
Automata theory and understand their role in Computer Science.
Skills: As a result of studying this course, students must be able to
- apply formal logic proofs and/or informal, but rigorous, logical reasoning to real problems, such as
predicting the behavior of software or solving problems such as puzzles;
- Demonstrate comprehension of discrete structures and their relevance within the context of computer
science, in the areas of data structures and algorithms, in particular;
- Apply discrete structures into other computing problems such as formal specification, verification,
databases, artificial intelligence, and cryptography;
- Demonstrate mathematical skills, analytical and critical thinking abilities;
- Communicate clearly and effectively using the technical language of the field correctly.

Literature
Required
1. Kenneth Rosen: “Discrete Mathematics and Its Applications”, 7 th edition, 2012, McGraw-Hill.
Press, 2009.
2. Seymour Lipschutz, Marc Lipson: Discrete Mathematics. (Shaum’s Outline), 4th edition, 2009,
McGraw-Hill.

Supplementary
1. Discrete Mathematics, 2nd Edition by Biggs, Oxford University Press, 2013, Paperback,
9780198713692.

COURSE CALENDAR

Week Class work SIW (student’s individual work)


Topic Lectures Seminars Chapters
for reading
1 Sets, Relations, and 2 1 according to Recommended homeworks at the end
Functions. the lecture of each part of the lectures (Deadline –
notes Week 4, demonstrate your knowledge
during the quiz)
2 Sets, Relations, and 2 1 according to Recommended homeworks at the end
Functions (continu- the lecture of each part of the lectures (Deadline –
ation). Proofs and notes Week 4, demonstrate your knowledge
Induction. during the quiz)
3 Introduction to 2 1 according to Recommended homeworks at the end
Number Theory. the lecture of each part of the lectures (Deadline –
notes Week 4, demonstrate your knowledge
during the quiz)

2
4 Introduction to 2 1 according to Recommended homeworks at the end
Number Theory the lecture of each part of the lectures (Deadline –
(continuation). notes Week 7, demonstrate your knowledge
during the quiz)
5 Counting. Elements 2 1 according to Recommended homeworks at the end
of Combinatorics. the lecture of each part of the lectures (Deadline –
notes Week 7, demonstrate your knowledge
during the quiz)
6 Logic and Proposi- 2 1 according to Recommended homeworks at the end
tional Calculus. the lecture of each part of the lectures (Deadline –
notes Week 7, demonstrate your knowledge
during the quiz)
7 Logic and Proposi- 2 1 according to Recommended homeworks at the end
tional Calculus (con- the lecture of each part of the lectures (Deadline –
tinuation). notes Week 11, demonstrate your knowledge
during the quiz)
8 Boolean Algebra. 2 1 according to Recommended homeworks at the end
the lecture of each part of the lectures (Deadline –
notes Week 11, demonstrate your knowledge
during the quiz)
9 Boolean Algebra 2 1 according to Recommended homeworks at the end
(continuation). the lecture of each part of the lectures (Deadline –
notes Week 11, demonstrate your knowledge
during the quiz)
10 Advanced Counting 2 1 according to Recommended homeworks at the end
Techniques. the lecture of each part of the lectures (Deadline –
notes Week 11, demonstrate your knowledge
during the quiz)
11 Elements of Graph 2 1 according to Recommended homeworks at the end
Theory. the lecture of each part of the lectures (Deadline –
notes Week 14, demonstrate your knowledge
during the quiz)
12 Elements of Graph 2 1 according to Recommended homeworks at the end
Theory (continua- the lecture of each part of the lectures (Deadline –
tion). notes Week 14, demonstrate your knowledge
during the quiz)
13 Binary Trees. 2 1 according to Recommended homeworks at the end
the lecture of each part of the lectures (Deadline –
notes Week 14, demonstrate your knowledge
during the quiz)
14 Languages, Autom- 2 1 according to Recommended homeworks at the end
ata, Grammars. the lecture of each part of the lectures (Deadline –
notes Week 14, demonstrate your knowledge
during the quiz)
15 Languages, Autom- 2 1 according to
ata, Grammars the lecture
(continuation). notes

COURSE ASSESSMENT PARAMETERS

Attendance and activity on lectures 15%


HomeWorks and SIW 0%
Control works and midterm 40%
Seminar lessons 10%
3
Final exam 40%
Total 100%

No Assessment cri- Weeks Total


teria 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

1. Attendance and 0
activity on lec-
tures
2. Homeworks and 1 1 1 1 1 1 1 1 1 1 10
SIW
3. Control works 10 15 10 15 50.0
and midterm
4. Activity on 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 5.5
seminar lessons 5 5 5 5 5 5 5 5 5 5 5
6. Final 40 40.0
examination
Total 60 40 100.0

Lectures are conducted in the form of explaining the theory given in the course that is why students supplied with
handouts uploaded into the intranet. Activity and attendance on lessons is mandatory. Mandatory requirement is
preparation for each lesson.
Grading policy:
Intermediate attestations (on 7th and 14th week) join topics of all lectures, laboratories, homework, quiz and materials
for reading discussed to the time of attestation. Maximum number of points within attendance, activity, homework,
quiz and laboratories for each attestation is 30 points.
Final exam joins and generalizes all course materials, is conducted in the complex form with questions and problems.
Final exam duration is 120 min. Maximum number of points is 40. At the end of the semester you receive overall
total grade (summarized index of your work during semester) according to conventional KBTU grade scale.

ACADEMIC POLICY
Students are required:
• to be respectful to the teacher and other students;
• to switch off mobile phones during classes;
• DO NOT cheat. Plagiarized papers shall be graded with zero points!
• to come to classes prepared and actively participate in classroom work; to meet the deadlines;
• to enter the room before the teacher starts the lesson;
• to attend all classes. No make-up tests or quiz are allowed unless there is a valid reason for missing it;
• to follow KBTU academic policy regarding W, AW, I, F grades.
• When students are absent for 30% of the lessons or more (without Spravka), then their grade is F.
• When students have a score of 29 or less for attestation 1 added to attestation 2, then their grade is F.
• When students have a score of 19 or less (less than 50%) for their final exam, then their grade is F.
• When students do not come for their final exam, then their grade is F.

Students are encouraged to


• consult the teacher on any issues related to the course;
• make up within a week’s time for the works undone for a valid reason without any grade deductions;

Senior lecturer of the School of Applied Mathematics Aziza Srazhdinova


Minutes # 1, 23 August 2023

You might also like