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

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

Giáo trình Nhập môn logic hình thức: Phần 1

Phần 1 cuốn giáo trình "Nhập môn logic hình thức" giới thiệu tới người đọc nội dung các chương: Về ngôn ngữ và logich hình thức, khái niệm, phán đoán, logich mệnh đề, logic vị từ. Mời các bạn cùng tham khảo nội dung chi tiết.

114 p ntt 22/08/2022 85 0

Từ khóa: Nhập môn logic hình thức, Giáo trình Nhập môn logic hình thức, Logic học hình thức, Logich mệnh đề, Logic vị từ, Phán đoán
Giáo trình Nhập môn logic hình thức: Phần 2

Phần 2 cuốn giáo trình "Nhập môn logic hình thức" giới thiệu tới người đọc nội dung các chương: Những nguyên lí cơ bản của tư duy, suy luận logich, lý thuyết lập luận, logich hình thái và logich đa trị. Mời các bạn cùng tham khảo nội dung chi tiết.

144 p ntt 22/08/2022 88 0

Từ khóa: Nhập môn logic hình thức, Giáo trình Nhập môn logic hình thức, Logic học hình thức, Những nguyên lí cơ bản của tư duy, Suy luận logich, Lý thuyết lập luận, Logich hình thái
Bài giảng Logic học - Nguyễn Đình Tùng

Bài giảng Logic học cung cấp cho người học những kiến thức như: Phán đoán và các phép logic; tính chất của phép hội và phép tuyển; phép kéo theo; một số quy luật logic; logic vị từ; suy luận diễn dịch;... Mời các bạn cùng tham khảo!

62 p ntt 18/04/2022 75 0

Từ khóa: Bài giảng Logic học, Logic học, Công thức De Morgan, Phán đoán phản đảo, Logic vị từ, Hình thức suy luận từ một tiền đề, Quy tắc bắc cầu của phép kéo theo
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 ntt 27/04/2020 185 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 ntt 27/02/2020 198 1

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
Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 - TS. Ngô Hữu Phúc

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy với mục tiêu nhằm giúp các bạn nắm được Logic hình thức, sự tương đương logic, phương pháp lập luận và suy diễn sử dụng logic.

143 p ntt 21/03/2018 330 1

Từ khóa: Khoa học máy tính, Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic hình thức, Suy diễn sử dụng logic
Giáo trình Logic học đại cương - NXB Chính trị Quốc gia

Giáo trình Logic học đại cương gồm 11 chương, trình bày về đối tượng nghiên cứu và ý nghĩa của logic học: Khái lược lịch sử 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 truyền thống, suy luận, luận chứng, giả thuyết, logic biện chứng, cặp phạm trù logic biện chứng,...Mời bạn đọc cùng tham khảo.

337 p ntt 15/11/2014 761 18

Từ khóa: Logic học đại cương, Giáo trình logic học đại cương, Lịch sử logic học, Logic hình thức truyền thống, Logic biện chứng, Cặp phạm trù logic biện chứng