» Từ khóa: lôgíc hình thức

Kết quả 1-11 trong khoảng 11

Giáo trình Logic học đại cương: Phần 1

Giáo trình Logic học đại cương gồm 7 bài phân bổ ,cho 30 giờ học tín chỉ. Nội dung các bài liên quan đến những kiến thức chung về bản chất của lôgíc học, về khái niệm, phán đoán, suy luận, chứng minh và giả thuyết, về các quy luật của tư duy logic chính xác. Sách được chia thành 2 phần, mời các bạn cùng tham khảo phần 1 cuốn sách.

130 p actvn 29/09/2024 19 1

Từ khóa: Giáo trình Logic học đại cương, Logic học đại cương, Hình thức của tư duy, Lược sử phát triển của logic học, Chức năng logic học
Ebook Logic học đại cương: Phần 1

Phần 1 cuốn sách "Logic học đại cương" cung cấp cho người đọc các nội dung 4 chương đầu bao gồm: Đối tượng và ý nghĩa của logic học, khái niệm, phán đoán, các quy luật cơ bản của logic hình thức. Mời các bạn cùng tham khảo nội dung chi tiết.

120 p actvn 24/06/2024 48 0

Từ khóa: Logic học đại cương, Phán đoán, Logic hình thức, Quy luật không mẫu thuẫn, Quy luật đồng nhất, Hình thức ngôn ngữ
Ebook Triết học - những vấn đề nghiên cứu và giảng dạy: Phần 2

Phần 2 Cuốn sách Triết học - những vấn đề nghiên cứu và giảng dạy trình bày những vấn đề về triết học và các khoa học khác và những vấn đề về giảng dạy triết học. Hy vọng cuốn sách sẽ được các nhà nghiên cứu và giảng dạy triết học, các bạn sinh viên trong các trường Đại học và Cao đẳng tiếp nhận như một người bạn có khả năng...

267 p actvn 24/06/2024 41 0

Từ khóa: Nghiên cứu Triết học, Giảng dạy Triết học, Logic hình thức, Văn hóa thẩm mỹ, Văn hóa Việt Nam, Triết học Mác
Bài giảng Các giao thức định tuyến: Border gateway protocol

Bài giảng Các giao thức định tuyến: Border gateway protocol. Chương này cung cấp cho học viên những nội dung gồm: tổng quan về BGP; kiến trúc logic internet; các bản tin của BGP; hoạt động của BGP; cấu hình BGP;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

63 p actvn 24/06/2024 14 0

Từ khóa: Bài giảng Các giao thức định tuyến, Các giao thức định tuyến, Border gateway protocol, Kiến trúc logic internet, Cấu hình BGP, Giao thức định tuyến liên vùng
Ebook Lôgic học đại cương (In lần thứ 16): Phần 1

Phần 1 của cuốn sách "Lôgic học đại cương" trình bày những nội dung chính sau: chương I - đối tượng và ý nghĩa của logic học; chương II - khái niệm; chương III - phán đoán; chương IV - các quy luật cơ bản của logic hình thức;... Mời các bạn cùng tham khảo!

88 p actvn 26/01/2024 89 0

Từ khóa: Lôgic học đại cương, Logic học, Quá trình nhận thức, Hình thức của tư duy, Kết cấu logic của khái niệm, Quy luật đồng nhất, Quy luật lí do đầy đủ
Giáo trình Lôgích học: Phần 1

Phần 1 cuốn giáo trình "Lôgích học" trình bày những tri thức cơ bản nhất, ngắn gọn nhất và phù hợp với đối tượng người học là sinh viên. Phần 1 cuốn sách trình bày các nội dung: Đại cương về lôgích; khái niệm, phán đoán. Mời các bạn cùng tham khảo nội dung chi tiết.

162 p actvn 25/12/2023 75 0

Từ khóa: Giáo trình Lôgích học, Lôgích học, Tư duy lôgíc, Tư duy lôgíc tự giác, Nghiên cứu logic học, Hình thức logic, Phán đoán logic
Giáo trình Logic học ký hiệu: Phần 1

Giáo trình Logic học ký hiệu được biên soạn dùng tài liệu học tập cho học viên cao học ngành Lý luận và phương pháp dạy học bộ môn Lý luận chính trị và những người quan tâm khác bước đầu làm quen với bộ môn này, biết vận dụng để xử lý một số tình huống khoa học và thực tiễn cụ thể. Giáo trình được chia thành 2 phần, mời các bạn...

34 p actvn 29/11/2023 82 0

Từ khóa: Giáo trình Logic học ký hiệu, Logic học ký hiệu, Ngôn ngữ logic mệnh đề, Hình thức mệnh đề, Logic mệnh đề, Bảng giá trị công thức mệnh đề
Bài giảng Đặc tả hình thức: Chương 8 - PGS.TS. Vũ Thanh Nguyên

Bài giảng Đặc tả hình thức: Chương 8 Ngôn ngữ đặc tả Z, cung cấp cho người đọc những kiến thức như: Giới thiệu; Các thành phần của ngôn ngữ; Giản đồ; Các phép toán trên giản đồ. Mời các bạn cùng tham khảo!

47 p actvn 21/03/2023 61 0

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ, Logic toán học, Logic mệnh đề
Bài giảng Học sâu và ứng dụng - Bài 10: Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên

Bài giảng Học sâu và ứng dụng: Bài 10 Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên, cung cấp cho người học những kiến thức như: Tổng quan về xử lý ngôn ngữ tự nhiên; Biểu diễn từ và văn bản; Thư viện Xử lý ngôn ngữ tự nhiên và một số mô hình huấn luyện sẵn. Mời các bạn cùng tham khảo!

49 p actvn 28/11/2021 169 3

Từ khóa: Bài giảng Học sâu và ứng dụng, Học sâu và ứng dụng, Xử lý ngôn ngữ tự nhiên, Ứng dụng học sâu, Mô hình huấn luyện sẵn, Nhận dạng thực thể định danh, Suy diễn logic
Bài giảng Trí tuệ nhân tạo: Chương 3 - PGS.TS. Lê Thanh Hương (tt)

Bài giảng "Trí tuệ nhân tạo - Chương 3: Kỹ thuật giải quyết vấn đề" cung cấp cho người học các kiến thức: Biểu diễn bằng logic hình thức và các phương pháp chứng minh, một số phương pháp giải quyết vấn đề khác. Mời các bạn cùng tham khảo.

19 p actvn 31/03/2020 419 1

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Kỹ thuật giải quyết vấn đề, Giải quyết vấn đề, Phương pháp chứng minh, Biểu diễn bằng logic hình thức
Bài giảng Hệ chuyên gia (Expert System): Chương 2.1 - PGS.TS. Phan Huy Khánh

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.1 đề cập đến vấn đề biểu diễn tri thức trong các hệ chuyên gia. Nội dung chính trong chương này tập trung trình bày một số phương pháp dùng ngôn ngữ hình thức như: Biểu diễn tri thức nhờ các luật sản xuất, biểu diễn tri thức nhờ lôgic, biểu diễn tri thức nhờ mạng ngữ nghĩa,... Mời các bạn cùng...

45 p actvn 29/07/2019 338 2

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Ngôn ngữ hình thức, Biểu diễn tri thức nhờ lôgic, Mạng ngữ nghĩa