CS1021 Discrete Mathematics Graham Gough School of Computer - - PowerPoint PPT Presentation

▶
cs1021 discrete mathematics
SMART_READER_LITE
LIVE PREVIEW

CS1021 Discrete Mathematics Graham Gough School of Computer - - PowerPoint PPT Presentation

Jul 14, 2023 239 likes •615 views

CS1021 Discrete Mathematics Graham Gough School of Computer Science Room 2.105 1: Background CS1021 Oh no, not more maths! Background 1-1 CS1021 Oh no, not more maths!

slide-1
SLIDE 1

✬ ✫ ✩ ✪

CS1021 Discrete Mathematics

Graham Gough School of Computer Science Room 2.105

slide-2
SLIDE 2

✬ ✫ ✩ ✪

1: Background

slide-3
SLIDE 3

CS1021

✬ ✫ ✩ ✪

Oh no, not more maths!

Background 1-1

slide-4
SLIDE 4

CS1021

✬ ✫ ✩ ✪

Oh no, not more maths!

  • “But I did CS to get way from maths”

Background 1-2

slide-5
SLIDE 5

CS1021

✬ ✫ ✩ ✪

Oh no, not more maths!

  • “But I did CS to get way from maths”
  • “Who needs maths to hack C/Java/VB/.NET/perl programs?”

Background 1-2

slide-6
SLIDE 6

CS1021

✬ ✫ ✩ ✪

Oh no, not more maths!

  • “But I did CS to get way from maths”
  • “Who needs maths to hack C/Java/VB/.NET/perl programs?”

This lecture will make a start at attempting to answer these complaints.

Background 1-2

slide-7
SLIDE 7

CS1021

✬ ✫ ✩ ✪

What is ‘discrete’ maths anyway?

Most of maths seen before has been aimed at modelling continuous processes. Real numbers Calculus Mechanics etc etc

Background 1-3

slide-8
SLIDE 8

CS1021 What is ‘discrete’ maths anyway? (continued)

✬ ✫ ✩ ✪

In discrete maths objects of interest are separate (discrete) rather than members of a continuum like the reals Often finite objects (like computers) Interested in sets of objects with interesting properties – discrete structures

Background 1-4

slide-9
SLIDE 9

CS1021

✬ ✫ ✩ ✪

Mathematical models

‘Applied’ maths usually about modelling ‘real world’ objects eg real numbers and mechanics

F = m×a

Background 1-5

slide-10
SLIDE 10

CS1021

✬ ✫ ✩ ✪

Mathematical models

Background 1-6

slide-11
SLIDE 11

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

Background 1-7

slide-12
SLIDE 12

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

  • Use the maths to describe situation in the real world

Background 1-7

slide-13
SLIDE 13

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

  • Use the maths to describe situation in the real world
  • Use the maths to deduce information about the real world by doing

calculations using the model

Background 1-7

slide-14
SLIDE 14

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

  • Use the maths to describe situation in the real world
  • Use the maths to deduce information about the real world by doing

calculations using the model Model always an abstraction of thing being modelled

Background 1-7

slide-15
SLIDE 15

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

  • Use the maths to describe situation in the real world
  • Use the maths to deduce information about the real world by doing

calculations using the model Model always an abstraction of thing being modelled Mathematical models aid clarity of thought

Background 1-7

slide-16
SLIDE 16

CS1021

✬ ✫ ✩ ✪

Mathematical models

  • Create a piece of mathematics that resembles in some way a real world

phenomenon

  • Use the maths to describe situation in the real world
  • Use the maths to deduce information about the real world by doing

calculations using the model Model always an abstraction of thing being modelled Mathematical models aid clarity of thought Can identify common aspects of apparently disparate phenomena

Background 1-7

slide-17
SLIDE 17

CS1021

✬ ✫ ✩ ✪

Abstraction

Abstraction is one of the ways human mind uses to manage complexity Ignore unnecessary detail eg Newton’s laws of Universal Gravitation Can predict accurately orbits of planets by treating them as though they are point masses Abstraction used to simplify description of complex objects by ignoring all but ‘important’ features

Background 1-8

slide-18
SLIDE 18

CS1021 Abstraction (continued)

✬ ✫ ✩ ✪

Also procedural abstraction – simplifies description of activities Do this all the time eg walking across the room Without abstraction human thought could have made no progress

