Faculty of Computing

Faculty of Computing

Members

Dr-Thidar-AungAssociate-ProfessorHead-of-Math-1-e1545228766874-150x150

Dr. Thidar Aung

Associate Professor
Head of FC
Daw-Kyi-Pyar-Moe-LecturerMath-e1545228303718-150x150

Daw Kyi Pyar Moe

Lecturer
Daw-Myo-Su-Su-HlaingLecturerMath-e1545228852529-150x150

Daw Myo Su Su Hlaing

Lecturer
Daw-Mi-Mi-HninAssistant-Lecturer-e1545228887274-150x150

Daw Mi Mi Hnin

Assistant Lecturer
Daw-San-San-AyeAssistant-LecturerMath-e1545228812331-150x150

Daw San San Aye

Assistant Lecturer
Daw-Thet-Thet-AyeAssistant-LecturerMath-e1545228790570-150x150

Daw Thet Thet Aye

Assistant Lecturer
Daw-Nwet-Nwet-SanAssistant-LecturerMath-e1545228832377-150x150

Daw Nwet Nwet San

Assistant Lecturer
Daw-Wine-Sandar-AungAssistant-LecturerMath-e1545228906760-150x150

Daw Wine Sandar Aung

Assistant Lecturer

Offer Subjects

Subject Code Field of Study
CST-102 Mathematics of Computing I
CST-202 Mathematics of Computing II
CST-302 Mathematics of Computing III
CST-402 Mathematics of Computing IV
CST-501 Mathematics of Computing V
Paper II Mathematics of Computing I

Course Description

CM-121

COURSE DESCRIPTION

Course code number Semester hours Prerequisite Course Title No. of Credit Units Course Coordinator
CM-121 3 hours None Discrete Mathematics 3 Dr.Thida Aung, Daw San San Aye, Daw Wine Sandar Aung
Course Description

An introduction to discrete mathematical concepts including the foundations: logic and proofs, mathematical induction and recursion, sets, functions, sequences and summations, matrices, complexity of algorithms, number theory, permutations and combinations, an introduction to discrete probability and graphs.

Textbook

Discrete mathematics and its applications, 7h Edition, Kenneth H. Rosen. McGraw-Hill 2012.

Course Outcomes

Students who complete the course will be able to:

  1. Define and precisely use standard mathematical terminology and concepts.
  2. Identify and apply appropriate methods of proof.
  3. Understand the basic principles of sets and operations in sets and manipulate sets, relations, functions and their associated concepts, and apply these to solve problems in mathematics and computer science.

  4. Understand the principles of elementary probability theory.
  5. Understand basic terminology and operations for graphs.
  6. Use graphs to solve problems in computer science.
Major Topics Covered in the Course
  1. Propositional and Predicate Logic
  2. Proof Techniques
  3. Sets
  4. Functions
  5. Sequences and Summations
  6. Matrices
  7. The Growth of Functions and Complexity of Algorithms
  8. Number Theory
  9. Counting
  10. Introduction to Discrete Probability
  11. Introduction to Graph Theory
Assessment Plan for the Course

      Attendance    –  10%

      Quizzes –       10%

      Assignment – 20%

      Test   –            10%

      Final Exam –   50%

Grading System

UCSY follows a letter grade system comprising of grades A, A-, B+, B, B-, C+,

C, C-, D and F. All marks obtained by students during the semester will be used in the

grading process. A grade of “D” is considered a passing grade for undergraduate courses.

For undergraduate students, a grade of “C” or better is required in this course because it

is a prerequisite for other courses in the program. The student who gets the grade point

less than 2 must do Re-Exam.

The grading scale for this course is:

 

Marks obtained Letter Grade Grade Point
>=90 A 4
85 – 89 A- 3.75
80 – 84 B+ 3.25
75 – 79 B 3
70 – 74 B- 2.75
65 – 69 C+ 2.25
60 – 64 C 2
55 – 59 C- 1.75
50 – 54 D 1
0 – 49 F 0

Fail Grade and Re-Exam: C-,D,F (Grade point <2)

Class Attendance and Participation Policy:

Attendance

Class attendance is mandatory. Most of the material you will learn will be covered in the lectures, so it is important that you not miss any of them. You are expected to show up on time for class, and stay for the whole lecture. Students are expected to attend each class, to complete any required preparatory work (including assigned reading) and to participate actively in lectures, discussions and exercises.

