Tài liệu, ebook kỹ thuật lập trình, phần mềm

•Công Nghệ Phần Mềm là sự thiết lập và sử dụng các nguyên tắc khoa học nhằm mục đích tạo ra các phần mềm một cách kinh tế mà các phần mềm đó hoạt động hiệu quả và tin cậy trên các máy tính. • •Công nghệ phần mềm là một quy trình có hệ thống được sử dụng trong quá trình phân tích, thiết kế, hiện thực, kiểm tra và bảo trì để bảo đảm các sản phẩm ph...

258 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2448 | Lượt tải: 5

Đặc tả hình thức cho phép: – Người học có thể tiếp thu nnlt dễ dàng – Bộ dịch có thể sinh mã đúng đắn – Bộ dịch có thể kiểm tra lỗi tự động – Có thể chứng minh được tính đúng đắn của chương trình Đặc tả hình thức: – Từ vựng – Văn phạm

17 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2591 | Lượt tải: 1

Nội dung: 1. Đặc tả ngữ nghĩa hình thức cho phép: – Chứng minh tính đúng đắn của chương trình – Kiểm tra tính đúng đắn của chương trình dịch 2. Các phương pháp đặc tả: – Ngữ nghĩa tác vụ (operational semantics) – Ngữ nghĩa biểu thị (denotational semantics) – Ngữ nghĩa tiên đề (axiomatic semantics)

16 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2598 | Lượt tải: 5

NGỮ NGHĨA TÁC VỤ - Dựa vào một máy ảo mà tập các tác vụ của nó đã được định nghĩa chính xác - Ngữ nghĩa của mỗi phần tử chương trình được đặc tả bằng 1 tập các tác vụ của máy ảo

27 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2571 | Lượt tải: 5

NỘI DUNG CỐT LÕI Trong khuôn khổ 45 tiết, giáo trình được cấu trúc thành 9 chương Chương 1: Mở đầu. Chương này trình bày khái niệm về ngôn ngữ lập trình, lợi ích của việc nghiên cứu ngôn ngữ lập trình và các tiêu chuẩn để đánh giá một ngôn ngữ lập trình tốt. Chương 2: Kiểu dữ liệu. Chương này trình bày các khái niệm về đối tượng dữ liệu v...

111 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2893 | Lượt tải: 1

Mục đích của môn học Ngôn ngữ lập trình là cung cấp cho sinh viên một khối lượng kiến thức tương đối hoàn chỉnh về nguyên lí của ngôn ngữ lập trình. Cùng với môn học Tin học lí thuyết, Ngôn ngữ lập trình sẽ là môn học tiên quyết để học môn Trình biên dịch. Sau khi học xong môn học này, sinh viên cần: - Nắm được các khái niệm về đối tượng d...

134 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2317 | Lượt tải: 4

1.Các khái niệm căn bản 2.Chiến lược chia-để-trị 3.Chiến lược giảm-để-trị 4.Chiến lược biến thể-để-trị 5.Qui hoạch động và giải thuật tham lam 6.Giải thuật quay lui 7.Vấn đề NP-đầy đủ 8.Giải thuật xấp xỉ

22 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2830 | Lượt tải: 1

Nội dung: - Giải thuật thời gian đa thức tất định và không tất định - Vấn đề NP-đầy đủ - Định lý Cook - Một số bài toán NP-đầy đủ - Một số kỹ thuật để đối phó với những bài toán NP-đầy đủ

25 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2809 | Lượt tải: 1

Một phương pháp tổng quát để giải quyết vấn đề: thiết kế giải thuật tìm lời giải cho bài tóan không phải là bám theo một tập qui luật tính tóan được xác định mà là bằng cách thử và sửa sai (trial and error).  Khuôn mẫu thông thường là phân rã quá trình thử và sửa sai thành những công tác bộ phận. Thường thì những công tác bộ phận này được diễn tả...

37 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 2883 | Lượt tải: 5

Quy hoạch động (dynamic programming) giải các bài toán bằng cách kết hợp các lời giải của các bài toán con của bài toán đang xét. Phương pháp này khả dụng khi các bài toán con không độc lập đối với nhau, tức là khi các bài toán con có dùng chung những bài toán “cháu” (subsubproblem). Qui hoạch động giải các bài toán “cháu” dùng chung này mộ...

72 trang | Chia sẻ: diunt88 | Ngày: 12/08/2012 | Lượt xem: 3025 | Lượt tải: 5