- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Luận lý Toán học (Mathematical Logic): Chương 2 (phần 3) - Nguyễn Thanh Sơn
Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.
82 p husc 31/05/2019 250 1
Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị
Bài giảng Cơ sở dữ liệu: Bài 9 - ThS. Vũ Văn Định
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.
20 p husc 24/12/2018 247 1
Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Ngôn ngữ tân từ, Logic toán, Ứng dụng logic toán
Bài giảng Thiết kế logic số: Lecture 2.3 - TS. Hoàng Văn Phúc
Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Toán tử và biểu thức, phép dịch và khối dịch không sử dụng toán tử. Mời các bạn cùng tham khảo!
14 p husc 30/08/2018 180 1
Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Toán tử dịch, Dịch số học, Khối dịch không sử dụng toán tử
Bài giảng Trí tuệ nhân tạo: Chương 5 - Nguyễn Văn Hòa
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.
35 p husc 31/03/2018 242 2
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Sử dụng logic mệnh đề và vị từ, Phép toán mệnh đề, Phân giải mệnh đề
Nghiên cứu một số kỹ thuật phân lớp mờ và ứng dụng tư vấn tuyển sinh đại học
Trình bày khái quát về khái niệm phân lớp dữ liệu, các kỹ thuật phân lớp dữ liệu gồm phân lớp cây quyết định và phân lớp K – láng giềng gần nhất; các vấn đề trong phân lớp dữ liệu như chuẩn bị dữ liệu, làm sạch dữ liệu, chuyển đổi dữ liệu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...
9 p husc 10/01/2018 222 1
Từ khóa: Công nghệ thông tin, Phân lớp dữ liệu, Dữ liệu mờ, Biến ngôn ngữ, Logic mờ, Bài toán tư vấn
Với kết cấu nội dung gồm 6 chương, giáo trình "Cơ sở toán học" trình bày về Logic toán và tập hợp, ánh xạ, quan hệ, số tự nhiên và số nguyên, số hữu tỉ, số thực, số phức,... Đây là tài liệu tham khảo hữu ích cho các bạn chuyên ngành Toán học.
157 p husc 26/05/2016 3510 34
Từ khóa: Giáo trình Cơ sở toán học, Cơ sở toán học, Tài liệu Cơ sở toán học, Tìm hiểu Logic toán, Số tự nhiên, Số hữu tỉ
Biểu diễn tri thức bằng logic vị từ và phương pháp xử lý tương ứng
Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ...
2 p husc 13/03/2015 255 1
Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song
Đăng nhập
Bộ sưu tập nổi bật
Tuyển tập tác phẩm văn học hay
15 7884
17 13661
Bộ sưu tập tài liệu Toán học hay
24 7849
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.