Quizzes, assignments, tests and Exam

  • Your performance in this class will be evaluated using your scores for attendance, quizzes, homework assignments, two tests and one final examination. There are no planned extra credit projects or assignments to improve your grade.
  • We will take a short quiz for every lecture.
  • There will be 6 homework assignments, roughly one per week. Please show all your work and write or type your assignments neatly. Credit cannot be given for answers without work (except on true-false, always-sometimes-never, or other multiple choice questions).
  • Test will start after two or three chapters finished and the coordinator will announce the date for the test.
  • Any assignment or quiz or test is simply missed, regardless of the reason why (e.g. illness, work, traffic, car trouble, computer problems, death, etc.), and earns a grade of zero. You are strongly encouraged to complete all assignments and attend all quizzes so that you can check that you understand the material and can throw out bad grades, or grades for which you had to miss an assignment or quiz for a valid reason.

Late submissions will not be accepted for any graded activity for any reason.

  • There are no extra credit opportunities

Students may not do additional work nor resubmit any graded activity to raise a final grade.

  • Exam

The exam will be conducted on-campus, in a classroom. The dates/times/locations will be posted on Board as soon as possible. For this course, the following additional requirements are specified: All work submitted for a grade must have been prepared by the individual student. Students are expressly prohibited from sharing any work that has been or will be submitted for a grade, in progress or completed, for this course in any manner with a person other than the instructor and teaching assistant(s) assigned to this course).

Specifically, students may not do the following, including but not limited to:

  • Discuss questions, example problems, or example work with another person that leads to a similar solution to work submitted for a grade.
  • Give to, show, or receive from another person (intentionally, or accidentally because the work was not protected) a partial, completed, or graded solution.
  • Ask another person about the completion or correctness of an assignment.
  • Posting or sharing course content (e.g. instructor provided lecture notes, assignment directions, assignment questions, or anything not created solely by the student.

Tentative Lesson

No Topics Week Remark
I 1 The Foundations: Logic and Proofs
1 1.1 Propositional Logic Week 1 Week 1 Assignment1
2 1.2 Applications of Propositional Logic
3 1.3 Propositional Equivalences Week 2
4 1.4 Predicates and Quantifiers
5 1.5 Nested Quantifiers Week 3
6 1.6 Rules of Inference
7 1.7 Introduction to Proofs
II 2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
8 2.1 Sets Week 4 Assignment 2
9 2.2 Set Operations
10 2.3 Functions
11 2.4 Sequences and Summations Week 5
12 2.6 Matrices
13 1.8 Proof Methods and Strategy
III 3 Algorithms
14 3.2 The Growth of Functions Week 6 Assignment 3
15 3.3 Complexity of Algorithms
IV 4 Number Theory
16 4.1 Divisibility and Modular Arithmetic Week 7 Assignment 4
17 4.2 Integer Representations and Algorithms
18 4.3 Primes and Greatest Common Divisors
19 4.4 Solving Congruences
Test I
V 5 Induction and Recursion
20 5.1 Mathematical Induction Week 8+9 Assignment 5
21 5.2 Strong Induction and Well-Ordering
22 5.3 Recursive Definitions and Structural Induction
VI 6 Counting
23 6.1 The Basics of Counting Week 10 Assignment 6
24 6.2 The Pigeonhole Principle
25 6.3 Permutations and Combinations Week 11
VII Discrete Probability
26 7.1 An Introduction to Discrete Probability Week 12+13
27 7.2 Probability Theory Assignment 7
28 7.4 Expected Value and Variance
VIII 10 Graphs Assignment 8
29 10.1 Graphs and Graph Models Week 14
30 10.2 Graph Terminology and Special Types of Graphs
31 10.3 Representing Graphs and Graph Isomorphism Week 15
32 10.4 Connectivity
Test II
33 Revision

CM-202

COURSE DESCRIPTION

Course code number CST-202 Course Title Mathematics of Computing II
Semester hours 4 hours No. of Credit Units 3
Course Coordinator Daw New Nwe San

Course Description

This course covers Laplace Transform, Infinite Sequences and Series, Parameterized, Equations and Polar Coordinates, Vectors and The Geometry of Space.

Textbook

  1. Thomas’ Calculus, 12 th Edition, George B, Thomas, Maurice D. Weir, Joel Hass.
  2. Advanced Engineering Mathematics, 10th edition, by E.Kreyszig

References

  • Calculus: Early Transcendental, Eighth Edition by James Stewart.

Course Outcomes

Students who complete this course will be able to

  1. Understand solving linear ODEs and related initial value problems, as well as systems of linear ODEs, much easier using Laplace Transform.
  2. Represent a known differentiable function f(x) as an infinite sum of powers of x, so it looks like a ”polynomial with infinitely many terms.”

  3. Understand the geometric definitions and standard equations of parabolas, ellipses, and hyperbolas (conic sections, or conics).

  4. Understand three-dimensional coordinate systems and vectors, the analytic geometry of space, where they give simple ways to describe lines, planes, surfaces, and curves in space.

Major Topics Covered in the Course

  1. Laplace Transform
  2. Infinite Sequences and Series
  3. Parameterized Eqs and Polar Coordinates
  4. Vectors and The Geometry of Space

Assessment Plan for the Course

Attendance    – 10%

Quizzes          – 10%

Assignment   – 10 %

Test               – 10%

Final Exam   – 60%

Class Attendance and Participation Policy:

  • Attendance

Class attendance is mandatory. Most of the material you will learn will be covered in the lectures, so it is important that you not miss any of them. You are expected to show up on time for class, and stay for the whole lecture. Students are expected to attend each class, to complete any required preparatory work (including assigned reading) and to participate actively in lectures, discussions and exercises.

  • Mobile phones must be silenced and put away for the entire lecture unless use is specified by the instructor. You may not make or receive calls on your cell phone, or send or receive text messages during lectures.
  • You are responsible for all material sent as email. Ignorance of such material is no excuse. You are responsible for all materials presented in the lectures.
  • Your conduct in class should be conducive towards a positive learning environment for your class mates as well as yourself.

Quizzes, assignments, tests and Exam

         Your performance in this class will be evaluated using your scores for attendance, quizzes, homework assignments, two tests and one final examination. There are no planned extra credit projects or assignments to improve your grade.

         We will take a short quiz for every lecture.

        There will be 6 homework assignments, roughly one per week. Please show all your work and write or type your assignments neatly. Credit cannot be given for answers without work (except on true-false, always-sometimes-never, or other multiple choice questions).

       Test will start after two or three chapters finished and the coordinator will announce the date for the test.

       Any assignment or quiz or test is simply missed, regardless of the reason why (e.g. illness, work, traffic, car trouble, computer problems, death, etc.), and earns a grade of zero. You are strongly encouraged to complete all assignments and attend all quizzes so that you can check that you understand the material and can throw out bad grades, or grades for which you had to miss an assignment or quiz for a valid reason.

Late submissions will not be accepted for any graded activity for any reason.

  • There are no extra credit opportunities.

Students may not do additional work nor resubmit any graded activity to raise a final grade.

  • Exam

The exam will be conducted on-campus, in a classroom. The dates/times/locations will be posted on Board as soon as possible.

For this course, the following additional requirements are specified:

All work submitted for a grade must have been prepared by the individual student. Students are expressly prohibited from sharing any work that has been or will be submitted for a grade, in progress or completed, for this course in any manner with a person other than the instructor and teaching assistant(s) assigned to this course).

