﻿

## MAT270 discrete mathematics课程简介

Discrete Mathematics is designed to meet the needs not only of students majoring in computer science but of a wider audience, especially students in mathematics and science. The course provides tools for formal reasoning. Topics include counting rules, propositional and first-order logic, set theory, functions (with an emphasis on recursive functions), partial order and equivalence relations, Boolean algebra, and switching circuits. Graphs and trees are also introduced. With an emphasis on communication skills, students are required to interpret, describe, discuss, and justify conclusions based on logical reasoning. While the particular focus of the course is on reasoning related to computer programs, no knowledge of programming is required.
Advisory: It is advisable to have knowledge in a course equivalent to MAT-121: College Algebra with a grade of C or better to succeed in this course. Students are responsible for making sure that they have the necessary knowledge.

## PREREQUISITES

Discrete Mathematics is a fundamental course that provides a solid foundation for computer science, mathematics, and science students. The course covers a wide range of topics, including counting rules, logic, set theory, functions, relations, Boolean algebra, and graph theory. The emphasis on formal reasoning and communication skills makes this course valuable to all students.

To succeed in this course, it is advisable to have a good understanding of college algebra, as it forms the basis of many concepts covered in the course. Students should ensure that they have the necessary prerequisite knowledge before enrolling in the course.

The course provides tools for formal reasoning, which are essential for students pursuing computer science or related fields. These tools enable students to analyze and design algorithms, write correct programs, and prove the correctness of programs.

Overall, discrete mathematics is a challenging but rewarding course that prepares students for further study in computer science, mathematics, and science. The skills and knowledge gained in this course are valuable not only in academia but also in industry and other fields.

## MAT270 discrete mathematics HELP（EXAM HELP， ONLINE TUTOR）

1. A stack of cans (see Figure 1) refers to an arrangement of $n$ (equal-sized) cans in rows such that (i) the cans in each row form a single continuous block, and (ii) any can, except the ones in the bottom row, touches exactly two cans from the row beneath it. If the bottom row contains $k$ cans, this is a $(n, k)$ stack of cans. Figure 1 shows a $(28,12)$ stack of cans.
Your article should give a formula (as a function of $k$ ) for the number $s_k$ of stack of cans with exactly $k$ cans in the bottom row (and an arbitrary total number of cans). Your article should at least contain:
• A generating function for $\left(s_k\right)_{k \geq 0}$,
• A closed-form formula for $s_k$ for any $k \geq 0$,
• A relation between $s_k$ and another well-known sequence of numbers.
If you can find a bijective proof for $s_k$, you could also provide it. This is however not compulsory and should not replace any of the items above.

Let $S(x)$ be the generating function for the sequence ${s_k}{k\geq 0}$, i.e., $S(x)=\sum{k\geq 0} s_kx^k$. We can derive a recursive formula for $S(x)$ as follows:

Consider a $(n,k+1)$ stack of cans. If we remove the bottom row of $k+1$ cans, we are left with a $(n-k-1,k)$ stack of cans. Conversely, given any $(n-k-1,k)$ stack of cans, we can add a row of $k+1$ cans to the bottom to obtain a $(n,k+1)$ stack of cans. Therefore, we have the recurrence relation:

s_{k+1}=\sum_{n=k+1}^{\infty}s_{k}(n-k-1),sk+1​=n=k+1∑∞​sk​(nk−1),

where $s_k(n-k-1)$ represents the number of $(n,k+1)$ stacks of cans obtained by adding a row of $k+1$ cans to the top of a $(n-k-1,k)$ stack of cans.

Multiplying both sides of the recurrence relation by $x^{k+1}$ and summing over $k\geq 0$, we get:

\begin{aligned} \sum_{k\geq 0}s_{k+1}x^{k+1} &= \sum_{k\geq 0}\sum_{n=k+1}^{\infty}s_k(n-k-1)x^{k+1}\\ &= \sum_{n\geq 1}\sum_{k=0}^{n-1}s_k(n-k-1)x^{k+1}\\ &= \sum_{n\geq 1}\sum_{j=1}^{n-1}s_{n-j-1}jx^{n}\\ &= x\sum_{n\geq 1}\sum_{j=0}^{n-1}s_{n-j-1}jx^{n-1}\\ &= x\sum_{n\geq 0}\sum_{j=0}^{n}s_{n-j}jx^{n}\\ &= x\left(\sum_{n\geq 0}s_nx^n\right)\left(\sum_{j\geq 0}jx^j\right)\\ &= x\left(\sum_{n\geq 0}s_nx^n\right)\left(\frac{x}{(1-x)^2}\right). \end{aligned}k≥0∑​sk+1​xk+1​=k≥0∑​n=k+1∑∞​sk​(n−k−1)xk+1=n≥1∑​k=0∑n−1​sk​(n−k−1)xk+1=n≥1∑​j=1∑n−1​sn−j−1​jxn=xn≥1∑​j=0∑n−1​sn−j−1​jxn−1=xn≥0∑​j=0∑n​sn−j​jxn=x(n≥0∑​sn​xn)(j≥0∑​jxj)=x(n≥0∑​sn​xn)((1−x)2x​).​

Therefore,

S(x)=\frac{x}{(1-x)^2}\sum_{k\geq 0}s_kx^k.S(x)=(1−x)2x​k≥0∑​sk​xk.

Solving for $\sum_{k\geq 0}s_kx^k$ in terms of $S(x)$, we obtain:

\sum_{k\geq 0}s_kx^k = x(1-x)S(x).k≥0∑​sk​xk=x(1−x)S(x).

Since $s_0=1$, we have $\sum_{k\geq 0}s_k=1$, which implies that $S(1)=1$. Therefore, we have:

\sum_{k\geq 0}s_kx^k = \frac{x(1-x)}{(1-x)^2-x}=\frac{x}{1-2x+x^2}.k≥0∑​sk​xk=(1−x)2−xx(1−x)​=1−2x+x2x​.

Using partial fraction decomposition, we can write.

1. Recall the inclusion / exclusion formula, let $A_1, A_2, \ldots, A_n$ be events, and
$$S_k:=\sum_{1 \leq i_1<i_2<\cdots<i_k \leq n} \mathbb{P}\left(A_{i_1} \bigwedge A_{i_2} \bigwedge \ldots \bigwedge A_{i_k}\right) .$$
The inclusion/exclusion formula gives
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right)=\sum_{j=1}^n(-1)^{j-1} S_j$$
In this problem we will develop and use an extension of it.
• Show that for all odd $k$ in ${1, \ldots, n}$,
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right) \leq \sum_{j=1}^k(-1)^{j-1} S_j,$$
and describe how the union bound is a special case of this.
• Show that for all even $k$ in ${1, \ldots, n}$,
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right) \geq \sum_{j=1}^k(-1)^{j-1} S_j$$

The inclusion-exclusion principle is a powerful tool in probability theory, used to calculate the probability of the union of events. The standard form of the principle provides an exact formula for the probability of the union of $n$ events $A_1, A_2, \ldots, A_n$:

\mathbb{P}\left(\bigvee_{i=1}^n A_i\right)=\sum_{k=1}^n(-1)^{k-1} \sum_{1 \leq i_1<i_2<\cdots<i_k \leq n} \mathbb{P}\left(A_{i_1} \bigwedge A_{i_2} \bigwedge \ldots \bigwedge A_{i_k}\right) ,P(i=1⋁n​Ai​)=k=1∑n​(−1)k−11≤i1​<i2​<⋯<ik​≤n∑​P(Ai1​​⋀Ai2​​⋀…⋀Aik​​),

where $S_k$ is the sum over all $k$-fold intersections of events $A_i$. In this article, we will extend the inclusion-exclusion principle to provide tighter bounds on the probability of the union of events, based on the parity of the size of the intersection.

Let $A_1, A_2, \ldots, A_n$ be events, and let $S_k$ be as defined above. We will prove two separate inequalities based on the parity of $k$.

For odd $k$, we have:

\begin{align*} \mathbb{P}\left(\bigvee_{i=1}^n A_i\right) &= \sum_{k=1}^n (-1)^{k-1} S_k + (-1)^n \mathbb{P}\left(\bigwedge_{i=1}^n A_i\right) \ &\leq \sum_{k=1}^n (-1)^{k-1} S_k, \end{align*}

