- 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ố
- Crypt Information Security (246 )
- An toàn thông tin (887 )
- Điện tử - Viễn thông (1413 )
- Công nghệ thông tin (3422 )
- Khoa cơ bản (567 )
- Lý luận chính trị (360 )
- Ngoại ngữ (283 )
- GDQP - GDTC (201 )
- Đồ án - Tiểu luận (167 )
- Tài liệu tham khảo khác (540 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Kinh Doanh Marketing (39320)
- Kinh Tế - Quản Lý (30571)
- Biểu Mẫu - Văn Bản (123435)
- Tài Chính - Ngân Hàng (23744)
- Công Nghệ Thông Tin (56521)
- Tiếng Anh - Ngoại Ngữ (9738)
- Kỹ Thuật - Công Nghệ (44193)
- Khoa Học Tự Nhiên (27343)
- Khoa Học Xã Hội (43227)
- Luật - Kinh tế luật (6560)
- Văn Hoá - Thể thao - Du Lịch (71283)
- Y - Dược - Sức Khoẻ (83234)
- Nông - Lâm - Thuỷ sản (16418)
- Luận Văn - Báo Cáo (217024)
- Tài Liệu Phổ Thông (244133)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: ngôn ngữ hình thức
Kết quả 13-16 trong khoảng 16
-
Bài giảng Nhập môn lập trình: Giới thiệu môn học
Bài giảng Nhập môn lập trình: Giới thiệu môn học cung cấp cái nhìn tổng quan về nội dung, mục tiêu và phương pháp học trong học phần lập trình cơ bản. Người học sẽ được làm quen với chuẩn đầu ra, hình thức đánh giá và công cụ hỗ trợ học tập. Mời các bạn cùng tham khảo bài giảng để biết thêm chi tiết!
20 p actvn 31/10/2025 42 0
Từ khóa: Nhập môn lập trình, Bài giảng Nhập môn lập trình, Chuẩn đầu ra môn học, Hình thức đánh giá môn học, Lập trình trên máy tính, Thuật toán đơn giản, Ngôn ngữ lập trình, Kiểu dữ liệu
-
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 116 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 132 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 Cơ sở dữ liệu: Chương 0 - ThS. Nguyễn Thị Như Anh
Bài giảng Cơ sở dữ liệu - Chương 0: Giới thiệu môn học. Sau khi kết thúc môn học này, học viên có thể diễn giải được vai trò của CSDL; nắm vững được các khái niệm cơ bản của CSDL; thể hiện CSDL qua các lược đồ, mô hình; sử dụng được các ngôn ngữ truy vấn để thao tác với CSDL;... Mời các bạn cùng tham khảo!
10 p actvn 22/08/2022 200 0
Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Mô hình thực thể kết hợp, Mô hình dữ liệu quan hệ, Ngôn ngữ truy vấn dữ liệu quan hệ, Ràng buộc toàn vẹn
Đăng nhập
Bộ sưu tập nổi bật
