Chương 6: Chứng Minh Trong Logic Mệnh đề

Academia.edu no longer supports Internet Explorer.

To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.

Log InSign Up

• Log In
• Sign Up
• more
• • About
  • Press
  • Papers
  • Terms
  • Privacy
  • Copyright
  • We're Hiring!
  • Help Center
  • less

Outline

keyboard_arrow_downTitledownload

Download Free PDF

Download Free PDFChương 6: Chứng minh trong logic mệnh đềHùng Vũvisibility

…

description

30 pages

descriptionSee full PDFdownloadDownload PDF bookmarkSave to LibraryshareShareclose

Sign up for access to the world's latest research

Sign up for freearrow_forwardcheckGet notified about relevant paperscheckSave papers to use in your researchcheckJoin the discussion with peerscheckTrack your impact

Related papers

Phát Triển Năng Lực Giải Quyết Vấn Đề Của Học Sinh Lớp 6 Trong Dạy Học Nội Dung "Các Phép Đo"- Môn Khoa Học Tự Nhiên Theo Mô Hình Giáo Dục SteamLê Trần Tú Quỳnh

Tạp chí Khoa học Đại học Sư phạm Thành phố Hồ Chí Minh, 2022

Bài báo nghiên cứu *

downloadDownload free PDFView PDFchevron_rightBiểu Diễn Và Tính Toán Ước Lượng Giá Trị Ngôn Ngữ Trong Bài Toán Ra Quyết Định Đa Tiêu Chuẩn08.Trần Đình Khang

FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN - 2016

Trong bài toán ra quyết định đa tiêu chuẩn, có các tiêu chuẩn được đánh giá một cách chủ quan bởi con người, thường được lựa chọn trong một tập cho trước các giá trị số hoặc tập nhãn ngôn ngữ được sắp xếp. Nhưng cũng có trường hợp người đánh giá còn lưỡng lự trong việc chọn giá trị đánh giá trong tập các giá trị ngôn ngữ, mà chỉ đưa ra các ước lượng kiểu như "ít nhất là Si", "tốt hơn Si", "giữa Si và Sj", "nhỏ hơn Sj" … Bài báo đề xuất tiếp cận biểu diễn và tính toán với các giá trị như vậy trong bài toán ra quyết định. Từ khóa-Ước lượng giá trị ngôn ngữ, ra quyết định đa tiêu chuẩn, TOPSIS, HA-Topsis. I. GIỚI THIỆU Trong công việc cũng như trong cuộc sống, con người thường đối mặt với các tình huống cần đánh giá, sắp xếp hay lựa chọn ra quyết định trong tập các đối tượng hay phương án chọn để thỏa mãn mục tiêu cho trước, có thể mô hình hóa biểu diễn và xử lý trong bài toán ra quyết định đa tiêu chuẩn [1], trong đó, các phương án, đối tượng được đánh giá bởi nhiều tiêu chuẩn khác nhau. Việc chọn ra phương án phù hợp có ý nghĩa to lớn, nhưng không phải lúc nào cũng dễ dàng, bởi lẽ giữa hai phương án, có thể được đánh giá tốt hơn ở tiêu chuẩn này, nhưng lại kém hơn ở tiêu chuẩn khác. Các tiêu chuẩn thể hiện các ràng buộc, đánh giá, các thuộc tính, đặc trưng, độ đo,… về các đối tượng hay phương án chọn. Ví dụ, để lựa chọn sinh viên cấp học bổng, tập phương án là danh sách các sinh viên, các tiêu chuẩn là Điểm học tập, Điểm ngoại ngữ, Thư giới thiệu, Phỏng vấn,… Các bài toán ra quyết định đa tiêu chuẩn thường được biểu diễn dạng bảng với ma trận đánh giá các tiêu chuẩn cho các phương án. Có nhiều phương pháp cho bài toán ra quyết định, như Topsis, Electre, Promethee,… thường tiếp cận theo hướng so sánh mức độ hơn kém giữa các giá trị đánh giá và tích hợp thành giá trị chung.

downloadDownload free PDFView PDFchevron_rightỨng Dụng Điều Khiển Mờ Trong Bài Toán Robot Bám Quỹ ĐạoĐức Trung

Journal of Science and Technology, 2015

