Kết quả tìm kiếm Alonzo Church Wiki tiếng Việt
Bạn có thể tạo trang "Alonzo+Church", nhưng hãy xem qua các kết quả bên dưới xem nó đã được viết đến chưa.
Herbrand - Kleene của các năm 1930, 1934 và 1935, phép tính lambda của Alonzo Church năm 1936, Công thức 1 của Emil Post năm 1936 và các máy Turing của Alan… |
được Alonzo Church mô tả, khi xây dựng các lý thuyết về phép tính lambda. Lý thuyết của Church và Turing được tổng kết lại trong luận đề Church-Turing… |
định nghĩa hàm số, ứng dụng hàm số và đệ quy. Phép tính lambda được Alonzo Church đề xuất vào những năm 193x như là một phần của một nghiên cứu về các… |
định của Tarski về sự bất khả định hình thức của sự thật, định lí của Alonzo Church rằng Entscheidungsproblem của David Hilbert là không thể giải quyết… |
không) thêm các bước rút gọn. Định lý được chứng minh vào năm 1936 bởi Alonzo Church và J. Barkley Rosser, và sau đó tên của định lý lấy tên của hai nhà… |
Ông đậu bằng tiến sĩ ở Đại học Princeton năm 1950, dưới sự cố vấn của Alonzo Church (Jackson 2008, tr. 560). Hiện nay ông là giáo sư danh dự ở Đại học New… |
chứng minh của ông được đăng công khai sau chứng minh tương tự của Alonzo Church đối với phép tính lambda (lambda calculus), chứng minh của Turing được… |
đệ quy bắt nguồn từ những năm 1930, với công trình của Kurt Gödel, Alonzo Church, Rózsa Péter, Alan Turing, Stephen Kleene và Emil Post. Các kết quả… |
mới, mang tên biểu thức lambda, đã xuất hiện trong quá trình hai ông Alonzo Church và Stephen Kleene hình thức hóa hàm số. Và đây trở thành nền tảng cho… |
chính các ngôn ngữ lập trình. Phép tính lambda, được phát triển bởi Alonzo Church và Stephen Cole Kleene trong những năm 193x, được một số người coi là… |
1903) 8 tháng 8: František Nepil, nhà văn Séc (s. 1929) 11 tháng 8: Alonzo Church, nhà toán học Mỹ (s. 1903) 13 tháng 8: Mickey Mantle, cầu thủ bóng chày… |
học viện, nơi ông hoàn thành luận án tiến sĩ dưới sự hướng dẫn của Alonzo Church tại Princeton. Chuyến viếng thăm này xảy ra không lâu sau khi Turing… |
Moore Các nghiên cứu sinh nổi tiếng J. W. Alexander Henry R. Brahana Alonzo Church Philip Franklin Harold Hotelling Howard H. Mitchell Robert Lee Moore… |
sở cho lý thuyết khoa học máy tính sau này, trong các công trình của Alonzo Church và Alan Turing cũng phát triển trục tiếp từ 'tranh luận' này. Trong… |
ngành mà sau này được gọi là khoa học máy tính, chẳng hạn Kurt Gödel, Alonzo Church và Alan Turing, đã quan tâm đến câu hỏi về khả năng tính toán: những… |
số lượng tuyển sinh giảm. Hiệu trưởng Moses Waddel (1819-1829) và Alonzo Church (1829-1859) nỗ lực tăng số lượng sinh viên nhập học. Năm 1859, Đại học… |
Sun-Yung Alice Chang (sinh 1948), nhà nghiên cứu giải tích toán học Alonzo Church (1903–1995) William Schieffelin Claytor (1908–1967), Đại học Pennsylvania… |
"Review: Principia Mathematica by A. N. Whitehead and B. Russell, Vol. ^ Alonzo Church, "Review: Principia Mathematica by A. N. Whitehead and B. Russell, Volumes… |
Preaching for Life Change Seminar: International version. tr. 81. ^ Goodwin, Alonzo T. (1977). Stories of Western Loggers (bằng tiếng Anh). Loggers World. tr… |
đánh bại các võ sĩ bao gồm Tony Esperti, Jim Robinson, Donnie Fleeman, Alonzo Johnson, George Logan, Willi Besmanoff, LaMar Clark, Doug Jones và Henry… |