Bài giảng "Đặc tả hình thức - Chương 4: Số và kiểu mảng" cung cấp cho người học các kiến thức: Số và mảng là khái niệm quan trọng của Đặc tả hình thức, ngôn ngữ Z mô tả các dạng số - Đặc biệt là số tự nhiên dùng tương ứng với mảng. | Bài giảng Đặc tả hình thức: Chương 4 - . Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 4: Số và Kiểu mảng Giảng viên: . Vũ Thanh Nguyên 4/5/2019 Thanh Nguyen Nội Dung Số và mảng là khái niệm quan trọng của Đặc tả hình thức Ngôn ngữ Z mô tả các dạng số - đặc biệt là số tự nhiên dùng tương ứng với mảng 4/5/2019 Thanh Nguyen 2 Kiểu Số Tập số nguyên Z = { , -2,-1,0,1,2, } Tập số tự nhiên N = {n:Z|n 0} = {0,1,2, } Tập số nguyên dương N1 = {n:Z|n>0} = {1,2, } 4/5/2019 Thanh Nguyen 3 Kiểu Số Tập số hữu tỉ Q = {x|x=m/n, m Z, n Z\{0}} Tập số vô tỉ I = {x|x m/n, m Z, n Z\{0}} Tập số thực R=Q I 4/5/2019 Thanh Nguyen 4 Kiểu Số Các phép toán trên tập số nguyên 4/5/2019 Thanh Nguyen 5 Kiểu Số Các phép toán trên số 4/5/2019 Thanh Nguyen 6 Kiểu Số Ví dụ về hàm trả lại giá trị tuyệt đối của một số nguyên sử dụng sự miêu tả rỏ ràng như sau: abs Z Z n:Z n 0 abs n = -n n 0 abs n = n Hàm successor (succ) trả lại giá trị của số tiếp theo của số tự nhiên Succ = { 0 ↦ 1, 1 ↦ 2, 2 ↦ 3, } Hàm predecessor (pred) trả lại giá trị của số phía trước pred == succ∼ 4/5/2019 Thanh Nguyen Kiểu Số Miền xác định của số Miền xác định giữa 2 số a, b: Z được xác định như sau: ab = {a, a+1, a+2, , b-2, b-1, b} Hoặc ab = {n:Z| a n b} Nếu a > b khi đó ab = ∅ và aa = {a} 4/5/2019 Thanh Nguyen .