Specifically, students may not do the following, including but not limited to:

  • Discuss questions, example problems, or example work with another person that leads to a similar solution to work submitted for a grade.
  • Give to, show, or receive from another person (intentionally, or accidentally

    because the work was not protected) a partial, completed, or graded solution.

  • Ask another person about the completion or correctness of an assignment.

  • Post questions or a partial, completed, or graded solution electronically (e.g. a Web site).

  • All work must be newly created by the individual student for this course. Any usage of work developed for another course, or for this course in a prior semester, is strictly prohibited without prior approval from the instructor.

  • Posting or sharing course content (e.g. instructor provided lecture notes, assignment directions, assignment questions, or anything not created solely by the student), using any non-electronic or electronic medium (e.g. web site, FTP site, any location where it is accessible to someone other than the individual student, instructor and/or teaching assistant(s)) constitutes copyright infringement and is strictly prohibited without prior approval from the instructor.

Tentative Less

No Chapter Week
I Chapter 12 Vectors and The Geometry of Space
1 12.2 Vectors Week 1+2
2 12.3 Dot Products (Scalar Products) Sample
3 12.4 Cross Products
II Chapter 6 Laplace Transform
4 6.1 Laplace Transforms, Linearity, First Shifing Theorem (s- Shifting) Week 3
5 6.2 Transforms of Derivatives and Integrals,ODEs Week 4
6 6.3 Unit Step function, Second Shifting Theorem Week 5+6
7 6.5 Convolution
Test 1
III Chapter 10 Infinite Sequences and Series
8 10.1 Sequences Week 7+8
9 10.2 Infinite Series
10 10.3 the Integral test Sample
11 10.4 Comparison Tests Week 9
12 10.5 The Ratio and Root tests
13 10.6 Alternating Series, Absolute and Conditional Convergence Week 10
14 10.7 Power Series Week 11
15 10.8 Taylor and Maclaurin Series
IV Chapter11 Parameterized Eqs and Polar Coordinates
16 11. 1 Parametrizations of Plane Curves Week 12
17 11.2 Calculus with Parametric Curves
18 11.3 Polar Coordinates Week 13
19 11.5 Area and Lengths in Polar Coordinates Week 14
20 11.6 Conic Section Week 15
21 11.7 Conic in Polar Coordinates
Test II
V Revision

