Nâng cao hiệu quả suy diễn trong phần mềm trợ giúp chứng minh hình học
Phụ đề
LATS Toán học: 1.01.10
Tác giả
Nguyễn Vũ Quốc Hưng
Khu vực
Hà Nội
Nơi xuất bản
Đại học Bách khoa Hà Nội
Năm xuất bản
1999
Ngôn ngữ
Tiếng Việt
Từ khóa
Toán tin, Hình học, Phần mềm máy tính
Tóm tắt
Xác lập đặc trưng của phần mềm dạy học và các yếu tố quyết định để thiết kế xây dựng phần mềm đó. Phương thức biểu diễn tri thức hình học trong phần mềm trợ giúp chứng minh hình học, kỹ thuật nâng cao hiệu quả trong suy diễn dựa trên các hàm đánh giá mức
Bánh xe lăn, phím mũi tên, PgUp, PgDn, Home, End để di chuyển trang. Phím +, ‒ trên bàn phím số để phóng to/thu nhỏ trang.