CS 2130 Computational Structures (Discrete Mathematics for Computing)

Slides:



Advertisements
Similar presentations
School of Computing Clemson University Mathematical Reasoning  Goal: To prove correctness  Method: Use a reasoning table  Prove correctness on all valid.
Advertisements

CSE 202 – Formal Languages and Automata Theory 1 REGULAR LANGUAGE.
1 Undergraduate Curriculum Revision Department of Computer Science February 10, 2010.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
January 5, 2015CS21 Lecture 11 CS21 Decidability and Tractability Lecture 1 January 5, 2015.
Discrete Maths Objective to give some background on the course , Semester 2, Who I am: Andrew Davison WiG Lab
Math 308 Discrete Mathematics Discrete Mathematics deals with “Separated” or discrete sets of objects (rather than continuous sets) Processes with a sequence.
1 CS233601: Discrete Mathematics Department of Computer Science National Tsing Hua University.
About the Course Lecture 0: Sep 2 AB C. Plan  Course Information and Arrangement  Course Requirement  Topics and objectives of this course.
Math443/543 Mathematical Modeling and Optimization
Design Aspects. User Type the URL address on the cell phone or web browser Not required to login.
CS 101 Course Summary December 5, Big Ideas Abstraction Problem solving Fundamentals of programming.
CS Master – Introduction to the Theory of Computation Jan Maluszynski - HT Lecture 1 Introduction Jan Maluszynski, IDA, 2007
From Discrete Mathematics to AI applications: A progression path for an undergraduate program in math Abdul Huq Middle East College of Information Technology,
Discrete Structures for Computer Science Ruoming Jin MW 5:30 – 6:45pm Fall 2009 rm MSB115.
Discrete Structure CS 203 Introduction.
The Fundamentals: Algorithms, the Integers & Matrices.
Do we need theoretical computer science in software engineering curriculum: an experience from Uni Novi Sad Bansko, August 28, 2013.
CS 21a: Intro to Computing I Department of Information Systems and Computer Science Ateneo de Manila University.
About the Course Lecture 0: Sep 10 AB C. Plan  Course Information and Arrangement  Course Requirement  Topics and objectives of this course.
Nama : Jehan binti Jamian No.matrik : UK Discrete Mathematics Area of mathematics that deals with the study of discrete objects. Discusses languages.
© by Kenneth H. Rosen, Discrete Mathematics & its Applications, Sixth Edition, Mc Graw-Hill, 2007 Ch.1 (Part 1): The Foundations: Logic and Proofs Introduction.
CS 103 Discrete Structures Lecture 01 Introduction to the Course
Applications of discrete mathematics: Formal Languages (computer languages) Compiler Design Data Structures Computability Automata Theory Algorithm Design.
Structure of Study Programmes
Discrete Mathematics Transparency No. 0-1 Discrete Mathematics Cheng-Chia Chen September 2009.
Structure of Study Programmes Bachelor of Computer Science Bachelor of Information Technology Master of Computer Science Master of Information Technology.
Introduction to Discrete Mathematics J. H. Wang Sep. 14, 2010.
CSci 2011 Textbook ^Discrete Mathematics and Its Applications,  Rosen  6th Edition  McGraw Hill  2006.
Welcome to Honors Intro to CS Theory Introduction to CS Theory (Honors & Traditional): - formalization of computation - various models of computation (increasing.
Automata, Computability, and Complexity Lecture 1 Section 0.1 Wed, Aug 22, 2007.
Discrete mathematics Kwon, Taekyoung Courtesy of Dr. Michael P. Frank University of Florida.
Korea Advanced Institute of Science and Technology, Dept. of EECS, Div. of CS, Information Systems Lab. 1/10 CS204 Course Overview Prof.
Discrete Mathematics 이재원 School of Information Technology
Relationships Between Structures “→” ≝ “Can be defined in terms of” Programs Groups Proofs Trees Complex numbers Operators Propositions Graphs Real.
Dr. Eng. Farag Elnagahy Office Phone: King ABDUL AZIZ University Faculty Of Computing and Information Technology CPCS 222.
Discrete Structures for Computing
Discrete Structures – CS Text Discrete Mathematics and Its Applications Kenneth H. Rosen (7 th Edition) Chapter 1 The Foundations: Logic and Proofs.
Computer Science 210 Computer Organization Course Introduction.
Chapter 10 Basic Skills Count Chapter 10 Basic Skills Count Lesson 10.2 Applying Other Skills Lesson 10.2 Applying Other Skills.
Discrete Mathematics ( 離散數學 ) Ming-Jer Tsai. Outline What is Discrete Mathematics? Why learn Discrete Mathematics? What will be taught in the class? How.
Master’s Degree in Computer Science. Why? Acquire Credentials Learn Skills –Existing software: Unix, languages,... –General software development techniques.
Models of Computation. Computation: Computation is a general term for any type of information processing information processing CPU memory.
DISCRETE STRUCTURES CHE SUHANA CHE WIL UK WHAT IS DISCRETE MATHEMATICS? STRUCTURES? Discrete Mathematics is mathematics that deal with discrete.
Discrete mathematics Kwon, Tae-kyoung
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
CS/APMA 202 Spring 2005 Aaron Bloomfield. Sequences in Nature
What is Discrete Math?. “Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous.” mathematicalstructuresdiscrete.
Introductory Lecture. What is Discrete Mathematics? Discrete mathematics is the part of mathematics devoted to the study of discrete (as opposed to continuous)
CS 1010– Introduction to Computer Science Daniel Tauritz, Ph.D. Associate Professor of Computer Science Director, Natural Computation Laboratory Academic.
Discrete Structures MT217 Lecture 01. Course Objectives Express statements with the precision of formal logic Analyze arguments to test their validity.
Sub-fields of computer science. Sub-fields of computer science.
Computer Science Courses
CSC 1300 – Discrete Structures
Ch.1 (Part 1): The Foundations: Logic and Proofs
Paper Code : BCA-27 Paper Title : Discrete Mathematics.
A Level Computing AQA (7517)
Discrete Mathematics for Computer Science
Big Ideas in Computer Science
CS 21a: Intro to Computing I
Recursively Defined Functions
Discrete Mathematics and Its Applications
Introduction to Discrete Mathematics
Basic Skills Count Applying Other Skills
Discrete Mathematics in the Real World
Design and Analysis of Algorithms
Discrete Mathematics and Its Applications
Computer Science Courses in the Major
Computer Science Dr Hwang Chair, Computer Science Department
Computer Science 210 Computer Organization
Presentation transcript:

CS 2130 Computational Structures (Discrete Mathematics for Computing)

What is Discrete Mathematics? Discrete Mathematics is the part of mathematics devoted to the study of discrete objects

Discrete Math used whenever: Objects are counted Relationships between finite sets are studied Processes involving a finite number of steps are analyzed

Discrete Math and Computing Discrete Math supports computing efforts because information is stored and manipulated by computing machines in a discrete fashion

Discrete Math solves problems: How many ways are there to choose a valid password on a computer system? What is the probability of winning a lottery? Is there a link between two computers in a network? What is the shortest path between two cities using a transportation system?

Discrete Math solves problems: How can a list of integers be sorted so that the integers are in increasing order? How many steps are required to do such a sorting? How can it be proved that a sorting algorithm correctly sorts a list?

Discrete Math solves problems: How can a circuit that adds two integers be designed? How many valid Internet addresses are there?

Why study Discrete Math? Develop your ability to understand and create mathematical arguments Provide mathematical foundations for data structures, algorithms, database theory, automata theory, formal languages, compiler theory, computer security, and operating systems.

Discrete Math Provides Foundation for: Data Structures Algorithms Database Theory Automata Theory Formal Languages Compiler Theory Computer Security Operating Systems

Goals of CS 2130 Teach mathematical reasoning and problem solving skills Promote original thinking