Điều khiển mờ hay còn gọi là điều khiển thông minh, mô phỏng trên phương thức xử lí thông tin và điều khiển của con người, khởi đầu cho sự ứng dụng của trí tuệ nhân tạo trong lĩnh vực điều khiển. Nghiên cứu trình bày phương pháp điều khiển robot tự hành trên cơ sở logic mờ. Trước tiên, mô hình động học robot được xây dựng, sau đó được mô hình hóa để mô phỏng quá trình bám quỹ đạo cho trước trong không gian làm việc của robot. Kết quả mô phỏng cho thấy tính đúng đắn, hiệu quả của giải thuật điều khiển. Từ khóa: thiết kế quỹ đạo, điều khiển mờ, robot tự hành, bám quỹ đạo, điều khiển động học.

downloadDownload free PDFView PDFchevron_rightRút Gọn Thuộc Tính Trong Bảng Quyết Định Theo Tiếp CậnNguyen Giang

2021

TÓM TẮT: Rút gọn thuộc tính là bài toán quan trọng trong bước tiền xử lý dữ liệu của quá trình khai phá dữ liệu và khám phá tri thức. Trong mấy năm gần đây, các nhà nghiên cứu đề xuất các phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ (Fuzzy Rough Set FRS) nhằm nâng cao độ chính xác mô hình phân lớp. Tuy nhiên, số lượng thuộc tính thu được theo tiếp cận FRS chưa tối ưu do ràng buộc giữa các đối tượng trong bảng quyết định chưa được xem xét đầy đủ. Trong bài báo này, chúng tôi đề xuất phương pháp rút gọn thuộc tính trực tiếp trên bảng quyết định gốc theo tiếp cận tập thô mờ trực cảm (Intuitionistic Fuzzy Rough Set IFRS) dựa trên các đề xuất mới về hàm thành viên và không thành viên. Kết quả thử nghiệm trên các bộ dữ liệu mẫu cho thấy, số lượng thuộc tính của tập rút gọn theo phương pháp đề xuất giảm đáng kể so với các phương pháp FRS và một số phương pháp IFRS khác.

downloadDownload free PDFView PDFchevron_rightComprendre la délibération parlementaireJean-Noël Ferrié

Revue française de science politique, 2008

downloadDownload free PDFView PDFchevron_rightThuật Toán Đa Thức Xác Định Chu Trình Hamilton Trong Lớp Đồ ThịHungTruong VFX

Vietnam Journal of Science and Technology

Cho trước một đồ thị đơn vô hướng với đỉnh, ta kí hiệu là tổng bậc bé nhất của các cặp đỉnh không kề nhau trong .

downloadDownload free PDFView PDFchevron_rightThe multiple facets of the canonical direct implicational basisKarell Bertet

2005

Closure systems on a set S arises in many areas as relational databases, data-mining, formal concept analysis, artificial intelligence, logical programming or lattice theory. Implicational systems represents an efficient and convenient tool to deal with a closure system, and have been studied in various areas, with different terminology. This paper states the equality between five implicational systems issued from different works and satisfying various properties. The three main properties are the directness, canonical and minimality properties, thus the name canonical direct implicational basis given to this unique implicational system. This paper also gives the link between the canonical direct implicational basis and the Horn functions (via the prime implicants). It concludes by the necessity to compare more closely related works made independantly, and with different terminology in order to take advantage of the results really new.

downloadDownload free PDFView PDFchevron_rightỨng Dụng Đại Số Gia Tử Đốl Sánh Các Giá Trị Ngôn Ngữ08.Trần Đình Khang

Journal of Computer Science and Cybernetics, 2016

This paper interpretes Bornemethods for comparison of linguistic values. There are the aggregation of hedge algebras, the if-then rules and the distance table between linguistic values. It can be used for linguistic reasoning in practical problems.

downloadDownload free PDFView PDFchevron_rightMột Số Quá Trình Ngẫu Nhiên Có Bước NhảyVân Thảo

2015

downloadDownload free PDFView PDFchevron_rightTìm Hiểu Về Phương Pháp Dịch Uyển Ngữ Chỉ Cái Chết Trong Các Bài Diễn Văn Tiếng Anh Sang Tiếng ViệtNhi_11A10 Phạm Trần Thúy

VNU Journal of Foreign Studies

