MỤC LỤC
1. Giới thiệu lập trình Symbolic 2
2. Giới thiệu Maple 3
3. IDE của Maple 4
3.1. Chức năng Maple Project 6
3.2. Tạo mới một project 6
3.3. Chức năng Archive Explorer 8
3.4. Chức năng Refactoring 9
3.5. Chức năng Running & Debugging 10
3.6. Chức năng đổi màu cú pháp 12
3.7. Chức năng hỗ trợ nội dung 12
3.8. Khung nhìn toàn cảnh 13
3.9. Chức năng chọn mẫu phong cách viết mã 14
3.10. Kiểm tra mã nguồn 14
4. Kết luận 18
5. Tài liệu tham khảo 18 Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 2

Tìm hiểu IDE của Maple
1. Giới thiệu lập trình Symbolic

Có ba thành phần trong lập trình: Logic – mô tả cấp cao cách giải quyết bài toán, xử lý –

hệ mới. Như các ngôn ngữ dựa trên internet thế hệ mới đang được phát triển theo cách
chung, và lập trình đang theo cách chung. Điều đó trở nên cần thiết rằng lập trình trở nên
đơn giản, dễ hiểu, dễ debug. Ngôn ngữ dựa trên internet tương lai sẽ mượn các đặc tính
tốt từ các ngôn ngữ symbolic cấp cao, do chúng phải than thiện người dùng, và phải dễ
dàng lập trình. Học Prolog và Scheme/Lisp sẽ giúp ta diễn tả logic chính xác và đạt được
phong cách lập trình cân bằng.
2. Giới thiệu Maple

Maple là một hệ thống tính toán trên các biểu thức đại số và minh hoạ toán học mạnh mẽ
của công ty Warterloo Maple Inc. Maple ra đời năm 1991 đến nay đã phát triển đến
phiên bản 15. Maple có cách cài đặt đơn giản, chạy được trên nhiều hệ điều hành, có cấu
trúc linh hoạt để sử dụng tối ưu cấu hình máy và có trình trợ giúp (help) rất dễ sử dụng.
Từ phiên bản 7, Maple cung cấp ngày càng nhiều các công cụ trực quan, các gói lệnh tự
học gắn liền với toán học phổ thông và đại học. Ưu điểm đó làm cho nhiều người trên
thế giới lựa chọn sử dụng Maple cùng các phần mềm toán học khác áp dụng trong dạy
học toán và các công việc tính toán đòi hỏi của thực tiễn và sự phát triển của giáo dục.
Có thể nhận thấy rằng ngoài các tính năng tính toán và minh hoạ rất mạnh mẽ bằng các
câu lệnh riêng biệt (thường chỉ cho ta kết quả cuối cùng), Maple còn là một ngôn ngữ
lập trình hướng thủ tục (procedure).
Thủ tục là một dãy các lệnh của Maple theo thứ tự mà người lập trình định sẵn để xử lí
một công việc nào đó, sẵn để xử lí một công việc nào đó, khi thực hiện thủ tục này
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 4

Maple sẽ tự động thực hiện các lệnh có trong thủ tục đó một cách tuần tự và sau đó trả lại
kết quả cuối cùng.
Mapple có các chức năng cơ bản sau:
• Là một hệ thống tính toán trên các biểu thức đại số.
• Có thể thực hiện được hầu hết các phép toán cơ bản trong chương trình toán đại học và
sau đại học.

Nguyễn Thị Ngọc Thanh-CH1101132 Page 6 Hình 2: Maple IDE rất giống Java
3.1. Chức năng Maple Project

Hình 3: Khung project explorer
Maple Project cho phép ta nhóm ứng dụng vào trong một chổ gọi là project, cấu hình cài
đặt Maple. Đường build của Maple Project mang lại chức năng mạnh để thêm các gói
Maple đã có (các thư viện .mla), các thư mục và các Maple projects khác vào trong
Maple libname.
3.2. Tạo mới một project
Ta có thể tạo các tài nguyên mới bằng cách vào menu File -> New trên thanh menu
Studio. Từ đây ta có thể bắt đầu bằng cách tạo Maple Project như sau:
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 7

1. Từ thanh menu, chọn File -> New -> Project để mở wizard New Project.
2. Từ wizard New Project, chọn Maple -> Maple Project, rồi nhấn Next để khởi
động New Maple Project wizard: (xem hình 4,5) Hình 4: Dialog New
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 8

3. Ở phần đặt tên của Project, gõ tên mới cho project. Không dùng các ký tự đặc biệt ở
đây.

Hình 5: New Maple Project

3. Gõ tên mới của thành phần vào. Toàn bộ tên thành phần sẽ đồng loạt cập nhật
4. Nhấn Enter để thực thi chuyển đổi. Một hộp thoại hiện ra nhắc nhở ta cần lưu file
trước khi chuyển đổi.
5. Chọn 'Always save all modified resources automatically prior to refactoring' để hộp
thoại sẽ không hiển thị lại.
6. Click OK.
7. Thành phần sẽ được đổi tên và toàn bộ các thể hiện cũng được đổi tên theo.
3.5. Chức năng Running & Debugging
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 11 Hình 9: Minh họa running &debugging

