- 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ố
- Tài liệu Nội sinh (134)
- Khoa Kỹ thuật Công nghệ ô tô (969)
- Khoa Kỹ thuật Công nghệ Cơ khí (1623)
- Khoa Kỹ thuật Công nghệ Điện - Điện tử (1767)
- Khoa Khoa học SHƯD (1768)
- Khoa Công nghệ thông tin (1639)
- Khoa SPKT & XHNV (1669)
- Khoa Lý luận chính trị (489)
- Khoa Kinh tế - Luật (1782)
- Khoa học cơ bản (816)
- Trung tâm Ngoại ngữ (205)
- Trung tâm GDTC-GDQP (111)
- Luận văn - Báo cáo (236)
- Tài liệu đào tạo nghề (94)
- Tài liệu ngoại văn (162)
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
» Từ khóa: Kiểm chứng tính đúng
Kết quả 1-2 trong khoảng 2
-
Bài giảng Thuật toán nâng cao: Chương 2 - Nguyễn Thanh Bình
Bài giảng chương 2 trình bày về "Chứng minh sự đúng đắn" trong thuật toán. Nội dung trình bày cụ thể gồm có: Phân tích thuật toán, kiểm tra tính đúng đắn, chứng minh sự đúng đắn, tiền điều kiện và hậu điều kiện, trạng thái của thuật toán, chú thích thuật toán,... Mời các bạn cùng tham khảo.
14 p vlute 28/08/2019 231 1
Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Phân tích thuật toán, Kiểm tra tính đúng đắn, Chứng minh sự đúng đắn, Trạng thái của thuật toán
-
Giáo trình Kỹ thuật lập trình nâng cao - ĐH Đà Lạt
Giáo trình gồm 2 phần chính và một phụ lục. Phần I trình bày về chủ đề đệ quy trong lập trình bao gồm các nội dung sau: Khái niệm đệ quy và vai trò của nó trong lập trình, cách xây dựng một giải thuật cho một bài toán bằng phương pháp đệ quy, cơ chế thực hiện một giải thuật đệ quy và khử đệ quy. Phần II nghiên cứu về chủ đề kiểm chứng...
108 p vlute 18/02/2014 368 7
Từ khóa: Giáo trình Kỹ thuật lập trình nâng cao, Kỹ thuật lập trình nâng cao, Đệ quy trong lập trình, Kiểm chứng tính đúng, Hệ luật Hoare, Hệ luật Dijkstra
Đăng nhập
Bộ sưu tập số
-
0 3781
-
-
0 2886
-
0 11992
-
0 9358
-
0 3507
-
0 3729
Phát triển bởi Thư viện số