CST-302

COURSE DESCRIPTION

Course code number CST-302 Course Title Mathematics of Computing III
Semester hours 4 hours No. of Credit Units 3
Course Coordinator Daw Kyi Pyar Moe

Course Description

This course covers matrices, vectors, determinants, linear systems, matrix eigenvalue problems, mathematical software design considerations, rudiments of floating point arithmetic, systems of linear equations, interpolation and data fitting integration and quadrature, linear least squares and regression.

Textbook

Advanced Engineering Mathematics, 10th edition, by E.Kreyszing

Course Outcomes

Students will be able to:

  1. Know the important characteristics of matrices, concepts of vector spaces and properties of special categories of matrices.
  2. Know how to use characteristics of a matrix to solve a linear system of equation or study properties of a linear transformation.
  3. Acquire a working knowledge of algorithms for approximation solutions of scientific computing problems.

Major Topic Covered in the Course

  1. Matrices, Vectors, Determinants Linear Systems
  2. Matrices Eigen Value Problems
  3. Solution of Equations by Iteration
  4. Interpolation
  5. Numeric Integration and Differentiation

Assessment Plan for the Course

          Attendance       –      10%

          Quizzes            –      10%

          Assignment      –      10%

          Test                  –      10%

          Final Exam      –      60%

Class attendance and Participation Policy:

  • Attendance

Class attendance is mandatory. Most of the material you will learn will be covered in the lectures, so it is important that you not miss any of them. You are expected to show up on time for class, and stay for whole lecture. Students are expected to attend each class, to complete any required preparatory work (including assigned reading) and to participate actively in lectures, discussions and exercises.

  • Mobile phones must be silenced and put away for the entire lecture unless use is specified by the instructor. You must be silenced and put away for the entire lecture unless use is specified by the instructor. You may not make or receive calls on sour cell phones, or send or receive text message during lectures.
  • You are responsible for all material sent as email. Ignorance of such material is no excuse. You are responsible for all materials presented in the lectures.
  • Yours conduct in class should be conducive towards a positive learning environment for your class mates as well as yourself.
  • Quizzes, assignments, tests and Exam

          Your performance in this class will be evaluated using your sources for attendance, quizzes, homework assignments, two tests and one final examination. There are no planned extra credit projects or assignments to improve your grade.

          We will take a short quiz for every lecture.

          There will be 3 homework assignments, roughly one per week. Please show all your work and wire or type your assignment neatly. Credit cannot be given for answers without work (except on true-false, always-sometimes-never, or other multiple choice questions).

          Test will start after two or three chapters finished and the coordinator will announce the date for the test.

           Any assignment or quiz or test is simply missed, regardless of the reason why (e.g. illness, work, traffic, car trouble, computer problems, deaths, etc.), and earns a grade of zero. You are strongly encouraged to complete all assignments and attend all quizzes so that you can check that you understand the material and can throw out bad grades, or grades for which you had to miss an assignment or quiz for a valid reason. Late submissions will not be accepted for any graded activity for any reason.

  • There are no extra credit opportunities.

           Students may not do additional work nor resubmit any graded activity to raise a final grade.

  • Exam

          The exam will be conducted on-campus, in a classroom. The dates/times/locations will be posted on Board as soon as possible.

