5424 Words22 Pages

Introduction to Discrete Structures --- Whats and Whys
What is Discrete Mathematics ?
Discrete mathematics is mathematics that deals with discrete objects. Discrete objects are those which are separated from (not connected to/distinct from) each other. Integers (aka whole numbers), rational numbers (ones that can be expressed as the quotient of two integers), automobiles, houses, people etc. are all discrete objects. On the other hand real numbers which include irrational as well as rational numbers are not discrete. As you know between any two different real numbers there is another real number different from either of them. So they are packed without any gaps and can not be separated from their immediate neighbors. In that sense*…show more content…*

+ A(1 + R)n . While this argument seems rigorous enough, in fact practically it is a good enough argument, when one wishes to be very rigorous, the ellipsis ... in the sum for S is not considered precise. You are expected to interpret it in a certain specific way. But it can be interpreted in a number of different ways. In fact it can mean anything. Thus if one wants to be rigorous, and absolutely sure about the correctness of the formula, one needs some other way of verifying it than using the ellipsis. Since one needs to verify it for infinitely many cases (infinitely many values of A, R and n), some kind of formal approach, abstracted away from actual numbers, is required. Suppose now that somehow we have formally verified the formula successfully and we are absolutely sure that it is correct. It is a good idea to write a computer program to compute that S, especially with (1 + R)n + 1 to be computed. Suppose again that we have written a program to compute S. How can we know that the program is correct ? As we know, there are infinitely many possible input values (that is, values of A, R and n). Obviously we can not test it for infinitely many cases. Thus we must take some formal approach. Related to the problem of correctness of computer programs, there is the well known "Halting Problem". This problem, if put into the context of program correctness, asks whether or not a given computer program stops on a given input after a finite amount of time. This

+ A(1 + R)n . While this argument seems rigorous enough, in fact practically it is a good enough argument, when one wishes to be very rigorous, the ellipsis ... in the sum for S is not considered precise. You are expected to interpret it in a certain specific way. But it can be interpreted in a number of different ways. In fact it can mean anything. Thus if one wants to be rigorous, and absolutely sure about the correctness of the formula, one needs some other way of verifying it than using the ellipsis. Since one needs to verify it for infinitely many cases (infinitely many values of A, R and n), some kind of formal approach, abstracted away from actual numbers, is required. Suppose now that somehow we have formally verified the formula successfully and we are absolutely sure that it is correct. It is a good idea to write a computer program to compute that S, especially with (1 + R)n + 1 to be computed. Suppose again that we have written a program to compute S. How can we know that the program is correct ? As we know, there are infinitely many possible input values (that is, values of A, R and n). Obviously we can not test it for infinitely many cases. Thus we must take some formal approach. Related to the problem of correctness of computer programs, there is the well known "Halting Problem". This problem, if put into the context of program correctness, asks whether or not a given computer program stops on a given input after a finite amount of time. This

Related

## Applications of Discrete Mathematics

2036 Words | 9 PagesDISCRETE MATHEMATICS Discrete mathematics is the study of mathematical structures that are fundamentally discrete rather than continuous. In contrast to real numbers that have the property of varying "smoothly", the objects studied in discrete mathematics – such as integers, graphs, and statements in logic – do not vary smoothly in this way, but have distinct, separated values. Discrete mathematics therefore excludes topics in "continuous mathematics" such as calculus and analysis. Discrete objects

## Discrete Mathematics

