25 views

Uploaded by Kathy Migz

Discrete mathematics for computer Tech

- Test
- 7520daeanjwf
- Transformations of Graphs - Solutions
- math syllabus
- Sqares
- SCH¨ONEMANN-EISENSTEIN
- lecture 1.pdf
- Discrete Math in schools.pdf
- 34557-11825-JEST Sample Question TCS
- sol_-_CAPE_1_Test___1_nov_08
- Permit to Study 2013
- Lecture on Advanced Mathematical Technques
- Chapter 5 II Set Enrich
- Document
- Computing and Mathematics – Specialization
- Price List of Textbooks for Standards 1st to 12th
- Khokon
- Adding-Integers-Video-Freebie.pdf
- BSAgChem Checklist
- Complex Neutrosophic Graphs of Type 1

You are on page 1of 15

Lecture 0: Sep 2

A B

C

Plan

Course Information and Arrangement

Course Requirement

Topics and objectives of this course

Course Material

Textbook: Discrete Mathematics with Applications

Author: Susanna S. Epp

Publisher: Brooks/Cole

Notes: Course notes from mathematics for computer science

http://courses.csail.mit.edu/6.042/spring07/

(available to be downloaded in the course homepage)

Course Requirements

Assignment , 20%

Attendance , 20%

Quiz , 20%

Final Exam, 40%

Mathematics

Computer Science: use computer technology to solve problems.

Many courses in our curriculum will talk about computer technology.

This course will provide the mathematical foundation to solve problems,

e.g. to design a security system, to design a fast searching algorithm,

to analyze algorithms rigorously (e.g. pagerank and linear algebra), etc.

(pictures from wiki)

Discrete Mathematics

What is discrete mathematics?

discrete mathematics continuous mathematics

integers real numbers

graphs

geometric space

induction

calculus

logic

These two areas are not disjoint, e.g. calculus can be

used to solve discrete problems (generating functions).

Discrete Mathematics

Why discrete mathematics?

In computer science we usually deal with finite, discrete objects. For example,

- we cannot store a real number (infinite precision) in a computer but can only

store bits (finite precisions).

- we often model a computer network as a graph, and use the knowledge and

techniques in dealing with graphs to solve problems in networks.

The problems and the techniques are often different (e.g. induction, recursion).

Topic 1: Logic and Proofs

Logic: propositional logic, first order logic

Proof: induction, contradiction

How do computers (and humans) think?

Applications: artificial intelligence, database, circuit, algorithms

Objective: to reason rigorously and learn basic proof techniques (e.g. induction)

Topic 2: Graph Theory

Graphs

Degree sequence, Eulerian graphs, isomorphism

Trees

Matching

Coloring

Applications: Computer networks, circuit design, data structures

Topic 2: Graph Theory

How to color a map?

How to send data efficiently?

How to schedule exams?

Objective: to model problems and learn basic concepts and knowledge

Topic 3: Counting

Sets and Functions

Combinations, Permutations, inclusion-exclusion

Counting by mapping, pigeonhole principle

Recursions, generating functions

Applications: probability, data structures, algorithms

A B

C

Objective: to learn basic concepts (set, functions) and fundamental techniques.

Topic 3: Counting

How many steps are needed to sort n numbers?

Algorithm 1 (Bubble Sort):

Every iteration moves the i-th smallest number to the i-th position

Algorithm 2 (Merge Sort):

Which algorithm runs faster?

Tentative Course Schedule

Monday Thursday Topic

Sep 2 Sep 5 introduction, propositional logic

Sep 9 Sep 12 first order logic, methods of proofs

Sep 16 Sep 19 methods of proofs, induction

Sep 23 Oct 26 mathematical induction

Sep 30 Oct 3 graph, tree

Oct 7 Oct 10 graph matching

Oct 14 (holiday) Oct 17 graph coloring

Oct 21 Oct 24 planar graph

Oct 28 Oct 31 sets, basic counting

Nov 4 Nov 7 binomial coefficients, inclusion-exclusion

Nov 11 Nov 14 functions, counting by mapping

Nov 18 Nov 21 counting by mapping, number sequences

Nov 25 Nov 28 recursion

Objectives of This Course

Knowledge will be used in future courses:

CSC 2100, ERG 2040, CSC 3130, CSC 3160

To learn basic mathematical concepts, e.g. sets, functions, graphs

To be familiar with formal mathematical reasoning, e.g. logic, proofs

To improve problem solving skills, e.g. induction, recursion

To see the connections between discrete mathematics and computer science

Academic Honesty

http://www.cuhk.edu.hk/policy/academichonesty/

http://www.cuhk.edu.hk/policy/academichonesty/p02.htm

Examples: see booklet and

Definition: see booklet and http://www.cuhk.edu.hk/policy/academichonesty/p01.htm

http://www.cuhk.edu.hk/policy/academichonesty/p06.htm

Procedure: see booklet and

Computer programs checking plagiarism

Discussions of ideas may be allowed, in any case need to write your own solutions.