where the inequality follows from the fact that $\mathbb{P}\left(\bigwedge_{i=1}^n A_i\right) \geq 0$.

To see why this inequality holds, note that for odd $k$, the sum over all $k$-fold intersections in the inclusion-exclusion formula alternates in sign, starting with a positive sign. Therefore, the first $k$ terms in the sum are positive, and the remaining terms are negative. In particular, the sum up to $k$ is greater than or equal to the sum up to $k+1$, which implies the inequality.

The union bound is a special case of this inequality, where $k=1$. In this case, we have:

\mathbb{P}\left(\bigvee_{i=1}^n A_i\right) \leq \mathbb{P}\left(\bigvee_{i=1}^n A_i\right) + \mathbb{P}\left(\bigwedge_{i=1}^n \overline{A_i}\right) = 1,P(i=1⋁n​Ai​)≤P(i=1⋁n​Ai​)+P(i=1⋀n​Ai​​)=1,

where $\overline{A_i}$ denotes the complement of $A_i$. Therefore, the probability of the union of events is always less than or equal to 1.

## Textbooks

• An Introduction to Stochastic Modeling, Fourth Edition by Pinsky and Karlin (freely
available through the university library here)
• Essentials of Stochastic Processes, Third Edition by Durrett (freely available through
the university library here)
To reiterate, the textbooks are freely available through the university library. Note that
you must be connected to the university Wi-Fi or VPN to access the ebooks from the library
links. Furthermore, the library links take some time to populate, so do not be alarmed if
the webpage looks bare for a few seconds.

﻿

Statistics-lab™可以为您提供tesu.edu MAT270 discrete mathematics离散数学课程的代写代考辅导服务！ 请认准Statistics-lab™. Statistics-lab™为您的留学生涯保驾护航。

﻿

## MAT270 discrete mathematics课程简介

Discrete Mathematics is designed to meet the needs not only of students majoring in computer science but of a wider audience, especially students in mathematics and science. The course provides tools for formal reasoning. Topics include counting rules, propositional and first-order logic, set theory, functions (with an emphasis on recursive functions), partial order and equivalence relations, Boolean algebra, and switching circuits. Graphs and trees are also introduced. With an emphasis on communication skills, students are required to interpret, describe, discuss, and justify conclusions based on logical reasoning. While the particular focus of the course is on reasoning related to computer programs, no knowledge of programming is required.
Advisory: It is advisable to have knowledge in a course equivalent to MAT-121: College Algebra with a grade of C or better to succeed in this course. Students are responsible for making sure that they have the necessary knowledge.

## PREREQUISITES

Discrete Mathematics is a fundamental course that provides a solid foundation for computer science, mathematics, and science students. The course covers a wide range of topics, including counting rules, logic, set theory, functions, relations, Boolean algebra, and graph theory. The emphasis on formal reasoning and communication skills makes this course valuable to all students.

To succeed in this course, it is advisable to have a good understanding of college algebra, as it forms the basis of many concepts covered in the course. Students should ensure that they have the necessary prerequisite knowledge before enrolling in the course.

The course provides tools for formal reasoning, which are essential for students pursuing computer science or related fields. These tools enable students to analyze and design algorithms, write correct programs, and prove the correctness of programs.

Overall, discrete mathematics is a challenging but rewarding course that prepares students for further study in computer science, mathematics, and science. The skills and knowledge gained in this course are valuable not only in academia but also in industry and other fields.

## MAT270 discrete mathematics HELP（EXAM HELP， ONLINE TUTOR）

1. Read the theorem and proof below. Starting with the second sentence of the proof, identify the familiar information and the important new information in each sentence. Then revise to improve the information order and connectivity, without revising the theorem, the first sentence of the proof, or the figure caption.

Theorem: The sum of the angles in a triangle is 180 degrees.

Proof: Let ABC be a triangle. Draw a line through C parallel to AB, as shown in Figure 1. This line intersects AB at point D.

The angle sum of triangle ABC is equal to the sum of angles A, B, and C, which is also equal to the sum of angles A and D plus the sum of angles D, B, and C.

