bài tập lớn môn cấu trúc rời rạc midtern essay

<span class="text_page_counter">Trang 1</span><div class="page_container" data-page="1">

<b>TỔNG LIÊN ĐOÀN LAO ĐỘNG VIỆT NAM TRƯỜNG ĐẠI HỌC TÔN ĐỨC THẮNG </b>

<b>KHOA CÔNG NGHỆ THÔNG TIN </b>

<b>BÀI TẬP LỚN MÔN CẤU TRÚC RỜI RẠC </b>

<b>MIDTERN ESSAY </b>

<b> </b>

Người hướng dẫn: THẦY NGUYỄN QUỐC BÌNH

<b>Người thực hiện: ĐOÀN PHƯƠNG NAM - 52000895 Lớp : 20050261 Khoá : 24 </b>

<b>THÀNH PHỐ HỒ CHÍ MINH, NĂM 2021</b>

TỔNG LIÊN ĐỒN LAO ĐỘNG VIỆT NAM

<b>TRƯỜNG ĐẠI HỌC TÔN ĐỨC THẮNG KHOA CÔNG NGHỆ THÔNG TIN </b>

</div><span class="text_page_counter">Trang 2</span><div class="page_container" data-page="2">

BÀI TẬP LỚN MÔN CẤU TRÚC RỜI RẠC<b> </b>

<b>MIDTERN ESSAY </b>

Người hướng dẫn: THẦY NGUYỄN QUỐC BÌNH

<b>Người thực hiện: ĐOÀN PHƯƠNG NAM - 52000895 Lớp : 20050261 Khoá : 24 </b>

<b>THÀNH PHỐ HỒ CHÍ MINH, NĂM 2021</b>

</div><span class="text_page_counter">Trang 3</span><div class="page_container" data-page="3">

<b>LỜI C</b>ẢM ƠN

chép theo mẫu những “lời cảm ơn” đã có. Tơi xin chân thành cảm ơn

Dù cố gắng rất nhiều trong suốt quá trình làm bài báo cáo này, nếu có nhiều hạn chế, hay thiếu sót gì mong được sự đóng góp ý kiến của các thầy cơ ạ.

TP. Hồ Chí Minh, ngày 11 tháng 9 năm 2021 Tác giả

(Ký tên và ghi rõ họ tên)

Đoàn Phương Nam

<b> </b>

</div><span class="text_page_counter">Trang 4</span><div class="page_container" data-page="4">

<b>BÁO CÁO </b>ĐƯỢ<b>C HOÀN THÀNH TẠI TRƯỜNG ĐẠI HỌC TƠN ĐỨC THẮNG </b>

Tơi xin cam đoan đây là cơng trình nghiên cứu của riêng tơi và được sự

xét, đánh giá được chính tác giả thu thập từ các nguồn khác nhau có ghi rõ trong phần tài liệu tham khảo.

Ngồi ra, trong Khóa luận/Đồ án tốt nghiệp còn sử dụng một số nhận xét, đánh giá cũng như số liệu của các tác giả khác, cơ quan tổ chức khác đều có trích

<b>dẫn và chú thích nguồn gốc. </b>

Nếu phát hiện có bất kỳ sự gian lận nào tơi xin hồn tồn chịu trách nhiệm về nội dung bài tập lớn. Trường Đại học Tôn Đức Thắng không liên quan đến những vi phạm tác quyền, bản quyền do tơi gây ra trong q trình thực hiện (nếu có).

Tác giả (Ký tên và ghi rõ họ tên)

Đoàn Phương Nam

</div><span class="text_page_counter">Trang 5</span><div class="page_container" data-page="5">

<b>TĨM T T </b>Ắ

Bài báo cáo được hồn tất 100% với các những vấn đề cần được giải quyết như là Password, Conditional Statements, Fallacies, Tarski’s world, Symbolic form và equivalence. Hầu như các các vấn đề dưới đây đều giải quyết bằng toán logic , với mỗi bài được tư duy logic và chính xác để đưa ra những kết quả chính xác nhất.

