Luận Văn Thạc Sĩ Nghiên Cứu Hệ Tiên Đề Hoare Và Triển Khai Trên Ngôn Ngữ Java

Lập trình máy tính là một công việc mà trong đó tài năng của các nhà toán học đƣợc yêu cầu rất cấp thiết và có thể đƣợc ứng dụng hiệu quả nhất. Toán học của lập trình là một chủ đề thú vị cho nghiên cứu, và hứa hẹn mang lại những kết quả hữu ích. Nhƣng thách thức cũng là động lực đó là áp dụng toán học và kĩ nghệ để thiết kế và đƣa ra một sản phẩm có thể tin tƣởng thực hiện một dịch vụ có giá trị. Đó thƣờng là một kiểu sản phẩm mới và đôi khi trở nên vƣợt trội. Lập trình cũng là một trong những lĩnh vực khó nhất của toán học ứng dụng. Có thể coi lập trình nhƣ một khoa học. Khoa học này không nh m đ t ra những công cụ thần kì ho c những phép màu nhiệm mà chỉ đề xuất những nguyên lý và phƣơng pháp nh m nâng cao năng xuất lao động cho các lập trình viên. Năng suất ở đây cần đƣợc hiểu theo nghĩa khác với tiết kiệm một bit, một byte ho c một phần ngàn giây mà định hƣớng trƣớc hết đến tính đúng đắn của chƣơng trình, tính dễ đọc dễ thực hiện, dễ sửa, tận dụng tối đa khả năng của thiết bị mà vẫn không phụ thuộc vào thiết bị

• Luận văn thạc sĩ tin học
• Chuyên ngành Khoa học máy tính
  
• Người hướng dẫn: PGS TSKH Nguyễn Xuân Huy
• Tác giả: Trần Đức Hạnh
• Số trang: 77
• Kiểu file: PDF-TRUE
• Ngôn ngữ: Tiếng Việt
• Đại học Duy Tân 2016

Link Download
https://drive.google.com/file/d/1xVfTXSFtf-NK2B3FoT1wdh6JufUZeBA_
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1