tailieunhanh - Bài giảng Phương pháp nghiên cứu khoa học (IT): Bài 5 - Ngô Hữu Phúc

"Bài giảng Phương pháp nghiên cứu khoa học (IT) - Bài 5: Mô hình toán học trong nghiên cứu IT – một số dạng của chứng minh toán học" trình bày tiên đề, các định nghĩa, phân tích trường hợp, chứng minh bằng phản chứng, chứng minh bằng quy nạp. | MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT CÁC CƠ SỞ BAN ĐẦU CỦA CHỨNG MINH TOÁN HỌC Tiên đề Các công trình đã được kiểm định trước đó Các định nghĩa MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT MỘT SỐ DẠNG CỦA CHỨNG MINH TOÁN HỌC Ngôn ngữ Bởi vì .suy ra Phân tích trường hợp Chứng minh bằng phản chứng Chứng minh bằng quy nạp MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT MÔ HÌNH TOÁN HỌC Thông thường các vấn đề trong kỹ thuật nói chung và IT nói riêng có thể mô tả được bằng các mô hình toán học VD Kết nối internet có thể mô tả dưới dạng đồ thị Mô tả các tác động của động đất bằng một hệ phương trình vi phân Chúng ta cũng có thể sử dụng toán học để nghiên cứu các mô hình Từ đó ta có thể đưa ra các kết luận đối với vấn đề nghiên cứu ban đầu Tuy nhiên MÔ HÌNH không phải THỰC TẾ Luôn có một số các thông số khía cạnh được loại bỏ khỏi mô hình MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT CÁC MỤC ĐÍCH NGHIÊN CỨU CHÍNH TRONG SỬ DỤNG MÔ HÌNH TOÁN HỌC Tìm được thuật toán đề giải quyết một mô hình nào đó Tìm được mô hình toán học mô tả hoạt động của hệ thống nào đó Chỉ ra một thuật toán giải quyết mô hình toán học tốt hơn các thuật toán đã có. MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT THUẬT TOÁN Một phần lớn các nghiên cứu lý thuyết trong KHMT tiếp tục tạo ra các thuật toán mới giải quyết các bài toán cụ thể. Mỗi thuật toán mới chấp nhận luôn yêu cầu nhà nghiên cứu phải chứng minh tính đúng đắn của thuật toán phân tích hiệu suất thời gian chạy yêu cầu bộ nhớ sự phát triển của thuật toán so với những thuật toán đã được sử dụng nếu có . MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT CÁC ĐẶC TRƯNG CỦA THUẬT TOÁN Input Output Tính xác định Tính khả thi Tính dừng Tính phổ dụng MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT PHƯƠNG PHÁP BIỂU DIỄN THUẬT TOÁN Dùng các chỉ dẫn Dùng sơ đồ khối Dùng cấu trúc điều khiển MÔ HÌNH TOÁN HỌC TRONG NGHIÊN CỨU IT BIỂU DIỄN BẰNG LƯU ĐỒ SƠ ĐỒ KHỐI Khối thao tác Khối output Khối input đối tượng biểu Khối input thức Khởi đầu Kết thúc Khối điều kiện - Thứ tự xử lý MÔ .