- 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 Đặ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 iemh 18/03/2023 48 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 iemh 18/03/2023 47 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 Logic học: Chương 2 - Trường ĐH Thương Mại
Bài giảng Logic học: Chương 2 Khái niệm cung cấp cho người học các kiến thức: Quan niệm chung về khái niệm; Kết cấu logic của khái niệm; Phân loại khái niệm; Quan hệ giữa các khái niệm; Các thao tác Logic đối với khái niệm. Mời các bạn cùng tham khảo!
30 p iemh 26/11/2022 64 0
Từ khóa: Bài giảng Logic học, Logic học, Hình thức ngôn ngữ biểu đạt khái niệm, Phân loại khái niệm, Quan hệ điều hòa, Phép định nghĩa khái niệm
Bài giảng Ngôn ngữ lập trình Java: Phần 2 - TS. Vũ Hữu Tiến
Tiếp nội dung phần 1, Bài giảng Ngôn ngữ lập trình Java: Phần 2 cung cấp cho người học những kiến thức như: Xử lý nhập/xuất trong; xử lý ngoại lệ trong java; lập trình đa luồng; lập trình giao diện trong java. Mời các bạn cùng tham khảo!
65 p iemh 23/03/2022 148 1
Từ khóa: Bài giảng Ngôn ngữ lập trình Java, Ngôn ngữ lập trình Java, Tính đa hình trong Java, Phương thức trừu tượng, Dữ liệu dạng văn bản, Lập trình giao diện với Swing
Giáo trình Lý thuyết ngôn ngữ hình thức và otomat: Phần 2
Giáo trình trình bày về văn phạm hình thức và các otomat là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngôn ngữ chính quy và ngôn ngữ phi ngữ cảnh. Đây là tài liệu tham khảo, học tập cho sinh viên, học viên cao học và nghiên cứu sinh các chuyên ngành Toán - Tin học, Công nghệ thông tin, Tin học và những ai quan tâm về văn...
96 p iemh 26/05/2020 283 3
Từ khóa: Giáo trình Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ, Ngôn ngữ hình thức, Ngôn ngữ lập trình, Văn phạm hình thức
Giáo trình Lý thuyết ngôn ngữ hình thức và otomat: Phần 1
Lý thuyết ngôn ngữ hình thức và otomat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Mời các bạn cùng tìm hiểu vấn đề này qua phần 1 cuốn sách.
109 p iemh 26/05/2020 302 3
Từ khóa: Giáo trình Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ, Ngôn ngữ hình thức, Ngôn ngữ lập trình, Kỹ thuật lập trình
Đăng nhập
Bộ sưu tập nổi bật