Uyển ngữ chỉ cái chết trong các ngôn ngữ khác nhau là đề tài thú vị cho nhiều nghiên cứu. Uyển ngữ chỉ cái chết trong tiếng Anh và tiếng Việt được một số nghiên cứu chỉ ra, tuy nhiên chưa có nhiều công bố về phương pháp dịch uyển ngữ chỉ cái chết từ tiếng Anh sang tiếng Việt. Nghiên cứu này, với dữ liệu trích xuất từ 63 bài diễn văn tiếng Anh, đã so sánh và phân tích các uyển ngữ chỉ cái chết trong tiếng Anh và các phương án dịch sang tiếng Việt, theo khung lý thuyết dựa trên các phương pháp dịch uyển ngữ do Barnwell (1980), Duff (1989), và Larson (1998) đề xuất. Kết quả cho thấy phương pháp dịch uyển ngữ chỉ cái chết tiếng Anh thành uyển ngữ tương đương trong tiếng Việt là phổ biến nhất (chiếm 67,56% dữ liệu), phương pháp dịch thành uyển ngữ không tương đương ít phổ biến hơn (chiếm 21,62%), và phương pháp dịch trực tiếp uyển ngữ chỉ cái chết ít phổ biến nhất (chiếm 10,81%). Các uyển ngữ chỉ cái chết được dịch thành uyển ngữ không tương đương thường mang sắc thái trang trọng và phù ...

downloadDownload free PDFView PDFchevron_rightSee full PDFdownloadDownload PDF

Loading Preview

Sorry, preview is currently unavailable. You can download the paper by clicking the button above.

Related papers

Vấn Đề Chiến Tranh Trong Tiểu Thuyết Không Số Phận Của Kertész Imre Từ Góc Nhìn Văn Hóa – Lịch Sửchu kiên

Hue University Journal of Science: Social Sciences and Humanities

Tóm tắt. Tiểu thuyết Không số phận (Sorstalanság) kể lại hành trình của Köves Gryörgy qua các trại tập trung của Đức trong chiến tranh thế giới thứ II. Những nếm trải của anh ta đã hé lộ góc khuất của bản chất cuộc chiến và số phận người Do Thái. Một mặt trận ít tiếng súng nhưng khốc liệt vô cùng, ở nơi đó bi kịch chiến tranh được phơi bày sáng rõ nhất. Trong bài báo này, chúng tôi tìm hiểu vấn đề chiến tranh trong tiểu thuyết Không số phận dưới góc nhìn văn hóa lịch sử để đem đến một phần kiến giải về cuộc hành trình tìm kiếm bản thể con người sau Thế chiến thứ II. Từ khóa. Không số phận, Köves Gryörgy, trại tập trung, chiến tranh thế giới thứ II, Do Thái Thế chiến thứ hai không chỉ là cuộc chiến thảm khốc nhất trong lịch sử nhân loại với tổng số nạn nhân lên tới 62 triệu người, mà còn để lại nhiều biểu tượng kinh hoàng của sự chết chóc, hủy diệt, sụp đổ của nền văn minh và văn hóa châu Âu hiện đại, như Auschwitz, Buchenwald, Holocaust, genickschuss (phát súng ân huệ), crematorium hay các lager… Tại các quốc gia Đông Âu, sau mấy chục năm bị coi là đề tài "nhạy cảm", dễ "đụng chạm" và gây nhiều nguy hại tới "sự đồng thuận trong xã hội". Đến nay, Holocaust không còn là đề tài độc tôn của các nhà nghiên cứu mà đã đi sâu vào tâm thức xã hội như một trong những thảm kịch diệt chủng của nhân loại. Không số phận được tác giả thai nghén trong vòng 13 năm (1960-1973), giữa những điều kiện khó khăn và bị o ép về mặt chính trị, không được chính quyền thừa nhận. Tiểu thuyết Không số phận gần như là một tự truyện của Kertész Imre về quãng thời gian ông sống trong trại tập trung Đức Quốc xã. Nhân vật chính là một thiếu niên bị đày ải hết từ trại tập trung này sang trại tập trung khác, cho đến khi cậu được quân Đồng minh giải phóng. Tuy nhiên, điều đặc biệt kỳ lạ của thiên tiểu thuyết-tự truyện này là ở chỗ: được viết ở độ tuổi trung niên, khi tác giả đã nếm trải điều kinh hoàng, và do đó, hẳn đã hiểu quá rõ bản chất của chủ nghĩa Quốc xã cũng như Holocaust, nhưng ông lại viết về lò thiêu với tâm thế của người lần đầu tiên được nhìn thấy cái gì đó mới mẻ. Điểm hấp dẫn, lôi cuốn của tác phẩm là không nhằm đặc tả, hay cố ý xây dựng những nỗi kinh hoàng, những thảm cảnh mà các nhân vật trải

downloadDownload free PDFView PDFchevron_rightLý Thuyết Đánh Giá Trong Phân Tích Diễn Ngôn: Nghiên Cứu Thử Nghiệm Từ Cáo Trạng Tiếng ViệtPhan Tuấn Ly

