» Từ khóa: hình thức

Bài giảng Đặc tả hình thức: Chương 2 do Nguyễn Thị Minh Tuyền biên soạn gồm các nội dung chính được trình bày như: Tập hợp (Set), giá trị của một tập hợp, định nghĩa tập hợp, các phép toán trên tập hợp, tập lũy thừa, phân hoạch tập hợp,...

 43 p husc 31/01/2018 237 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Tập hợp và quan hệ, Tập các đối tượng rời rạc, Tập lũy thừa, Quan hệ nhị phân

Bài giảng Đặc tả hình thức: Chương 3 do Nguyễn Thị Minh Tuyền biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm Nguyên tử và quan hệ, signature và Field, các phép toán,...Mời các bạn cung tham khảo!

 69 p husc 31/01/2018 232 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Nguyên tử và quan hệ, Quan hệ đơn phân

Bài giảng Đặc tả hình thức: Chương 4, trình bày các nội dung sau: Các phép toán logic, thứ tự ưu tiên các phép toán, tập bằng cách định nghĩa thuộc tính,...Mời các bạn cung tham khảo!

 24 p husc 31/01/2018 267 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Các phép toán logic, Cấu trúc Family

Assertion là ràng buộc bổ sung và được kiểm tra bởi bộ phân tích xem chúng có đúng hay không. Bài giảng Đặc tả hình thức: Chương 5 do Nguyễn Thị Minh Tuyền sau đây sẽ giúp các bạn nắm chi tiết hơn về Assertion. Mời các bạn cùng tham khảo!

 14 p husc 31/01/2018 232 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Run và vị từ, Lệnh và phạm vi

Bài giảng Đặc tả hình thức: Chương 6 do Nguyễn Thị Minh Tuyền biên soạn nội dung cụ thể của chương này gồm có: Module trong Alloy, khai báo module, định nghĩa module, định nghĩa ModulePathName, các module định nghĩa sẵn, xung đột về tên, các module được tham số hóa,...

 23 p husc 31/01/2018 257 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Các module trong Alloy, Định nghĩa module, Định nghĩa ModulePathName, Các module định nghĩa sẵn, Khai báo module

Nội dung chương 12 trình bày đến người học những vấn đề liên quan đến "Giới thiệu về ESC/Java2 Thủ thuật và cạm bẫy", cụ thể như: Đặc tả thừa kế, Aliasing, Object invariants, giả thuyết không nhất quán, Exposed references, old, viết đặc tả thế nào,...

 29 p husc 31/01/2018 198 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về ESC/Java2, Thủ thuật và cạm bẫy, Đặc tả thừa kế

Chương 13 giúp người học hiểu về "Giới thiệu về ESC/Java2 Cảnh báo". Nội dung trình bày cụ thể gồm có: Các loại cảnh báo ESC/Java2, Cast warning, Null warning, ArrayStore Warning, ZeroDiv, index Warnings, class invariant warnings,...

 41 p husc 31/01/2018 180 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về ESC/Java2 cảnh báo, Các loại cảnh báo ESC/Java2, Deadlock warnings

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...

 28 p husc 31/01/2018 225 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, JML nâng cao, Từ khóa chính trong JML, Các tính năng nâng cao, Đặc tả các ngoại lệ, Thừa kế đặc tả

Trình bày tổng quan về mạng WSN như: khái niệm, cấu trúc, đặc trưng và các ứng dụng mạng WSN. Định tuyến trong mạng cảm biến không dây: đưa ra các vấn đề phải đối mặt khi định tuyến, đưa ra các giao thức định tuyến đang được dùng trong mạng cảm biến để phân tích cơ chế hoạt động của từng giao thức định tuyến LEACH, LEACH-C và TEEN....

 12 p husc 10/01/2018 402 1 Download

Từ khóa: Công nghệ thông tin, Mạng cảm biến, Cảm biến không dây, Giao thức định tuyến, Định tuyến phân cấp, Truyền dữ liệu, Thiết lập cụm, Mô hình phần mềm.

Trình bày tổng quan về hệ thống giám sát thông minh, trong đó nêu những vấn đề cơ bản trong hệ thống giám sát và đưa ra các phương pháp tiếp cận để giải quyết, các ứng dụng hệ thống Camera giám sát an ninh và cảnh báo về hành vi bất thường. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 5 p husc 23/10/2017 292 1 Download

Từ khóa: Công nghệ thông tin, Hệ thống giám sát, Hệ thống camera, Hiệu ảnh trực tuyến, Mô hình nền, Mô hình dự báo, Mô hình mô tả, Bộ dữ liệu thực nghiệm.

Giới thiệu quy trình thiết kế cơ sở dữ liệu thời gian. Phân tích và thiết kế cơ sở dữ liệu thời gian phục vụ việc quản lý công tác giảng dạy tại trường Trung cấp Bách khoa Gò Công. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 6 p husc 20/10/2017 304 4 Download

Từ khóa: Công nghệ thông tin, Dữ liệu thời gian, Dữ liệu quan hệ, Chuyển đổi mô hình, Mô hình TimeER, Tập thực thể, Giao diện các menu, Truy vấn thống kê.

Việc sử dụng đúng đắn các khái niệm liên quan về đồng phân trong giảng dạy hóa học sẽ giúp cho học sinh nắm được bản chất các vấn đề hóa học và góp phần phát triển tư duy logic cho học sinh. Bài viết này góp phần giúp cho giáo viên (và cả học sinh) hiểu sâu sắc hơn về một hiện tượng hóa học rất lí thú, góp phần dạy (và học) môn Hóa...

 7 p husc 30/09/2017 240 1 Download

Từ khóa: Công thức cấu tạo, Đồng phân cấu tạo, Đồng phân hình học, Khái niệm đồng phân, Dạy học hóa học, Trường phổ thông