954 Words | 4 Pages= 1 + 2 + 3 + 4 + 5 + 6 + 7= 28 8 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8= 36 9 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9= 45 10 = 1 + 2 + 3 + 4 + 5 + 6 + 7 + 8 + 9 + 1= 55 Run time equals O ( ( n * (n + 1)) / 2 References Johnsborough, R. (2009) Discrete Mathematics 7th Edition. (N.D.) Binary search algorithm. Retrieved on March 24, 2014 from https://www.princeton.edu/~achaney/tmve/wiki100k/docs/Binary_search_algorithm.html (November 24, 2011). Computer Algorithms: Sequential Search. Retrieved on March

## mth221 r2 network flows case study Essay

7741 Words | 31 Pages23 Network Flows Author: versity. Arthur M. Hobbs, Department of Mathematics, Texas A&M Uni- Prerequisites: The prerequisites for this chapter are graphs and trees. See Sections 9.1 and 10.1 of Discrete Mathematics and Its Applications. Introduction In this chapter we solve three very diﬀerent problems. Example 1 Joe the plumber has made an interesting oﬀer. He says he has lots of short pieces of varying gauges of copper pipe; they are nearly worthless to him, but for only 1/5 of the usual cost

## My Wish to Pursue a Master's Degree in Machine Learning and Computer Science

925 Words | 4 Pagesthe National Organization for the Development of Exceptional Talents (NODET) through an exam with less than 1% acceptance rate, which is mainly based on mathematics and intelligence questions. In our middle school, affiliated with the NODET, we were trained in a more advanced level in many fields of study, which made me more interested in Mathematics and Physics. When I was 15, I read Fundamentals of Physics by David Halliday on my own as an extracurricular activity. It was fascinating for me that

## Essay On Engineering Service Systems

1134 Words | 5 Pagesof this problem. From the identification of key human factors that need to be understood to the advancement of computational frameworks yet while closer than before, we have still a long way to go. Behavioral and cognitive science, engineering, mathematics and computational sciences are needed to make engineered systems team more seamlessly and effectively with humans. Service scientists then need to take these emerging cyber-physical-social systems and design the service system with the human beneficiary

## Pascal 's Triangle : Special Mathematical Properties

704 Words | 3 PagesPascal’s triangle that states the sum of the numbers in any row of Pascal’s triangle is a power of two should be regarded as mathematically correct and logical because it mirrors the combinatorial proof proposed by Sarada Herke, who holds a Ph.D. in mathematics. Incorrect calculations pose a major threat to the validity of my proofs. Miscalculations and faulty logic are inherent to human nature, and could lead to my demise. Thus, they are a source of error in this research/project. I believe my procedure

## Euclid of Alexandria “The Element” Euclid, also known as Euclid of Alexandria, lived from 323-283

700 Words | 3 Pagesteacher that taught lessons across the world. He taught at Alexandria in Egypt. Euclid’s most well-known work is his treatise on geometry: The Elements. His Elements is one of the most influential works in the history of mathematics, serving as the source textbook for teaching mathematics on different grade levels. His geometry work was used especially from the time of publication until the late 19th and early 20th century Euclid reasoned the principles of what is now called Euclidean geometry, which

## Management and National Service Training

1620 Words | 7 Pagescalculus | 3 | | | Cs 3111 | Discrete mathematics i | 3 | | | Cs 3112 | Operating system | 3 | | | Cs 3113 | Presentation skills in i.t | 3 | | | Coe 311 lt | Logic design | 4 | | | Cs elec 311 | Html / web page design | 3 | | | | Semester 6 | | | | Soc sc 326 | Values ad work ethics | 3 | | | Soc sc 327 | Principles of economics with taxation and agrarian reform | 3 | | | Cs 3214 | Discrete mathematics ii | 3 | | | Cs 3215 l1 | Research

## Numerical Modeling And Tropical Meteorology

991 Words | 4 Pagesreading Principles of Meteorological Analysis, I encountered PDEs describing dynamics of atmosphere, which was incomprehensible for me then. Realizing that a solid math foundation would be critical to further study in meteorology, I chose to study mathematics in University of California, Los Angeles (UCLA). After finishing basic math courses, I challenged myself with a year-long series of honors algebra course, in which group theory, ring theory and Galois theory were covered. The homework sets and

## Nonlinear Dynamics And Its Effect On The Performance Of Controller Drastically

1266 Words | 6 Pagesacquired in predictive control, which is called predictive model. This model should be capable of predicting system’s behavior to provide the designer with required outputs in prediction horizon k using system’s information till the moment t. In mathematic words, it should be able to predict y ̂(t+k│t). After stablishing the predictive model, an appropriate cost function is needed to be determined in a way such that its minimization results in the optimized control rule. The objective function usually

### Applications of Discrete Mathematics

2036 Words | 9 Pages### Discrete Mathematics

954 Words | 4 Pages### mth221 r2 network flows case study Essay

7741 Words | 31 Pages### My Wish to Pursue a Master's Degree in Machine Learning and Computer Science

925 Words | 4 Pages### Essay On Engineering Service Systems

1134 Words | 5 Pages### Pascal 's Triangle : Special Mathematical Properties

704 Words | 3 Pages### Euclid of Alexandria “The Element” Euclid, also known as Euclid of Alexandria, lived from 323-283

700 Words | 3 Pages### Management and National Service Training

1620 Words | 7 Pages### Numerical Modeling And Tropical Meteorology

991 Words | 4 Pages### Nonlinear Dynamics And Its Effect On The Performance Of Controller Drastically

1266 Words | 6 Pages