Tạp chí Khoa học Đại học Sư phạm Thành phố Hồ Chí Minh, 2022

Bài báo nghiên cứu *

downloadDownload free PDFView PDFchevron_rightĐề Xuất Cấu Trúc Cây Phát Hiện Xung Đột Trong Tập Luật Của Tường LửaDuy Nam Vũ

Research and Development on Information and Communication Technology, 2018

Biên tập lĩnh vực điều phối phản biện và quyết định nhận đăng: PGS. TS. Nguyễn Khánh Văn Tóm tắt: Tường lửa là một thiết bị bảo mật mạng, trong đó sử dụng tập luật để kiểm soát các gói tin đi qua thiết bị. Cấu hình các luật tường lửa là nhiệm vụ rất khó khăn ngay cả đối với các chuyên gia bảo mật, đặc biệt đối với các hệ thống mạng phức tạp. Sai sót trong quá trình cấu hình thiết bị sẽ tác động tới hai khía cạnh: (i) làm ảnh hưởng tới sự an toàn của hệ thống mạng cần được bảo vệ và (ii) làm suy giảm năng lực xử lý của thiết bị tường lửa. Bài báo này đề xuất cấu trúc cây phát hiện xung đột (CDT: Conflict Detection Tree) có khả năng phát hiện tất cả các loại xung đột trong một tập luật của tường lửa một cách hiệu quả. Tính chính xác và tính hiệu quả của cấu trúc CDT được giới thiệu và chứng minh chi tiết trong bài báo. Cấu trúc CDT được triển khai và kiểm chứng với dữ liệu thực tế, cho thấy tính khả dụng của nó.

downloadDownload free PDFView PDFchevron_rightViệc Áp Dụng Các Nguyên Tắc Cơ Bản Của Pháp Luật Quốc Tế Trong Vụ Giải Quyết Tranh Chấp Chủ Quyền Đảo Pedra Branca Và Bài Học Kinh Nghiệm Cho Việt NamThư Đào

VNU Journal of Science: Legal Studies, 2017

Tóm tắt: Các nguyên tắc cơ bản củ pháp lu t qu c tế có v i trò rất qu n tr ng trong việc giải quyết các tr nh chấp qu c tế nói chung và giải quyết các tr nh chấp về qu c tế về biển đảo nói riêng góp phần bảo vệ hò bình n ninh qu c tế. Trên cơ sở t p trung nghiên cứu toàn bộ quá trình giải quyết tr nh chấp giữ Sing pore và M l ysi về chủ quyền đ i với Pedra Branca và các đá dưới góc độ các nguyên tắc cơ bản củ pháp lu t qu c tế bài viết sẽ đư r đánh giá về việc tôn tr ng tuân thủ pháp lu t qu c tế củ các chủ thể liên qu n và bài h c kinh nghiệm cho Việt N m trong việc giải quyết các tr nh chấp tại Biển ông. Từ khóa: Tr nh chấp chủ quyền Pedra Branca Tò án công lý qu c tế nguyên tắc cơ bản củ pháp lu t qu c tế vụ tr nh chấp M l ysi và Sing pore.

downloadDownload free PDFView PDFchevron_rightTổ Chức Dạy Học Theo Định Hướng Stem Trong Phần Sinh Học VI Sinh Vật Và Virus (Sinh Học 10) Dựa Trên Mô Hình 6ELê Long

BÁO CÁO KHOA HỌC VỀ NGHIÊN CỨU VÀ GIẢNG DẠY SINH HỌC Ở VIỆT NAM HỘI NGHỊ KHOA HỌC QUỐC GIA LẦN THỨ 5 - PROCEEDING OF THE 5TH NATIONAL SCIENTIFIC CONFERENCE ON BIOLOGICAL RESEARCH AND TEACHING IN VIETNAM

downloadDownload free PDFView PDFchevron_rightSử Dụng Deep Neural Networks Biểu Diễn Các Thuộc Tính Cho Bài Toán Phát Hiện Cảnh Bạo Lực Trong VideoLâm Vũ

FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN - 2016, 2017

tiện, Trường Đại học Công nghệ Thông tin, ĐHQG TP.HCM 2 Khoa Công nghệ thông tin, Trường Đại học Khoa học Tự nhiên, ĐHQG TP.HCM 3 Viện Tin học Quốc gia Nhật Bản (NII)

