• Đề cương chi tiết bài giảng môn Lập trình JavaĐề cương chi tiết bài giảng môn Lập trình Java

    5. Nội dung chi tiết: - Khái niệm lớp (Class):  Lớp được xem như một khuôn mẫu (template) của đối tượng (object).  Trong lớp bao gồm các thuộc tính của đối tượng (properties) và các phương thức (methods) tác động lên các thuộc tính.  Đối tượng được xây dựng từ lớp nên được gọi là thể hiện của lớp (class instance). - Cách khai báo lớp: <...

    pdf66 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 530 | Lượt tải: 1

  • Đáp án đề thi cuối học kỳ II môn Lập trình ứng dụng trong kỹ thuật - Năm học 2015-2016 - Đại học Sư phạm Kỹ thuật thành phố Hồ Chí MinhĐáp án đề thi cuối học kỳ II môn Lập trình ứng dụng trong kỹ thuật - Năm học 2015-2016 - Đại học Sư phạm Kỹ thuật thành phố Hồ Chí Minh

    Câu 17: (0.5 điểm) string A = Convert.ToString(this.CB1.SelectedItem); (0.25 điểm) this.TB1.Text = A; (0.25 điểm) Câu 18: (0.5 điểm) if (this.CB1.Checked) this.T1.Enabled = true; (0.25 điểm) else this.T1.Enabled = false; (0.25 điểm) HOẶC: if (this.CB1.Checked) this.T1.Start(); (0.25 điểm) else this.T1.Stop(); (0.25 điểm) C...

    docx4 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 650 | Lượt tải: 1

  • Đánh giá những Framework PHP tốt nhất cho phát triển web hiện đại và một số ứng dụng tại học viện nông nghiệp Việt NamĐánh giá những Framework PHP tốt nhất cho phát triển web hiện đại và một số ứng dụng tại học viện nông nghiệp Việt Nam

    TÓM TẮT Từ khi ngôn ngữ lập trình phía server PHP ra đời, nó luôn được cộng đồng người phát triển ứng dụng web ưa chuộng bởi tính hiệu quả, dễ sử dụng. Hiện nay, PHP vẫn đang là ngôn ngữ lập trình web phổ biến nhất trên thế giới. Sự xuất hiện của các framework PHP cung cấp cho những người phát triển web sự tiện dụng, hiệu quả cũng như tiết kiệm...

    pdf11 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 690 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z - Vũ Thanh Nguyên

    Các Thành Phần Của Ngôn Ngữ  Logic mệnh đề. Các khái niệm về logic mệnh đề cũng như hệ thống ký hiệu của logic mệnh đề trong ký pháp Z hoàn toàn giống với ngôn ngữ toán học thông thường. Có 5 phép toán mệnh đề trong ngôn ngữ Z được liệt kê trong bảng dưới đây, với độ ưu tiên giảm dần từ trên xuống dưới: Các Thành Phần Của Ngôn Ngữ  Logic ...

    pdf47 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 758 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 7: Kiểu ánh xạ - Vũ Thanh Nguyên

    Ánh xạ  Đơn ánh: Mỗi phần tử trong tập nguồn tương ứng với tối đa 1 phần tử (ảnh) trong tập đích  Toàn ánh: Mỗi phần tử trong tập nguồn đều có ảnh trong tập đích  Song ánh: Mỗi phần tử trong tập đích có duy nhất một tiền ảnh trong tập nguồn

    pdf23 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 529 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 6: Kiểu đối tượng phức - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 6: Kiểu đối tượng phức - Vũ Thanh Nguyên

    Đặc tả kiểu đối tượng phức  Trong quá trình phát triển các ứng dụng, đối với các kiểu dữ liệu được hỗ trợ trong hệ thống không đủ sức mạnh để chúng ta đặc tả các bài toán phức tạp.  Đối với khái niệm trong ngôn ngữ lập trình thì chúng ta sử dụng cấu trúc dữ liệu để mô tả các đối tượng này và trong đặc tả hình thức chúng ta có khái niệm tươn...

    pdf22 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 529 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 5: Đặc tả hàm - Vũ Thanh Nguyên

    Tổng Quan Về Hàm  Hàm là một khái niệm trừu tượng toán học: là ánh xạ giữa hai tập giá trị.  function_name: domain → range, ở đó function_name: tên của hàm domain: miền xác định của tập giá trị mà ở đó hàm có thể ứng dụng range: phạm vi xác định của tập giá trị mà ở đó hàm chứa đựng kết quả của ứng dụng hàm. giữa domain và range cách nha...

    pdf51 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 482 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 4: Số và kiểu mảng - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 4: Số và kiểu mảng - Vũ Thanh Nguyên

    Kiểu mảng  Trong 1 số trường hợp, để ghi lại thứ tự nhất định của các đối tượng đã được sắp xếp thì ta sẽ sử dụng mảng.  Mảng (sequence):  Gồm hữu hạn phần tử (0 hay nhiều phần tử)  Có thứ tự  Một phần tử có thể xuất hiện nhiều lần trong mảng  Các phần tử trong mảng có cùng kiểu dữ liệu Kiểu mảng  Mảng:  Mảng chỉ chứa một phần tử ...

    pdf36 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 510 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 3: Mô hình hóa dữ liệu kiểu tập hợp - Vũ Thanh Nguyên

    Kiểu tập hợp  Câu hỏi: Có thể sử dụng kiểu tập hợp cho các trường hợp nào sau đây:  Hành khách trên 1 chuyến xe buýt  Bệnh nhân trong phòng chờ khám bệnh trong 1 buổi  Thí sinh được nhận giải thưởng trong 1 kỳ thi Mô hình hóa các operation  Một operation có thể có hai tác dụng  Thay đổi nội dung biến bên ngoài  Trả về giá trị thông ...

    pdf23 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 573 | Lượt tải: 1

  • Bài giảng Đặc tả hình thức - Chương 2: Cơ sở toán học trong đặc tả hình thức - Vũ Thanh NguyênBài giảng Đặc tả hình thức - Chương 2: Cơ sở toán học trong đặc tả hình thức - Vũ Thanh Nguyên

    Lý thuyết tập hợp  Định nghĩa tập hợp  Trong toán học, tập hợp có thể hiệu tổng quát là sự tụ tập của một số hữu hạn hay vô hạn các đối tượng nào đó có cùng tính chất. Các đối tượng này được gọi là các phần tử của tập hợp  Trong đặc tả hình thức, chúng ta còn có thể định nghĩa tập hợp là tập các đối tượng dùng để xác định rõ các đối tượng...

    pdf89 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 538 | Lượt tải: 1