- 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
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 51 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ữ
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 86 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 đề
Giáo trình Thị giác máy tính và ứng dụng: Phần 1
Giáo trình Thị giác máy tính và ứng dụng ra đời với mục đích giúp người học dễ dàng tiếp cận và thực hành thị giác máy tính. Cơ sở lý thuyết và thuật toán cơ bản được trình bày theo cách đơn giản nhất để sinh viên, nhà nghiên cứu và những đối tượng khác có cùng đam mê trong lĩnh vực này dễ dàng thực hành trên những ứng dụng cụ thể......
70 p actvn 24/04/2023 64 0
Từ khóa: Giáo trình Thị giác máy tính, Thị giác máy tính, Ứng dụng thị giác máy tính, Thực hành thị giác máy tính, Xử lý ảnh cơ bản, Ngôn ngữ lập trình Python, Phép ánh xạ hình ảnh
Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên
Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!
21 p actvn 21/03/2023 54 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình Thế giới thực, Ngôn ngữ đặc tả hình thức, Quy trình công nghệ phần mềm, Ngôn ngữ hình thức
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 65 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 đề
Đăng nhập
Bộ sưu tập nổi bật
10 22122
Bộ sưu tập Tài liệu học tiếng Anh
14 84733
Bộ sưu tập Kỹ thuật viễn thông
11 17060
12 24239