Angles A and D form a straight line, so their sum is 180 degrees. Similarly, angles D, B, and C form a straight line, so their sum is also 180 degrees. Therefore, the angle sum of triangle ABC is equal to 180 degrees.

Revised proof:

Let ABC be a triangle, and consider the line through C parallel to AB as shown in Figure 1. We label the intersection of this line with AB as point D.

To prove the theorem, we begin by noting that the angle sum of triangle ABC is equal to the sum of angles A, B, and C. This sum is also equal to the sum of angles A and D plus the sum of angles D, B, and C.

Next, we observe that angles A and D form a straight line, so their sum is 180 degrees. Likewise, angles D, B, and C also form a straight line, so their sum is also 180 degrees.

Combining these results, we conclude that the angle sum of triangle ABC is equal to 180 degrees, as required.

1. Read your solution to Pset 2 Problem 1 and look for places where changing the order of information could improve the connectivity.
(a) Revise Pset 2 Problem 1, considering the comments you received, the information order and connectivity, and anything else you see that would benefit from revision. (In particular, if you received a low grade on this problem, you should consider major revisions.)
2. (b) Indicate at least one instance in which you revised information order to improve connectivity. If you didn’t do so, then indicate at least one instance from the original version in which information is ordered in a way that creates connectivity.

(a) Revised Pset 2 Problem 1:

Suppose we have a collection of $n$ items, each of which can either be blue or green. We call a collection of items “balanced” if it contains an equal number of blue and green items. We wish to count the number of balanced collections.

To begin, let us consider the case where $n$ is even. We can then split the collection into two equal halves of size $n/2$, and count the number of balanced collections for each half. We can then multiply these counts to obtain the total number of balanced collections for the entire collection.

Now suppose $n$ is odd. We can still split the collection into two halves of size $(n-1)/2$ and $(n+1)/2$. We then count the number of balanced collections for each half, and multiply these counts. However, we must also account for the fact that there is one extra item, which can either be blue or green. Thus, we must add the number of balanced collections for each half where we have one more blue item, and also the number of balanced collections for each half where we have one more green item. This gives us the total number of balanced collections for the entire collection.

(b) An instance of revised information order to improve connectivity:

In the revised version, we start by defining what a balanced collection is before delving into the counting process. This helps to establish the context for the problem and make it clear what we are trying to accomplish.

## Textbooks

• An Introduction to Stochastic Modeling, Fourth Edition by Pinsky and Karlin (freely
available through the university library here)
• Essentials of Stochastic Processes, Third Edition by Durrett (freely available through
the university library here)
To reiterate, the textbooks are freely available through the university library. Note that
you must be connected to the university Wi-Fi or VPN to access the ebooks from the library
links. Furthermore, the library links take some time to populate, so do not be alarmed if
the webpage looks bare for a few seconds.

﻿

Statistics-lab™可以为您提供tesu.edu MAT270 discrete mathematics离散数学课程的代写代考辅导服务！ 请认准Statistics-lab™. Statistics-lab™为您的留学生涯保驾护航。

﻿

## MAT270 discrete mathematics课程简介

Discrete Mathematics is designed to meet the needs not only of students majoring in computer science but of a wider audience, especially students in mathematics and science. The course provides tools for formal reasoning. Topics include counting rules, propositional and first-order logic, set theory, functions (with an emphasis on recursive functions), partial order and equivalence relations, Boolean algebra, and switching circuits. Graphs and trees are also introduced. With an emphasis on communication skills, students are required to interpret, describe, discuss, and justify conclusions based on logical reasoning. While the particular focus of the course is on reasoning related to computer programs, no knowledge of programming is required.
Advisory: It is advisable to have knowledge in a course equivalent to MAT-121: College Algebra with a grade of C or better to succeed in this course. Students are responsible for making sure that they have the necessary knowledge.

## PREREQUISITES

Discrete Mathematics is a fundamental course that provides a solid foundation for computer science, mathematics, and science students. The course covers a wide range of topics, including counting rules, logic, set theory, functions, relations, Boolean algebra, and graph theory. The emphasis on formal reasoning and communication skills makes this course valuable to all students.

To succeed in this course, it is advisable to have a good understanding of college algebra, as it forms the basis of many concepts covered in the course. Students should ensure that they have the necessary prerequisite knowledge before enrolling in the course.

