Đồ án, luận văn, do an, luan van

Contents 1 Graph definitions Terminology Special Simple Graphs 2 Representing Graphs and Graph Isomorphism Representing Graphs Graph Isomorphism 3 Exercise Graph Bipartie graph Isomorphism

34 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 611 | Lượt tải: 0

Contents 1 Introduction Properties of Trees 2 Tree Traversal 3 Applications of Trees Binary Search Trees Decision Trees 4 Spanning Trees 5 Minimum Spanning Trees Prim’s Algorithm Kruskal’s Algorithm

40 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 626 | Lượt tải: 0

Biển Hồ hình thành trên ba miệng núi lửa cổ liên thông nhau tạo nên hồ nước ngọt nằm ở phía bắc thành phố Pleiku, tỉnh Gia Lai. Các đặc điểm về địa mạo, thủy văn và sinh thái của Biển Hồ đã trải qua nhiều thay đổi kể từ khi hoạt động nhân sinh tăng cường trong 70 năm trở lại đây. Nghiên cứu lõi trầm tích BHM8-2C1-D1 thu thập nguyên dạng tại Biển...

5 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 399 | Lượt tải: 0

Logic Definition (Averroes) The tool for distinguishing between the true and the false. Definition (Penguin Encyclopedia) The formal systematic study of the principles of valid inference and correct reasoning. Definition (Discrete Mathematics - Rosen) Rules of logic are used to distinguish between valid and invalid mathematical arguments.

25 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 656 | Lượt tải: 0

Khi nóc hầm có xen kẽ lớp đá kẹp mềm có ảnh hưởng rất lớn đến ổn định của nóc hầm. Đặc biệt khi đường hầm nằm ở độ sâu càng lớn thì nguy cơ mất ổn định của nóc hầm càng mãnh liệt, rất dễ xảy ra sập hầm. Để giảm thiểu rủi ro, ngăn ngừa sự cố trên xảy ra, bài báo thông qua phần mềm Flac3D xây dựng mô hình khảo sát quá trình biến dạng và phá hủy ...

6 trang | Chia sẻ: thanhuyen291 | Ngày: 10/06/2022 | Lượt xem: 599 | Lượt tải: 0

Trong bài báo này, dựa trên nghiên cứu lý thuyết về giải thuật tìm kiếm tối ưu Vortex Search (VS), lý thuyết và ứng dụng lý thuyết Chaos vào họ giải thuật MetaHeuristics. Chúng tôi đề xuất cải tiến giải thuật VS bằng cách lai quy luật phát sinh tập ứng viên giải thuật VS với hàm Chaotic Bernoulli Map. Kết quả kiểm chứng trên tập 20 hàm Benchmark...

11 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 381 | Lượt tải: 0

At present, floating-point operations are used as add-on functions in critical embedded systems, such as physics, aerospace system, nuclear simulation, image and digital signal processing, automatic control system and optimal control and financial, etc. However, floating-point division is slower than floating-point multiplication. To solve this pro...

14 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 844 | Lượt tải: 0

Contents 1 Predicate Logic: Motivation, Syntax, Proof Theory Need for Richer Language Predicate Logic as Formal Language Proof Theory of Predicate Logic 2 Semantics of Predicate Logic 3 Soundness and Completeness of Predicate Logic 4 Undecidability of Predicate Logic 5 Compactness of Predicate Calculus 6 Some problems for discussion

84 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 662 | Lượt tải: 0

Introduction Definition A proof is a sequence of logical deductions from - axioms, and - previously proved theorems that concludes with a new theorem.

15 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 602 | Lượt tải: 0

Set Definition • Set is a fundamental discrete structure on which all discrete structures are built • Sets are used to group objects, which often have the same properties Example • Set of all the students who are currently taking Discrete Mathematics 1 course. • Set of all the subjects that K2011 students have to take in the first semester...

89 trang | Chia sẻ: thuyduongbt11 | Ngày: 10/06/2022 | Lượt xem: 600 | Lượt tải: 0