For this course, the following additional requirements are specified:

          All work submitted for a grade must have been prepared by the individual student. Students are expressly prohibited from sharing any work that has been or will be submitted for a grade, in progress or completed, for this course in any manner with a person other than the instructor and teaching assistant(s) assigned to this course. Specifically, students may not do the following, including but not limited to:

  • Discuss questions, example problems, or example work with another person that leads to a similar solution to work submitted for a grade.
  • Give to, show, or receive from another person (intentionally, or accidentally because the work was not protected) a partial, completed or graded solution.
  • Ask another person about the completed, or graded solution electronically (e.g. a Web site).
  • All work must be newly created by the individual student for this course. Any usage of work developed for another course, or for this course in a prior semester, is strictly prohibited without prior approval from the instructor.
  • Posting or sharing course content (e.g. instructor provided lecture notes, assignment directions, assignment questions, or anything not created solely by the student), using any non-electronic or electronic medium (e.g. web site, FTP site, any location where it is accessible to someone other than the individual student, instructor and/or teaching assistant(s)) constitutes copyright infringement and strictly prohibited without prior approval from the instructor.

Tentative Lesson

No Topics Week Remark
I Chapter 7Linear Algebra: Matrices, Vectors, Determinants. Linear Systems
1 7.1 Matrices, Vectors: Addition and Scalar Multiplication Week 1
2 7.2 Matrices Multiplication
3 7.3 Linear Systems of Equations. Gauss Elimination Week 2
4 7.4 Linear Independent. Rank of a Matrix. Vector Space Week 3
5 7.6 For Reference : Second- and Third-Order Determinants Week 4
6 7.7 Determinants. Cramer’s Rule
7 7.8 Inverse of a Matrix. Gauss-Jordan Elimination Week 5
II Chapter 8 Linear Algebra: Matrices Eigen Value Problems
8 8.1 The Matrix Eigenvalue Problem. Determining Eigenvalues and Eigenvectors Week 6
9 8.3 Symmetric, Skew-Symmetric and Orthogonal Matrices Week 7
Test I
III Chapter 19 Numerics in General
10 19.1 Introduction Week 8
11 19.2 Solution of Equations by Iteration
12 19.3 Interpolation Week 9
13 19.5 Numeric Integration and Differentiation Week 10
IV Chapter 20 Numeric Linear Algebra
14 20.2 Linear Systems: LU-Factorization, Matrix Inversion Week 11
15 20.3 Linear Systems: Solution by Iteration Week 12+13
16 20.4 Linear Systems: Ill-Conditioning, Norms
17 20.5 Least Squares Method Week 14
18 20.6 Matrix Eigenvalue Problems: Introduction
19 20.7 Inclusion of Matrix Eigenvalues
20 20.8 Power Method for Eigenvalues Week 15
Test II
Revision

CST-402

COURSE DESCRIPTION

Course code number CST-402 Second Semester Course Title Mathematics of Computing IV
Semester hours 4 hours No.of Credit Units 3
Course Coordinator Daw Myo Su Su Hlaing& Daw Mi Mi Hnin

Course Description

CST-402. Mathematics of Computing IV   This course covers Applications of Recurrence Relations, Solving Linear Recurrence Relations, Generating Functions, Modeling Computation: Languages and Grammars, Finite-State Machines with Output, Finite-State Machines with No Output, Language Recognition and Turing Machines.  

Textbook

Discrete Mathematics and its Applications (Seventh Edition) by KENNETH H. ROSEN

Course Outcomes

After completing the course, the student will be able to: 1. Model, compare and analyse different computational models using combinatorial methods. 2. Apply rigorously formal mathematical methods to prove properties of languages, grammars and automata. 3. Construct algorithms for different problems and argue formally about correctness on different restricted machine models of computation. 4. Identify limitations of some computational models and possible methods of proving them.    

University of Computer Studies (Dawei)

B.C.Sc./B.C.Tech (Fourth Year)

Major Topics Covered in the Course

1. Modeling With Recurrence Relations, Solving Linear Homogeneous and     Nonhomogeneous Recurrence Relations, Counting Problems and Generating     Functions 2. Phrase Structure Grammars, Derivation Trees, Backus-Naur Form, Finite State     Machines with output and no output. 3. Deterministic and Nondeterministic Finite State 4. Using Turing Machines to Recognize Sets

Assessment Plan for the Course

            Attendance     –    10%

            Quizzes           –    10%

            Assignment     –    10%

            Test                 –    10%

            Final Exam      –    60%

Class Attendance and Participation Policy

  • Attendance