Maple IDE cho phép chạy ứng dụng Maple dễ dàng bằng cách sử dụng Launching
Wizards có khả năng tùy biến cao. Cách đơn giản nhất để thực thi ứng dụng Maple là
chạy nó dùng cấu hình Maple launch. Ta có thể chạy Maple files để kiểm tra cú pháp
dùng Maple Mint Syntax Checking.
Kiểm tra Syntax
1. Mở bộ soạn thảo Maple và chọn file để kiểm tra hay chọn file trên phần
Package Explorer.
2. Từ pop-up menu của file (right-click), chọn biểu tượng Check Syntax hay
click vào biểu tượng lá bạc hà trên thanh công cụ.

Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 12

3. Trong khung Console, Maple Mint thực hiện và toàn bộ kết quả sẽ xuất hiện ở
đây.


3.9. Chức năng chọn mẫu phong cách viết mã

Hình 13: Minh họa chọn mẫu

Mẫu phong cách viết mã cho phép ta nhanh chóng sinh các mã đã từng sử dụng phổ biến
như là các vòng lặp for và while, câu lệnh if và tất cả được lặp lại mỗi ngày làm việc.
Mẫu phong cách viết mã tiết kiệm thời gian và giảm số lỗi gõ lệnh.
3.10. Kiểm tra mã nguồn

Hình 14: Minh họa kiểm tra mã nguồn
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 15 Phân tích mã, như dò tìm lỗi, cho phép tìm kiếm lỗi trong mã Maple. Chức năng này tìm
các lỗi thông thường và các cảnh báo như là các toán tử hay câu lệnh không đầy đủ.
Khi trình Debugger được gọi, nó hiển thị một biểu thức (trừ khi câu lệnh của debugger
trước đó được xác định bằng dấu 2 chấm), câu lệnh tiếp theo được thi hành, và một dấu
nhắc debug (hay dấu nhắc trong cửa sổ debug).
Khi trình Debugger được gọi, nó hiển thị một biểu thức (trừ khi câu lệnh của debugger
trước đó được xác định bằng dấu 2 chấm), câu lệnh tiếp theo được thi hành, và một dấu
nhắc debug (hay dấu nhắc trong cửa sổ debug).
Nếu trình Debugger được gọi bằng điểm nhìn trên một biến (dùng lệnh stopwhen hay
stopwhenif), biểu thức là một đẳng thức, bên trái là tên biến được xem, bên phải là giá trị
được gán cho biến.
Nếu trình Debugger được gọi bằng điểm nhìn trên một thông điệp lỗi (dùng lệnh
stoperror), biểu thức là thông điệp lỗi.
Các câu lệnh
Tại dấu nhắc debug, có thể dùng được các câu lệnh sau. Những phần nằm trong dấu nháy
là tùy chọn optional

trước khi vừa gặp câu lệnh đầu tiên để được thi hành sau từ khóa đóng end if. Nếu N
nguyên dương được xác định, việc thi hành tiếp tục cho đến khi N cấp của các câu lệnh
lồng đã thi hành xong.
return [N]
Thi hành tiếp tục đến khi câu lệnh đầu tiên được thi hành sau khi thủ tục thi hành hiện
hành trả về. Nếu N nguyên dương được xác định, việc thi hành tiếp tục cho đến khi N thủ
tục đã thi hành xong.
quit, done, hay stop
Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 17

Việc thi hành kết thúc hoàn toàn, và người dùng được quay về mức cao nhất của Maple
(đó là, lệnh nhắc).
Ví dụ debug đoạn chương trình sau theo câu lệnh:

>
f := proc(x,y) local a; global b;
if x < y then
a := x; b := y + a;
else
a := y; b := x + a;
end if;
a + b + x + y
end proc:
> (1)
>


5 b := x+a
end if;
6 ! a+b+x+y
end
DBG> quit
Warning, computation interrupted
4. Kết luận

IDE là môi trường phát triển phần mềm có tích hợp nhiều công cụ hỗ trợ làm tiện ích cho
quá trình viết mã. Vì vậy tìm hiều IDE là một công việc với người tập trình trước khi tiếp
cận một ngôn ngữ lập trình nào đó.
Maple IDE có một số công cụ tiện ích cơ bản như:
 Chức năng quản lý project
 Chức năng Debug
 Và các chức năng khác
Maple IDE có tích hợp luôn cả SDK (Software Develeopent Kits) và có thể soạn thảo
biên dịch độc lập. Maple IDE tương đối đầy đủ để cho các người lập trình từ bắt đầu cho
đến chuyên nghiệp sử dụng để lập trình tính toán trong các bài toán thuộc lĩnh vực khoa
học tự nhiên. Maple nói riêng là môi trường trung gian giữa khoa học máy tính và khoa
học tự nhiên.
5. Tài liệu tham khảo

Lập trình Symbolic và TTNT GVHD: PGS.TS Đỗ Văn Nhơn
Nguyễn Thị Ngọc Thanh-CH1101132 Page 19

[1] Tập tài liệu giảng dạy môn Lập trình Symbolic cho Trí tuệ nhân tạo của PGS.TS Đỗ
Văn Nhơn – Đại học Công nghệ thông tin – Đại học Quốc gia TP.HCM.