</div><span class="text_page_counter">Trang 6</span><div class="page_container" data-page="6">

2.1 Problem 4: Tarski’s world ... 7

2.2 Problem 5: Symbolic form ... 10

2.3 Problem 6: Equivalence ... 11

<b>TÀI LIỆU THAM KHẢO ... 13</b>

</div><span class="text_page_counter">Trang 7</span><div class="page_container" data-page="7">

<b>PROBLEMS PART 1 </b>–

<b>1.1 Problem 1: Password </b>

472 – 1 số đúng nhưng sai vị trí 581 – 1 số đúng nhưng sai vị trí 483 – 1 số đúng và đúng vị trí 317 – 2 số đúng nhưng sai vị trí 956 – tất cả số đều saiTa làm như sau:

(1) 483 – 472 có số chung là 4 và ta giả sử số đúng là 4 nhưng vì 472 có 1 số đúng nhưng sai vị trí , mà vị trí đó lại đúng với 483 nên là ta loại được số 4

(2) 483 – 581 có số chung là 8 và ta giả sử số đúng là 8 nhưng vì 581 có 1 số đúng

<b>nhưng sai vị trí, mà vị trí đó lại đúng với 483 nên ta loại được số 8 </b>

(3) Từ (1)(2) ta có được 483 – có số đúng là 3 và đúng vị trí.(4) 956 là tất cả số sai nên là ta sẽ loại được số 5 của 581

(5) Vậy ta còn giả thuyết là X72 và X81 là đều có 1 số đúng và sai vị trí

(6) 317 – 2 số đúng nhưng sai vị trí và giả sử số đúng là số 1 nhưng sai vị trí, so với X81 lại có 1 số đúng nhưng sai vị trí nên là số 1 sẽ đứng vị trí đầu tiên

(7) 317 – 472 ; ta đã có 2 số đúng và đã được sắp xếp vị trí , mà số 7 không phải là số đúng nên suy ra số 7 – 472 là sai , số đúng là 2 và sai vị trí.

(8)1X3 từ(3) và (6)

(9) từ (7) và (8) => 123 là số đúng và đúng vị trí => 123 là correct password

(Bonus)

Ở ý (6) ta giả sử số 7 là số đúng và sai vị trí

Thì 472 – ta có được số 7 ở vị trí thứ 1, mà 483 đã sử dụng hết dữ kiện và 317 đã có 2 số đúng => loại số 1 không thể chứng minh thêm 1 số nào có thể thêm vào vị trí thứ 2

</div><span class="text_page_counter">Trang 8</span><div class="page_container" data-page="8">

<b>1.2 Problem 2: Conditional Statements </b>

a. “If a man, holding a belief which he was taught in childhood or persuaded of afterwards, keeps down and pushes away any doubts which arise about it in his mind, purposely avoids the reading of books and the company of men that call in question or discuss it, and regards as impious those questions which cannot easily be asked without disturbing it - the life of that man is one long sin against mankind.”

The Ethics of Belief (1877) by William K. Clifford.

<b>Converse: </b>

“If the life of that man is one long sin against mankind - a man, holding a belief which he was taught in childhood or persuaded of afterwards, keeps down and pushes away any doubts which arise about it in his mind, purposely avoids the reading of books and the company of men that call in question or discuss it, and regards as impious those questions which cannot easily be asked without disturbing it.”

<b>Inverse: </b>

“If a man, not holding a belief which he was taught in childhood or persuaded of afterwards, keeps down and pushes away any doubts which arise about it in his mind, purposely avoids the reading of books and the company of men that call in question or discuss it, and regards as impious those questions which cannot easily be asked without disturbing it - the life of that man is not one long sin against mankind. ”

<b>Contrapositive: </b>

“If the life of that man is not one long sin against mankind - a man, not holding a belief which he was taught in childhood or persuaded of afterwards, keeps down and pushes away any doubts which arise about it in his mind, purposely avoids the reading of books and the company of men that call in question or discuss it, and regards as impious those questions which cannot easily be asked without disturbing it.”

<b>Non-conditional-form negation: </b>