Class attendance is mandatory. Most of the material you will learn will be covered in the lectures, so it is important that you not miss any of them. You are expected to show up on time for class, and stay for whole lecture. Students are expected to attend each class, to complete any required preparatory work (including assigned reading) and to participate actively in lectures, discussions and exercises.

  • Mobile phones must be silenced and put away for the entire lecture unless use is specified by the instructor. You must be silenced and put away for the entire lecture unless use is specified by the instructor. You may not make or receive calls on sour cell phones, or send or receive text message during lectures.
  • You are responsible for all material sent as email. Ignorance of such material is no excuse. You are responsible for all materials presented in the lectures.
  • Yours conduct in class should be conducive towards a positive learning environment for your class mates as well as yourself.
  • Quizzes, assignments, tests and Exam

       Your performance in this class will be evaluated using your scores for attendance, quizzes, homework assignments, two  tests and one final examination. There are no planned extra credit  projects or assignments to improve your grade.

       There will be 6 homework assignments, roughly one per week. Please show all your work and write or type your assignments neatly. Credit cannot be given for answers without work (except on true-false, always-sometimes-never, or other multiple choice questions).

University of Computer Studies (Dawei)

B.C.Sc./B.C.Tech (Fourth Year)

          Test will start after one or two chapters finished and the coordinator will announce the date for the test.

            Any assignment or quiz or test is simply missed, regardless of the reason why (e.g. illness, work, traffic, car trouble, computer problems, death etc.), and earns a grade of zero. You are strongly encouraged to complete all assignments and attend all quizzes so that you can check that you understand the material and can throw out bad grades, or grades for which you had to miss an assignment or quiz for a valid reason.

Late submissions will not be accepted for any graded activity for any reason.

  • There are no extra credit opportunities.

Students may not do additional work nor resubmit any graded activity to raise a final grade.

  • Exam

          The exam will be conducted on-campus, in a classroom. The dates/times/locations will be posted on Board as soon as possible.

For this course, the following additional requirements are specified:

          All work submitted for a grade must have been prepared by the individual student. Students are expressly prohibited from sharing any work that has been or will be submitted for a grade, in progress or completed, for this course in any manner with a person other than the instructor and teaching assistant(s) assigned to this course. Specifically, students may not do the following, including but not limited to:

  • Discuss questions, example problems, or example work with another person that leads to a similar solution to work submitted for a grade.
  • Give to, show, or receive from another person (intentionally, or accidentally because the work was not protected) a partial, completed or graded solution.
  • Ask another person about the completed, or graded solution electronically (e.g. a Web site).
  • All work must be newly created by the individual student for this course. Any usage of work developed for another course, or for this course in a prior semester, is strictly prohibited without prior approval from the instructor.
  • Posting or sharing course content (e.g. instructor provided lecture notes, assignment directions, assignment questions, or anything not created solely by the student), using any non-electronic or electronic medium (e.g. web site, FTP site, any location where it is accessible to someone other than the individual student, instructor and/or teaching assistant(s)) constitutes copyright infringement and strictly prohibited without prior approval from the instructor.

University of Computer Studies (Dawei)

B.C.Sc./B.C.Tech (Fourth Year)

Tentative Lesson

No Topics Week Remark
I Chapter 8 Advanced Counting Techniques
1 8.1 Applications of Recurrence Relations Introduction; Modeling With Recurrence Relations Week 1-2 Assignment 1
2 8.2 Solving Linear Recurrence Relations Introduction; Solving Linear Homogeneous Recurrence Relations with Constant Coefficients Linear Nonhomogeneous Recurrence Relations with Constant Coefficients Week 3-4-5 Assignment 2
3 8.4 Generating Functions Introduction; Useful Facts About Power Series Counting Problems and Generating Functions Using Generating Functions to Solve Recurrence Relations Proving Identities via Generating Functions Week 6-7 Assignment 3
4 Test I
II Chapter 13 Modeling Computation
5 13.1 Languages and Grammars Week 8 Introduction; Phrase-Structure Grammars Types of Phrase-Structure Grammars Derivation Trees Backus–Naur Form Week 8-9 Assignment 4
6 13.2 Finite-State Machines with Output Introduction; Finite-State Machines with Outputs Week 10+11
7 13.3 Finite-State Machines with No Output Introduction; Set of Strings Finite-State Automata Language Recognition by Finite-State Machines Nondeterministic Finite-State Automata Week 12+13 Assignment 5
No Topics Week Remark
8 13.4 Language Recognition Introduction; Kleene’s Theorem Regular Sets and Regular Grammars A Set Not Recognized by a Finite-State Automaton More Powerful Types of Machines Week 14 Assignment 6
9 13.5 Turing Machines Introduction; Definition of Turing Machines Using Turing Machines to Recognize Sets Computing Functions with Turing Machines Different Types of Turing Machines The Church–Turing Thesis Computational Complexity, Computability, and Decidability Week 15
10 Test II Test II
11 Revision