State the source and let the marker make the adjustments.

Academic Honesty in the Faculty of Engineering: http://www.cse.cuhk.edu.hk/~chi/honesty.ppt

- TestUploaded byJong Woo Lee
- 7520daeanjwfUploaded byQamar121
- Transformations of Graphs - SolutionsUploaded bywolfretonmaths
- math syllabusUploaded byapi-301726429
- SqaresUploaded bynittypi
- SCH¨ONEMANN-EISENSTEINUploaded byManea Ioana Silvia
- lecture 1.pdfUploaded byAbdul wadood
- Discrete Math in schools.pdfUploaded byDee Sesh
- 34557-11825-JEST Sample Question TCSUploaded byAnkita Rishi Dubey
- sol_-_CAPE_1_Test___1_nov_08Uploaded byanon-181880
- Permit to Study 2013Uploaded byEdmon Mendoza Miguel Jr.
- Lecture on Advanced Mathematical TechnquesUploaded byDebayan Gupta
- Chapter 5 II Set EnrichUploaded byjuriah binti ibrahim
- DocumentUploaded byganeshkumar94
- Computing and Mathematics – SpecializationUploaded byNicole Fitzgerald
- Price List of Textbooks for Standards 1st to 12thUploaded byaishu
- KhokonUploaded byAnonymous ZGcs7MwsL
- Adding-Integers-Video-Freebie.pdfUploaded bynunesdebora
- BSAgChem ChecklistUploaded byvisayasstateu
- Complex Neutrosophic Graphs of Type 1Uploaded byAnonymous 0U9j6BLllB
- GMAT_Flex_Quant_Mastery_A.pdfUploaded byRonit Gupta
- InterviewsUploaded byJonathan Zimmerman
- Timetable_EOY 2011_ as at 20 Sept 2011Uploaded byWinson Chua
- CS14 Assignment 1Uploaded byAnonymous 8kJ1BPkBX
- prolog_3Uploaded bytiktak2
- module 2 6th gr stamp sheetUploaded byapi-261180371
- 04038144Uploaded byHarshal Ambatkar
- Pre-IB Portfolio Marking CriteriaUploaded bySean Lim
- Google Technical Interview Prep _ TrelloUploaded bySiddharth Tiwari
- finalexamsol.pdfUploaded byAashish D

- Pmrf Revised.pdf PMRFUploaded byRosenNipa
- mario 2Uploaded byKathy Migz
- CoursesUploaded byKathy Migz
- Personality DevelopmentUploaded byKathy Migz
- Personality DevelopmentUploaded byKathy Migz
- DISCRETE SyllabusUploaded byKathy Migz
- deisgn mix9.5.xls (M'LANG).xlsUploaded byKathy Migz
- Object Oriented Programming PrinciplesUploaded byKathy Migz
- Discrete MathUploaded byKathy Migz

- List of Telecom Standardization OrganizationsUploaded bympscr
- Resume ChristianSparrowUploaded byRam Sunkara
- Software PDR Moodle Samples Review.docxUploaded bykee-95
- FMEA CP Forms Application TransactionalUploaded byAnonymous rvXfvF
- K roset training.pptxUploaded byprathipbemech
- oracle-cloud-multi-pillar-implementation-best-practices-wp.pdfUploaded byFranklin Gomez Romero
- Low-Complexity Sparse FIR Channel ShorteningUploaded byaarg_2010
- HDXPRT 2014 User ManualUploaded byPrincipled Technologies
- Oracle Database 10g Backup Recovery Vol - 2Uploaded byrsahmad49511
- A Guide to Evaluating a Bug Tracking SystemUploaded byapi-3806986
- OLAP CourseUploaded bysebibosssebiboss
- OCHUSUploaded byRahul Agarwal
- Csc 2013147Uploaded byOnamiyoluwaOla-foluwe
- load-balancing101-evolution-adcUploaded byKishan Kish
- OddPalindromepattern&Mental MathUploaded byEwa Garg
- Flow Charts & TimersUploaded byabusaeed
- Parameter PassingUploaded bypraveen_hippy
- Image EncryptionUploaded bysubhash kr
- 38731308 C Programming and Data StructuresUploaded bySwathi Priya
- List of Consul Generals in MumbaiUploaded byPradyot Jayakar
- PG5 User Manual EnUploaded bymirciulicacaty
- Multithreading in LabWindows_CVI 2006Uploaded bymarcinparcin
- Braindump2go New Updated 70-462 Exam Dumps Free Download (11-20)Uploaded byDemi Davison
- Embarcadero - Mobile TutorialsUploaded byAlexanVO
- Web Using FesifUploaded bynurilmu
- RANAP.txtUploaded byHaryanto Wijaya
- 6943 Certified Defenses for Data Poisoning Attacks(8)Uploaded byAnonymous
- Turbo C ListBoxUploaded byCarlos Villamizar
- Gmail - FlyMobile Electronic TicketUploaded byArmin Avdić
- New Document Microsoft WordUploaded byAna Stanescu