“A man, holding a belief which he was taught in childhood or persuaded of afterwards, keeps down and pushes away any doubts which arise about it in his mind, purposely avoids the reading of books and the company of men that call in question or discuss it, and regards as impious those questions which cannot easily be asked without disturbing it or the life of that man is not one long sin against mankind.”

</div><span class="text_page_counter">Trang 9</span><div class="page_container" data-page="9">

b. “If existing agricultural knowledge were everywhere applied, the planet could feed twice its present population.”

The Lessons of History (1968) by Will and Ariel Durant.

<b>Converse: </b>

“If the planet could feed twice its present population, existing agricultural

<b>Inverse: </b>

“If existing agricultural knowledge were not everywhere applied, the planet could not feed twice its present population.”

<b>Contrapositive: </b>

“If the planet could not feed twice its present population, existing agricultural

<b>Non – conditional-form negation: </b>

“Existing agricultural knowledge were everywhere applied or the planet could not feed twice its present population.”

</div><span class="text_page_counter">Trang 10</span><div class="page_container" data-page="10">

c. “But even if the initial colonists had consisted of only 100 people and their numbers had increased at a rate of only 1.1 percent per year, the colonists' descendants would have reached that population ceiling of 10 million people within a thousand years.”

<b>Converse: </b>

“But even if the colonists' descendants would have reached that population ceiling of 10 million people within a thousand years, the initial colonists had consisted of only 100 people and their numbers had increased at a rate of only 1.1 percent per year.”

<b>Inverse: </b>

“But even if the initial colonists not had consisted of only 100 people and their numbers had increased at a rate of only 1.1 percent per year, the colonists' descendants would not have reached that population ceiling of 10 million people within a thousand years.”

<b>Contrapositive: </b>

“But even if the colonists' descendants would not have reached that population ceiling of 10 million people within a thousand years, the initial colonists had consisted of only 100 people and their numbers not had increased at a rate of only 1.1 percent per year .”

<b>Non – conditional-form negation: </b>

“The initial colonists had consisted of only 100 people and their numbers had increased at a rate of only 1.1 percent per year or the colonists' descendants wouldnot have reached that population ceiling of 10 million people within a thousand years.”

</div><span class="text_page_counter">Trang 11</span><div class="page_container" data-page="11">

d. “If anyone looked out of their window now, even beady-eyed Mrs. Dursley, they wouldn’t be able to see anything that was happening down on the pavement.”

Harry Potter and the Philosopher's Stone (1997) by J. K. Rowling

<b>Converse: </b>

“If they wouldn’t be able to see anything that was happening down on the pavement,

<b>Inverse: </b>

would be able to see anything that was happening down on the pavement.”

<b>Contrapositive: </b>

“If they would be able to see anything that was happening down on the pavement,

<b>Non-conditional-form negation: </b>

“Anyone looked out of their window now, even beady-eyed Mrs. Dursley or they would be able to see anything that was happening down on the pavement.”

<b>1.3 Problem 3: Fallacies </b>

Vd 1: Converse Error

Nếu bạn đi ngủ sớm, bạn sẽ có sức khỏe tốt Tơi là người có sức khỏe tốt

Điều này có nghĩa là tôi luôn đi ngủ sớm Vd 2: Inverse Error

Nếu anh ta là con người, thì anh ta có não

Vd 3: A valid argument with a false premise and a false conclusion Nếu tôi là sinh viên Tôn Đức Thắng, thì t ăn mặơi c gọn gàng

Thì tôi ăn mặc gọn gàng

</div><span class="text_page_counter">Trang 12</span><div class="page_container" data-page="12">

Vd 4: A valid argument with a True premise and a True conclusion

Nêu tôi là sinh viên Tôn Đức Thắng, thì tơi có thẻ sinh viên trường Tơn Đức Thắng

Tơi có thẻ sinh viên trường Tơn Đức Thắng

Vd 5: Sound and Unsound Arguments +Sound:

Tất cả ch à động vật có l ó vú Lucky là 1 con chó Lucky là động vật có vú +Unsound:

Tất cả lồi bướm là động vật có vú

Mike là động vật có v ú Vd 6: Ambiguous premises

Tất cả con bọ đều có 6 chânH o là mir ột con bọ

Vd 7: Circular reasoning

Mọi người đều yêu quý thầy Bình, ì thầy v Bình học giỏiVì thầy Bình học giỏi, nên mọi người đều yêu quý thầyVd 8: Jumping to a conclusion

Bây giờ trời đã tối rồi và chúng ta vẫn chưa quy định lết à sẽ đi cắm trại. Bạn sẽ nghĩ gì khi chúng ta về nhà và gọi lại ể đ mà bàn lại.

</div><span class="text_page_counter">Trang 14</span><div class="page_container" data-page="14">

<b>a. Re-</b>draw new Tarski’s world

A B C D E F G H I

• Triangle(x), meaning “x is a triangle,” • Circle(x), meaning “x is a circle,” • Square(x), meaning “x is a square,” • Red(x), meaning “x is red,” • Green(x), meaning “x is green,” • Orange(x), meaning “x is orange,”

• RightOf(x, y), meaning “x is to the right of y (but possibly in a different row),” • LeftOf(x, y), meaning “x is to the left of y (but possibly in a different row),” • AboveOf(x, y), meaning “x is to the above of y (but possibly in a different

column),”

• BelowOf(x, y), meaning “x is to the below of y (but possibly in a different column).”

</div><span class="text_page_counter">Trang 15</span><div class="page_container" data-page="15">

=> False, phía trên E5 khơng có gì cả

vii. There is a triangle x such that for all squares y, x is above y. =>False,khơng có một tam giác nào bên trên hình vng viii. For all circles x, there is a square y such that y is to the right of x.

=> True, D2 và D3

ix. There is a circle x and there is a square y such that y is below x. => False,khơng có cái hình vng nào nằm bên dưới hình trịn x. For all circles x and for all triangles y, x and y have the same color.

=> False,có một hình trịn màu cam

</div><span class="text_page_counter">Trang 16</span><div class="page_container" data-page="16">

<b>2.2 Problem 5: Symbolic form </b>

q = “it is thundering” r = “it is raining”s = “it is lightning” 0895 % 2 = 1 => Statements b,c,e,g. b. It is windy, thundering but it isn’t raining.

</div><span class="text_page_counter">Trang 17</span><div class="page_container" data-page="17">

<b>2.3 Problem 6: Equivalence </b>

0895 % 3 = 1

o ~ [ (~ p q) ~ (p ~ (p q))] p ~ (p q) ∨ ∨ ∧ ∨ ≡ ∧ ∨(i) Truth table:

(ii) Logical equivalence laws ~ [ (~ p q) ~ (p ~ (p q))] ∨ ∨ ∧ ∨

</div><span class="text_page_counter">Trang 18</span><div class="page_container" data-page="18">

(15) (~ (p q) ^ p) ∨ by Idempotent laws

</div><span class="text_page_counter">Trang 19</span><div class="page_container" data-page="19">

<b>TÀI LI U THAM KH O </b>ỆẢ

[1] Silde bài giảng: Susanna S. Epp, [2011], Discrete Mathematics with applications, 4th edition, Brooks Cole, Boston

</div><span class="text_page_counter">Trang 20</span><div class="page_container" data-page="20">

<b>PHỤ LỤC </b>

Phần này bao gồm những nội dung cần thiết nhằm minh họa hoặc hỗ trợ cho nội dung luận văn như số liệu, biểu mẫu, tranh ảnh. . . . nếu sử dụng những câu trả lời cho một bảng câu hỏi thì bảng câu hỏi mẫu này phải được đưa vào phần Phụ lục ở dạng nguyên bản đã dùng để điều tra, thăm dị ý kiến; khơng được tóm tắt hoặc sửa đổi. Các tính tốn mẫu trình bày tóm tắt trong các biểu mẫu cũng cần nêu trong

<b>Phụ lục của luận văn. Phụ lục không được dày hơn phần chính của luận văn </b>

</div>