mọi người ơi tìm file pdf về định lí bất toàn của Kurt Godel thì kiếm ở đâu , yêu cầu là trình bày có hệ thống sáng sủa v à dễ hiểu , tìm Google hoài mà toàn ra thứ linh tinh :cry
sách về định lí bất toàn của Kurt Godel
Bắt đầu bởi cuong to ACBK, 04-06-2007 - 07:15
#1
Đã gửi 04-06-2007 - 07:15
#2
Đã gửi 06-06-2007 - 09:46
Bạn nên tham khảo quyển logic toán của bac Phan Đình Diệu hoặc liên lạc với bác ấy, bác ấy có bài giảng tiếng Việt về chứng minh định lí ấy!
Thân lừa ưa cử tạ !
#3
Đã gửi 08-06-2007 - 19:52
Cám ơn Mon , nhưng mà bác Phan Đình Diệu là ai thế , quyển lôgic hay ho đó mình nên tìm thế nào đây , Mon nói rõ được ko ?
#4
Đã gửi 13-06-2007 - 04:36
Tôi thấy Wikipedia có bài khá tốt về 2 incompleteness theorems. Tôi nghĩ nếu bạn muốn đi sâu hơn thì cần học first order logics. Phải chăng logics là chuyên ngành của bạn ?
#5
Đã gửi 13-06-2007 - 16:28
Fol xong rồi , cái này đơn giản , trong wikipedia người ta viết có vẻ ko thật rõ ràng cho lắm , tốt 1 là tìm 1 giáo trình hẳn hoi , xem cho khoái và nếu là người Việt viết thì càng tốt hơn nhìn đỡ đau mắt . Chuyên ngành thì ko dám , đang học mừ
#6
Đã gửi 30-08-2007 - 18:19
Bạn nên tham khảo quyển logic toán của bac Phan Đình Diệu hoặc liên lạc với bác ấy, bác ấy có bài giảng tiếng Việt về chứng minh định lí ấy!
Anh chỉ rõ hơn được không; ví dụ như cuốn này có bán ở đâu (tại HN)
#7
Đã gửi 30-08-2007 - 19:55
Hey mình biết cuốn này khá được nhưng cậu dich ra TV là đ/l bất toàn nghe nó hơi lạ thôi
Amazon link
Link download
Có mộ cuốn khác cũng khá hay
Amazon link
Link download
Amazon link
Link download
Có mộ cuốn khác cũng khá hay
Amazon link
Link download
#8
Đã gửi 30-08-2007 - 19:57
Sorry pass=qhhh (cuốn đầu)
#9
Đã gửi 31-08-2007 - 02:28
Cám ơn bạn QHHH, bạn có nhiều sách thật.
1 người đang xem chủ đề
0 thành viên, 1 khách, 0 thành viên ẩn danh