Bài giảng Đặc tả hình thức: Chương 4 - PGS.TS. Vũ Thanh Nguyên

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 .

Không thể tạo bản xem trước, hãy bấm tải xuống
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.