Background 1-9

slide-19
SLIDE 19

CS1021 Abstraction (continued)

✬ ✫ ✩ ✪

In CS usually need to model discrete (and finite) objects State of memory Databases Process of computation Hardware Programs Knowledge bases Parallel computing etc etc

Background 1-10

slide-20
SLIDE 20

CS1021 Abstraction (continued)

✬ ✫ ✩ ✪

When make abstraction of these and many other aspects of computer science some relatively simple discrete mathematical structures emerge. Some of these are the subject of this course

Background 1-11

slide-21
SLIDE 21

CS1021

✬ ✫ ✩ ✪

Course contents

Background 1-12

slide-22
SLIDE 22

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures

Background 1-13

slide-23
SLIDE 23

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures
  • Sets and functions

Background 1-13

slide-24
SLIDE 24

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures
  • Sets and functions
  • Logic

Background 1-13

slide-25
SLIDE 25

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures
  • Sets and functions
  • Logic
  • Relations and Graphs

Background 1-13

slide-26
SLIDE 26

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures
  • Sets and functions
  • Logic
  • Relations and Graphs
  • Induction

Background 1-13

slide-27
SLIDE 27

CS1021

✬ ✫ ✩ ✪

Course contents

  • Discrete structures
  • Sets and functions
  • Logic
  • Relations and Graphs
  • Induction
  • Combinatorics and Probability

Background 1-13

slide-28
SLIDE 28

CS1021

✬ ✫ ✩ ✪

Course structure

  • 21 lectures (twice weekly)
  • Examples classes – weekly in lab groups. These will start next week.

Group Z, Monday at 4:00. Group Y, Thursday at 12:00. Exercises, which are contined in course notes, should be done in your log book.

  • Assessment – mid semester test (15%) and exam in January (85%)

Background 1-14

slide-29
SLIDE 29

CS1021

✬ ✫ ✩ ✪

Books

Lots of them, none of them exactly fit the course

Background 1-15

slide-30
SLIDE 30

CS1021

✬ ✫ ✩ ✪

Books

Lots of them, none of them exactly fit the course

  • Discrete Mathematics for Computer Scientists

J.K. Truss Addison Wesley

  • ne of the better ones

Background 1-16

slide-31
SLIDE 31

CS1021

✬ ✫ ✩ ✪

Books

Lots of them, none of them exactly fit the course

  • Discrete Mathematics for Computer Scientists

J.K. Truss Addison Wesley

  • ne of the better ones
  • Discrete Mathematics for Computing

R Haggarty, Addison Wesley 2002

Background 1-16

slide-32
SLIDE 32

CS1021

✬ ✫ ✩ ✪

Books

Lots of them, none of them exactly fit the course

  • Discrete Mathematics for Computer Scientists

J.K. Truss Addison Wesley

  • ne of the better ones
  • Discrete Mathematics for Computing

R Haggarty, Addison Wesley 2002

  • Discrete Mathematics and its Applications

K H Rosen McGraw-Hill 2002

Background 1-16

slide-33
SLIDE 33

CS1021

✬ ✫ ✩ ✪

Books

Background 1-17

slide-34
SLIDE 34

CS1021

✬ ✫ ✩ ✪

Books

  • Discrete Mathematics for New Technology
  • R. Garnier and J. Taylor

Institute of Physics Publishing

Background 1-18

slide-35
SLIDE 35

CS1021

✬ ✫ ✩ ✪

Books

  • Discrete Mathematics for New Technology
  • R. Garnier and J. Taylor

Institute of Physics Publishing

  • and

An introduction to Mathematical Reasoning Peter Eccles CUP

Background 1-18

slide-36
SLIDE 36

CS1021

✬ ✫ ✩ ✪

Books

  • Discrete Mathematics for New Technology
  • R. Garnier and J. Taylor

Institute of Physics Publishing

  • and

An introduction to Mathematical Reasoning Peter Eccles CUP

  • The last two cover only a part of the material in the course. Let me know
  • f any others that you find useful

Background 1-18

slide-37
SLIDE 37

CS1021

✬ ✫ ✩ ✪

Web page

The course web page is at http://www.cs.man.ac.uk/˜graham/cs1021.html

Background 1-19