Phép nhân logic
-
Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.2: Tri thức và suy diễn. Chương này cung cấp cho sinh viên những nội dung gồm: giới hạn của Logic định đề; logic vị từ (FOL); lượng tử logic Với mọi; lượng tử logic Tồn tại; sử dụng logic vị từ; các phép biến đổi tương đương;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
29p codabach1016 03-05-2024 10 4 Download
-
Cuốn sách "Logic mờ, mạng nơron và đại số gia tử trong kỹ thuật điều khiển" gồm 6 chương, cung cấp cho người đọc những kiến thức cơ bản và ứng dụng của logic mở, mạng nơron và lý thuyết đại số gia tử. Sau mỗi chương giới thiệu tổng quan là chương ứng dụng được trích rút từ những công trình nghiên cứu của các tác giả, giúp cho người đọc dễ nắm bắt, triển khai li thuyết vào thực tế điều khiển các đối tượng công nghiệp.
64p kimphuong1132 04-10-2023 7 3 Download
-
Nối tiếp nội dung phần 1, phần 2 cuốn sách "Logic mờ, mạng nơron và đại số gia tử trong kỹ thuật điều khiển" tiếp tục cung cấp cho người học các nội dung kiến thức về: Mạng nơron và ứng dụng; Lý thuyết đại số gia tử; Điều khiển sử dụng đại số gia tử;... Cuốn sách là tài liệu tham khảo cho sinh viên, học viên cao học, nghiên cứu sinh ngành kỹ thuật điều khiển và tự động hóa, công nghệ thông tin và những bạn đọc quan tâm đến điều khiển thông minh.
81p kimphuong1132 04-10-2023 5 3 Download
-
Luận văn "Tìm hiểu ẩn dụ tiếng Việt từ góc độ ngôn ngữ học tri nhận" hệ thống hóa phương thức chuyển nghĩa ẩn dụ của tiếng Việt (Ẩn dụ từ vựng và ẩn dụ tu từ) từ các công trình đi trước; xác định ẩn dụ là một cơ chế tri nhận đi từ cụ thể đến trừu tượng, cho phép ta hiểu được logic của các khái niệm trừu tượng bằng logic của các khái niệm cụ thể; vận dụng cơ chế tri nhận và sự quy ước hóa của ẩn dụ để khảo sát phạm trù cảm xúc, đặc biệt là đi sâu tìm hiểu ẩn dụ tình yêu trong tiếng Việt và trong thơ tình Xuân Diệu.
145p unforgottennight06 13-10-2022 21 7 Download
-
Thực hành Toán rời rạc - Chương 3: Cơ sở logic và tập hợp. Chương này cung cấp cho học viên những nội dung về: các nguyên lý cộng, nhân, bù trừ; lý thuyết tập hợp với kiểu dữ liệu list trong Python; bài toán ứng dụng 1 - xây dựng danh sách tour địa điểm du lịch tại TP.HCM; nguyên lý chuồng bồ câu;... Mời các bạn cùng tham khảo!
16p gianghavan18 18-08-2022 21 3 Download
-
Toán học là một trong những môn học đặc trưng cơ bản trong chương trình học ở Tiểu học. Môn toán xuyên suốt toàn bộ chương trình học, hỗ trợ cho các môn học khác trong quá trình lĩnh hội tri thức. Toán học còn giúp học sinh từ tư duy cụ thể đến tư duy trừu tượng; từ tư duy trừu tượng đến tư duy lôgic và giúp học sinh hiểu sâu, rộng, rõ ràng, phong phú hơn trong quá trình nhận thức. Toán học là một trong những môn học đặc trưng cơ bản trong chương trình học ở Tiểu học. Môn toán xuyên suốt toàn bộ chương trình học, hỗ trợ cho các môn học khác trong quá trình lĩnh hội tri thức.
9p chubongungoc 23-09-2021 30 3 Download
-
Bài giảng Các hệ thống thông minh nhân tạo và ứng dụng - Chương 6: Logic (tiếp theo) có nội dung trình bày về logic bậc nhất, hạn chế của logic mệnh đề, các thành phần cơ bản của logic bậc nhất, biểu thức logic ám chỉ đối tượng,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
50p bachdangky 31-08-2021 42 6 Download
-
Trong bài viết này, người viết muốn đưa ra một vài nhận định khác trong cách xác định đối tượng nghiên cứu của triết học của Ăngghen, chủ yếu dựa vào hai tác phẩm Chống Đuyrinh và Biện chứng của tự nhiên. Với ông, triết học Hêghen là hệ thống triết học cuối cùng và hoàn bị nhất, sau Hêghen, triết học chỉ còn lại logic học và phép biện chứng mà thôi.
9p tamynhan8 04-11-2020 84 7 Download
-
Bài viết tiếp cận dưới góc độ logic các rào cản hạn chế cơ hội tiếp cận tín dụng ngân hàng của các Doanh nghiệp siêu nhỏ và Hộ kinh doanh ở khu vực nông thôn và nêu một số hàm ý chính sách nhằm giảm thiểu những tác động tiêu cực của các rào cản nói trên. Theo đó, có ba rào cản chính: sự chi phối nhiều hơn của tình trạng thông tin bất đối xứng; bất lợi về chi phí; năng lực tiếp cận tín dụng ngân hàng của bản thân các chủ thể vay vốn.
7p nguaconbaynhay2 04-01-2020 84 5 Download
-
Bài giảng cung cấp cho người học kiến thức cơ bản về các phép tính số nhị phân không dấu như phép cộng, phép nhân, phép trừ. Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết.
32p shiwo_ding3 02-05-2019 51 4 Download
-
Cuốn sách này nhằm cung cấp cơ sở lý thuyết và những phương pháp lập trình cơ bản nhất của môn học "Lập trình lôgic" (Programming in Logic). Người đọc sẽ được làm quen với một số kỹ thuật lập trình lôgic được ứng dụng tương đối phổ biến và chủ yếu trong lĩnh vực trí tuệ nhân tạo như công nghệ xử lý tri thức, máy học, hệ chuyên gia, xử lý ngôn ngữ tự nhiên, trò chơi,... Sách gồm 5 chương riêng phần 1 trình bày 3 nội dung đầu: Giới thiệu ngôn ngữ lập trình prolog, ngữ nghĩa của chương trình prolog, các phép toán và số học.
114p hanh_tv22 11-03-2019 97 17 Download
-
Nối tiếp phần 1, phần 2 sách gồm: Chương 4 trình bày cấu trúc danh sách và các phép xử lý cơ bản trên danh sách của prolog; chương 5 trình bày kỹ thuật lập trình nâng cao với prolog. Phần phụ lục giới thiệu ngôn ngữ lập trình SWI-Prolog, hướng dẫn cách cài đặt sử dụng phần mềm này và một số chương trình ví dụ tiêu biểu viết trong SWI Prolog đã chạy có kết quả. Cuốn sách này dùng làm giáo trình cho sinh viên ngành Tin học và những bạn đọc muốn tìm hiểu thêm về kỹ thuật lập trình cho lĩnh vực trí tuệ nhân tạo, mời các bạn cùng tham khảo.
86p hanh_tv21 02-03-2019 149 14 Download
-
Tài liệu Phép biện chứng và lịch sử của nó (Tập V: Phép biện chứng Mácxít): Phần 2 gồm có những nội dung chính: Những vấn đề của lý thuyết biện chứng trong thời kỳ quá độ từ chủ nghĩa tư bản lên chủ nghĩa xã hội ở Liên Xô; biện chứng thời kỳ chủ nghĩa xã hội đã thắng lợi và chuyển dần lên chủ nghĩa cộng sản ở Liên Xô; sự phát triển của phép biện chứng duy vật với tính cách là Lôgíc học, lý luận nhận thức và phương pháp luận khoa học. Mời các bạn cùng tham khảo.
316p thiendiadaodien_7 04-03-2019 105 19 Download
-
Tài liệu Phép biện chứng và lịch sử của nó (Tập V: Phép biện chứng Mácxít): Phần 1 gồm có những nội dung chính sau: Lênin nghiên cứu phép biện chứng với tính cách là Lôgíc học và lý luận nhận thức, Lênin nghiên cứu phép biện chứng của chủ nghĩa đế quốc, phép biện chứng của chiến lược và tài liệu lược của cách mạng xã hội chủ nghĩa, Lênin phát triển phép biện chứng duy vật thời kỳ sau Cách mạng tháng mười,... Mời bạn đọc cùng tham khảo nội dung chi tiết.
381p thiendiadaodien_7 04-03-2019 61 13 Download
-
Bài báo đề xuất một cấu trúc nhận dạng tích hợp giữa logic mờ và mạng nơron nhân tạo để nhận dạng đối tượng phi tuyến. Phương pháp này cho phép nhận dạng các đối tượng có tính phi tuyến mạnh với độ chính xác đủ dùng trong kỹ thuật.
5p cumeo2008 02-07-2018 41 2 Download
-
Bài giảng Trí tuệ nhân tạo: Chương 5 do Nguyễn Văn Hòa biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn: isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, phân giải mệnh đề, đưa về clause form.
35p thiennga_12 06-03-2018 46 3 Download
-
Phần 1 tài liệu I. Cantơ - Người sáng lập nền triết học cổ điển Đức giới thiệu tới người đọc các nội dung: Phép biện chứng tiên nghiệm trong triết học I. Cantơ, siêu hình học Cantơ một học thuyết về các mối quan hệ, học thuyết về Antinômia và lôgic tiên nghiệm của Cantơ, quan niệm của Cantơ về bản chất nhận thức,... Mời các bạn cùng tham khảo.
149p tramnamcodon_08 05-05-2016 128 31 Download
-
p 01-01-1970 Download
-
Trong chương này sẽ đề cập đến lập trình 8051 số học và lôgic. Các nội dung chính trong chương này gồm có: Số học các số có dấu và số không dấu, các số nhị phân và mã BCD, các lệnh cộng, phép trừ, phép nhân, phép chia, các phép toán Logic,... Mời các bạn cùng tham khảo.
23p nganga_09 21-10-2015 75 12 Download
-
Phép biến đổi wavwlet được xem như là một kỹ thuật cơ bản cho việc nhận dạng ngắn mạch bên trong, bên ngoài từ các điều kiện dòng từ hóa và dòng quá kích trong máy biến áp. Bài viết phân tích quá trình mô phỏng và nhận dạng các hiện tượng quá độ trong máy biến áp sử dụng phân tích wavelet.
7p uocvongxua09 04-09-2015 79 8 Download