The course provides tools for formal reasoning, which are essential for students pursuing computer science or related fields. These tools enable students to analyze and design algorithms, write correct programs, and prove the correctness of programs.

Overall, discrete mathematics is a challenging but rewarding course that prepares students for further study in computer science, mathematics, and science. The skills and knowledge gained in this course are valuable not only in academia but also in industry and other fields.

## MAT270 discrete mathematics HELP（EXAM HELP， ONLINE TUTOR）

1. A stack of cans (see Figure 1) refers to an arrangement of $n$ (equal-sized) cans in rows such that (i) the cans in each row form a single continuous block, and (ii) any can, except the ones in the bottom row, touches exactly two cans from the row beneath it. If the bottom row contains $k$ cans, this is a $(n, k)$ stack of cans. Figure 1 shows a $(28,12)$ stack of cans.
Your article should give a formula (as a function of $k$ ) for the number $s_k$ of stack of cans with exactly $k$ cans in the bottom row (and an arbitrary total number of cans). Your article should at least contain:
• A generating function for $\left(s_k\right)_{k \geq 0}$,
• A closed-form formula for $s_k$ for any $k \geq 0$,
• A relation between $s_k$ and another well-known sequence of numbers.
If you can find a bijective proof for $s_k$, you could also provide it. This is however not compulsory and should not replace any of the items above.

A stack of cans is an arrangement of $n$ cans in rows such that each row contains a single continuous block, and except for the bottom row, each can in the stack touches exactly two cans from the row below it. We call a stack with $k$ cans in the bottom row a $(n,k)$ stack. In this article, we will derive a formula for the number of $(n,k)$ stacks, denoted by $s_k$.

Let $s_n$ be the number of $(n,k)$ stacks. We can define the generating function $S(x) = \sum_{n \geq 0} s_n x^n$. Consider the first can in the bottom row of a $(n,k)$ stack. We can place this can in the leftmost or rightmost position of the bottom row, so there are $k$ choices for the position of this can. The cans above this can can be partitioned into two stacks, one to the left and one to the right. Let the sizes of these stacks be $a$ and $b$ respectively, so $a + b + 1 = n – k$. The stack to the left must have at least one can, so $a \geq 1$. The generating function $S(x)$ can then be expressed as:

S(x) = x^k \sum_{a=1}^{n-k-1} \sum_{b=0}^{n-k-1-a} s_a x^a s_b x^b.S(x)=xka=1∑n−k−1​b=0∑n−k−1−a​sa​xasb​xb.

The factor of $x^k$ comes from the choice of position for the first can in the bottom row, and the limits of the summations ensure that the sizes of the left and right stacks are nonnegative and sum to $n-k-1$.

We can simplify this expression using the fact that $s_0 = 1$ (there is only one way to stack zero cans), so:

\begin{aligned} S(x) &= x^k \sum_{a=1}^{n-k-1} \sum_{b=0}^{n-k-1-a} s_a x^a s_b x^b \\ &= x^k \sum_{a=0}^{n-k-1} \sum_{b=0}^{n-k-1-a} s_a x^a s_b x^b – s_0 x^k \\ &= x^k \left(\sum_{a=0}^{n-k} s_a x^a\right)^2 – x^k. \end{aligned}S(x)​=xka=1∑n−k−1​b=0∑n−k−1−a​sa​xasb​xb=xka=0∑n−k−1​b=0∑n−k−1−a​sa​xasb​xb−s0​xk=xk(a=0∑n−k​sa​xa)2−xk.​

Thus, we have the formula:

S(x) = \frac{x^k}{1 – \left(\sum_{a=0}^{n-k} s_a x^a\right)^2}.S(x)=1−(∑a=0n−k​sa​xa)2xk​.

We can use partial fractions to expand the generating function $S(x)$ into a sum of simpler terms. Let $\alpha_i$ be the distinct roots of the polynomial $\sum_{a=0}^{n-k} s_a x^a$, and let $\beta_i$ be the multiplicities of these roots. Then:

S(x) = \frac{x^k}{\prod_{i=1}^m (1 – \alpha_i x)^{\beta_i}} = \sum_{i=1}^m \sum_{j=1}^{\beta_i} \frac{c_{i,j}}{(1 – \alpha_i x)^j},S(x)=∏i=1m​(1−αi​x)βi​xk​=i=1∑m​j=1∑βi​​(1−αi​x)jci,j​​,

where $c_{i,j}$ are constants to be determined. Equating the coefficients of $x^n$ on both sides

1. Recall the inclusion / exclusion formula, let $A_1, A_2, \ldots, A_n$ be events, and
$$S_k:=\sum_{1 \leq i_1<i_2<\cdots<i_k \leq n} \mathbb{P}\left(A_{i_1} \wedge A_{i_2} \wedge \ldots \wedge A_{i_k}\right) .$$
The inclusion/exclusion formula gives
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right)=\sum_{j=1}^n(-1)^{j-1} S_j$$
In this problem we will develop and use an extension of it.
• Show that for all odd $k$ in ${1, \ldots, n}$,
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right) \leq \sum_{j=1}^k(-1)^{j-1} S_j$$
and describe how the union bound is a special case of this.
• Show that for all even $k$ in ${1, \ldots, n}$,
$$\mathbb{P}\left(\bigvee_{i=1}^n A_i\right) \geq \sum_{j=1}^k(-1)^{j-1} S_j$$

We begin by observing that for any $k\in{1,\ldots,n}$, we have \begin{align*} \mathbb{P}\left(\bigvee_{i=1}^n A_i\right) &= \sum_{i=1}^n\mathbb{P}(A_i) – \sum_{1\le i<j\le n}\mathbb{P}(A_i\wedge A_j) + \sum_{1\le i<j<k\le n}\mathbb{P}(A_i\wedge A_j\wedge A_k) – \cdots\ &\qquad\cdots + (-1)^{n-1}\mathbb{P}(A_1\wedge A_2\wedge\cdots\wedge A_n). \end{align*} We denote the $k$th term of this expansion by $T_k$.

Now suppose that $k$ is odd. We want to show that $\mathbb{P}(\bigvee_{i=1}^n A_i)\leq \sum_{j=1}^k(-1)^{j-1}S_j$. We have \begin{align*} \sum_{j=1}^k(-1)^{j-1}S_j &= T_1 – T_2 + T_3 – \cdots + (-1)^{k-1}T_k\ &= \mathbb{P}(A_1) – \sum_{1\le i<j\le n}\mathbb{P}(A_i\wedge A_j) + \cdots + (-1)^{k-1}\sum_{1\le i_1<i_2<\cdots<i_k\le n}\mathbb{P}(A_{i_1}\wedge A_{i_2}\wedge\cdots\wedge A_{i_k})\ &\ge \mathbb{P}(A_1) – \sum_{1\le i<j\le n}\mathbb{P}(A_i\wedge A_j) + \cdots + (-1)^{k-1}\mathbb{P}\left(\bigvee_{i=1}^n A_i\right)\ &= \sum_{j=1}^{k-1}(-1)^{j-1}S_j + (-1)^{k-1}\mathbb{P}\left(\bigvee_{i=1}^n A_i\right)\ &\ge (-1)^{k-1}\mathbb{P}\left(\bigvee_{i=1}^n A_i\right), \end{align*} where we have used the fact that $\mathbb{P}(\bigvee_{i=1}^n A_i)\geq 0$ and that $(-1)^{j-1}S_j\geq 0$ for all $j\in{1,\ldots,k}$.

## Textbooks

• An Introduction to Stochastic Modeling, Fourth Edition by Pinsky and Karlin (freely
available through the university library here)
• Essentials of Stochastic Processes, Third Edition by Durrett (freely available through
the university library here)
To reiterate, the textbooks are freely available through the university library. Note that
you must be connected to the university Wi-Fi or VPN to access the ebooks from the library
links. Furthermore, the library links take some time to populate, so do not be alarmed if
the webpage looks bare for a few seconds.

﻿

Statistics-lab™可以为您提供tesu.edu MAT270 discrete mathematics离散数学课程的代写代考辅导服务！ 请认准Statistics-lab™. Statistics-lab™为您的留学生涯保驾护航。