Câu hỏi được gắn thẻ «intuition»




1
Tại sao công việc của Schönfinkel trong việc loại bỏ các biến bị ràng buộc của Wikipedia trong logic rất quan trọng?
AFAIK, Bằng chứng đầu tiên về việc sử dụng các hàm bậc cao hơn quay trở lại bài báo năm 1924 của Schönfinkel: "Trên khối xây dựng của logic toán học" - nơi ông cho phép một người chuyển các hàm làm đối số cho các hàm khác. Điều đó …

9
Kết quả trực quan cho sinh viên đại học
Tôi đang tìm kiếm các ví dụ về kết quả đi ngược lại với trực giác của mọi người để nói chuyện với khán giả nói chung. Kết quả mà nếu được hỏi từ những người không phải là chuyên gia "trực giác của bạn nói gì với bạn?", Hầu …

2
Làm thế nào chính xác tính toán lambda nắm bắt khái niệm trực quan về khả năng tính toán?
Tôi đã cố gắng quấn đầu xung quanh cái gì, tại sao và như thế nào về -calculus nhưng tôi không thể hiểu được "tại sao nó hoạt động"?λλ\lambda "Trực giác" Tôi có được mô hình tính toán của Turing Machines (TM). Nhưng việc này chỉ khiến tôi bối rối.λλ\lambda …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.