Diễn Đàn MathScopeDiễn Đàn MathScope
  Diễn Đàn MathScope
Ghi Danh Hỏi/Ðáp Thành Viên Social Groups Lịch Ðánh Dấu Ðã Ðọc

Go Back   Diễn Đàn MathScope > Đại Học Và Sau Đại Học/College Playground > Logic, Tập Hợp, Toán Rời Rạc

News & Announcements

Ngoài một số quy định đã được nêu trong phần Quy định của Ghi Danh , mọi người tranh thủ bỏ ra 5 phút để đọc thêm một số Quy định sau để khỏi bị treo nick ở MathScope nhé !

* Nội quy MathScope.Org

* Một số quy định chung !

* Quy định về việc viết bài trong diễn đàn MathScope

* Nếu bạn muốn gia nhập đội ngũ BQT thì vui lòng tham gia tại đây

* Những câu hỏi thường gặp

* Về việc viết bài trong Box Đại học và Sau đại học


Trả lời Gởi Ðề Tài Mới
 
Ðiều Chỉnh Xếp Bài
Old 04-03-2013, 11:01 AM   #1
HuongNhat
+Thành Viên+
 
HuongNhat's Avatar
 
Tham gia ngày: Jul 2010
Bài gởi: 77
Thanks: 49
Thanked 20 Times in 16 Posts
Gửi tin nhắn qua Yahoo chát tới HuongNhat
Đệ quy tập hợp

Toán rời rạc mình đang học có bài thế này:
Tìm công thức đệ quy cho tập: $S={(a,b)| a\in Z^+,b\in Z^+, b=ka} $.
Mình làm thế này $(1,1)\in S $
If $(a,b)\in S $ and $k\in Z^+ $ then $(b,b)\in S and (a,kb)\in S $
Mình chứng minh công thức này như sau:
B1: Chứng minh mọi $(a,b) $ sinh ra bởi đệ quy đều thuộc S
B2: S có thể biểu diễn dạng $S={(a,ka)|a\in Z^+ $ and $k\in Z^+} $
Mình chứng minh tập các bộ (a,b) sinh ra lấp đầy S bằng cách
$(1,1) \in S => (1,a) \in S \forall a $
$(1,a) \in S => (a,a) \in S \forall a $
$(a,a)\in S \Rightarrow (a,ka)\in S \forall k,a $
Các bạn xem giúp chứng minh của mình có chặt chẽ không nhé

P/s Mod nào đi qua đổi lại tên thread giúp mình với
[RIGHT][I][B]Nguồn: MathScope.ORG[/B][/I][/RIGHT]
 
__________________
Làm người có thể xa xỉ nhưng không nên lãng phí !

thay đổi nội dung bởi: HuongNhat, 04-03-2013 lúc 11:39 AM
HuongNhat is offline   Trả Lời Với Trích Dẫn
Trả lời Gởi Ðề Tài Mới

Bookmarks

Ðiều Chỉnh
Xếp Bài

Quuyền Hạn Của Bạn
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is Mở
Smilies đang Mở
[IMG] đang Mở
HTML đang Tắt

Chuyển đến


Múi giờ GMT. Hiện tại là 10:29 PM.


Powered by: vBulletin Copyright ©2000-2018, Jelsoft Enterprises Ltd.
Inactive Reminders By mathscope.org
[page compression: 37.36 k/40.76 k (8.36%)]