Lệnh chu trình bằng logic Hoare

Luận văn được tiến hành và đã đạt được một số kết quả như sau: Tìm hiểu về bài toán chứng minh tính đúng đắn của chu trình bằng phương pháp logic Hoare; nghiên cứu các kỹ thuật tìm biến và bất biến cho việc sử dụng logic Hoare để chứng minh tính đúng đắn của chu trình; ứng dụng các kỹ thuật vào việc tìm kiếm biến và bất biến trong một hệ thống các bài toán cơ bản.

27p hanh_tv27 06-04-2019 73 2   Download

Nội dung luận án gồm có 5 chương: Chương 1/ Giới thiệu lý do chọn đề tài, mục đích nghiên cứu, đối tượng và phạm vi nghiên cứu, kết cấu của luận văn, chương 2/ Tổng quan về logic Hoare, chương 3/ Chứng minh tính đúng đắn của lệnh chu trình bằng logic Hoare, chương 4/ Nghiên cứu về biến và bất biến trong phương pháp chứng minh tính đúng đắn của lệnh chu trình. Ứng dụng vào tìm biến và bất biến trong một số thuật toán cơ bản, chương 5/ Chương tổng kết lại những vấn đề đạt được, chưa đạt được và những kiến nghị đề xuất của luận văn.

66p hanh_tv26 03-04-2019 47 4   Download