» Từ khóa: Định thức

Kết quả 37-39 trong khoảng 39

Bài giảng Vận tải hàng hóa quốc tế

Bài giảng "Vận tải hàng hóa quốc tế" trình bày về các nội dung về phương thức vận chuyển hàng hóa quốc tế bao gồm: Đường bộ; Đường sắt; Đường thủy; Đường hàng không; Đường ống (Chuyên dùng cho hàng hóa: dầu mỏ, khí đốt,..). Mời các bạn cùng tham khảo!

23 p tgtls 16/01/2025 44 0

Từ khóa: Bài giảng Vận tải hàng hóa quốc tế, Vận tải hàng hóa quốc tế, Phương thức vận tải hàng hóa quốc tế, Vận chuyển hành hóa đường hàng không, Quy định vận tải hàng hóa quốc tế
Nghiên cứu sự ổn định của gương than tại các khu vực giáp đường lò dọc vỉa trong khai thác lò chợ dài

Nội dung bài viết trình bày một nghiên cứu ổn định gương than lò chợ tại các khu vực giáp đường lò dọc vỉa dưới điều kiện vách ổn định trung bình tới khó sập đổ. Sử dụng các phương pháp phân tích lý thuyết và quan trắc thực địa tại một lò chợ điển hình ở vùng mỏ Quảng Ninh, nhóm tác giả đã phân tích và kết luận rằng áp lực mỏ...

11 p tgtls 21/09/2024 55 0

Từ khóa: Lò chợ dài, Ngã ba chân lò chợ, Ngã ba đầu lò chợ, Ổn định gương than, Quan trắc thực địa
Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.1: Tri thức và suy diễn

Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.1: 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 thiệu về logic; cú pháp (syntax); ngữ nghĩa (semantics); tính bao hàm; suy diễn logic; logic định đề - cú pháp; logic định đề - ngữ nghĩa;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

79 p tgtls 23/08/2024 100 0

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial intelligence, Tri thức và suy diễn, Logic định đề, Lý thuyết chứng minh, Suy diễn logic, Toán tử logic

Đăng nhập

Bộ sưu tập nổi bật

Tin nhanh

Sản phẩm được hỗ trợ bởi Tailieu.vn

Email: support@tailieu.vn - Hotline: 093 303 0098

Phát triển bởi Thư viện số