downloadDownload free PDFView PDFchevron_rightTrách Nhiệm Pháp Lý Đối Với Hành VI Định Giá Tài Sản Bảo Đảm Trong Hoạt Động Cấp Tín Dụng Của Ngân Hàng Thương MạiLe Thi Thao

Hue University Journal of Science: Social Sciences and Humanities, 2020

Tóm tắt: Định giá tài sản bảo đảm trong quan hệ tín dụng để cấp tín dụng cho khách hàng là hoạt động thường xuyên của các tổ chức tín dụng. Với việc quy định của Bộ luật Dân sự cho phép tài sản bảo đảm để bảo đảm cho nhiều khoản vay, cũng như khuyến khích việc đầu tư kinh doanh của các doanh nghiệp trong quá trình hoạt động sản xuất kinh doanh, việc quy định tài sản bảo đảm, tiêu chuẩn để định giá tài sản bảo đảm và hệ thống cơ sở dự liệu để quản lý tài sản bảo đảm sẽ là khung an toàn cho việc cấp tín dụng của ngân hàng và là cơ sở để truy cứu trách nhiệm hình sự đối với hành vi nâng khống giá trị tài sản bảo đảm khi thẩm định giá tài sản bảo đảm theo quy định của Bộ luật hình sự. Trong phạm vi bài viết này, tác giả phân tích thực trạng về hoạt động định giá tài sản bảo đảm tại các ngân hàng thương mại, những vướng mắc trong việc xác định cơ sở truy cứu trách nhiệm pháp lý đối với hành vi này và đề xuất giải pháp nhằm xác định cơ sở để truy cứu tránh nhiệm pháp lý đối với hành vi đị...

downloadDownload free PDFView PDFchevron_rightPhân Cụm Mờ Với Trọng Số Mũ Ngôn Ngữ08.Trần Đình Khang

FAIR - NGHIÊN CỨU CƠ BẢN VÀ ỨNG DỤNG CÔNG NGHỆ THÔNG TIN 2015, 2016

TÓM TẮT-Bài báo này được thực hiện nhằm mục đích nghiên cứu tìm hiểu thuật toán phân cụm FCM và các ý tưởng cải tiến đã có; tiến hành phân tích và phát hiện những đặc điểm phù hợp trong thuật toán FCM có thể áp dụng được đại số gia tử-một lý thuyết sử dụng đại số trong việc biểu diễn giá trị của các biến ngôn ngữ. Từ đó, đề xuất một hướng cải tiến mới, đó là sử dụng lý thuyết đại số gia tử vào trọng số mũ của thuật toán FCM và sau cùng là xây dựng cài đặt một thuật toán phân cụm mờ sử dụng đại số gia tử để có thể áp dụng giải quyết bài toán phân cụm trong các ứng dụng thực tế.

downloadDownload free PDFView PDFchevron_rightÝ thức pháp luật và xây dựng ý thức pháp luật trong điều kiện nhà nước pháp quyền Việt Nam hiện nayHồng Hạnh Phạm

2009

Ý thức pháp luật và xây dựng ý thức pháp luật trong điều kiện nhà nước pháp quyền Việt Nam hiện nay. DSpace/Manakin Repository. ... Login. Ý thức pháp luật và xây dựng ý thức pháp luật trong điều kiện nhà nước pháp quyền Việt Nam hiện nay. Show full item record.  ...

downloadDownload free PDFView PDFchevron_rightLịch sử tiếp nhận lý thuyết Phân tâm học trong nghiên cứu văn học Việt NamHiếu Trọng

Tạp chí Khoa học Đại học Đồng Tháp, 2016

Psychoanalytic theory came into existence in late 19 th and early 20 th century, and had a strong infl uence on humans' mind history; it backed literary genres to "expose" humans' inner world of nature, exploring the deepest in the human heart. In Vietnam, in early 20th century, writers, researchers and literary critics took in and applied this theory in literature research. Although sometimes not taken seriously, it has justifi ed its role, position and value through time and the reader's lenses to survive and create values, contributing importantly to the formation and development of modern Vietnam literature.

downloadDownload free PDFView PDFchevron_rightkeyboard_arrow_downView more papers

• Explore
• Papers
• Topics

• Features
• Mentions
• Analytics
• PDF Packages
• Advanced Search
• Search Alerts

• Journals
• Academia.edu Journals
• My submissions
• Reviewer Hub
• Why publish with us
• Testimonials

• Company
• About
• Careers
• Press
• Help Center
• Terms
• Privacy
• Copyright
• Content Policy

580 California St., Suite 400San Francisco, CA, 94104© 2025 Academia. All rights reserved