Examples of using Alan turing in Vietnamese and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
Thực tế, vào năm 1950, Alan Turing- một trong những người đầu tiên nghiên cứu về máy tính,
Và Alan Turing định nghĩa bài test Turing, về cơ bản nói
ân xá Alan Turing, cấm sử dụng động vật hoang dã trong rạp xiếc, nhắm mục tiêu' upskirting' và nhiều hơn nữa bên cạnh.
Giống như một cuốn sách trắng nổi tiếng khác, Máy móc và trí tuệ máy tính Alan Turing Hồi, Thông minh bitcoin, rõ ràng
Trong những năm cuối cùng của cuộc đời, Alan Turing nhìn thấy giấc mơ toán học của mình- một máy tính điện tử có thể lập trình được- từ một bộ sưu tập những dây điện và ống mà dần đi vào tồn tại.
Adrian Weller, Giám đốc chương trình AI tại Viện Nghiên cứu Alan Turing( Anh), gợi ý về nhu cầu tìm hiểu cách thức máy móc đưa ra quyết định còn phụ thuộc vào mức độ quan trọng của những quyết định đó ra sao.
Adrian Weller, Giám đốc chương trình AI tại Viện Nghiên cứu Alan Turing( Anh), gợi ý về nhu cầu tìm hiểu cách thức máy móc đưa ra quyết định còn phụ thuộc vào mức độ quan trọng của những quyết định đó ra sao.
Lý thuyết hiện đại đầu tiên về phần mềm được Alan Turing đề xuất trong bài luận năm 1935 Các số có thể tính toán với một ứng dụng cho Entscheidungsproblem( bài toán quyết định).[ 1].
Học tập tại Viện Alan Turing nhằm tạo cho sinh viên cơ hội duy nhất để thực hiện nghiên cứu về khoa học dữ liệu tập trung vào môi trường đa ngành, nơi có hơn 400 nhà nghiên cứu từ các ngành khác nhau làm việc song song.
Viện Alan Turing, trung tâm nghiên cứu chuyên về khoa học dữ liệu
Lý thuyết đầu tiên về phần mềm, trước khi tạo ra máy tính như chúng ta biết ngày nay, đã được Alan Turing đề xuất trong bài tiểu luận năm 1935 về SOn Computable Numbers, with an Application to the Entscheidungsproblem( vấn đề quyết định).
Lý thuyết đầu tiên về phần mềm, trước khi tạo ra máy tính như chúng ta biết ngày nay, đã được Alan Turing đề xuất trong bài tiểu luận năm 1935 về SOn Computable Numbers, with an Application to the Entscheidungsproblem( vấn đề quyết định).
Trong những năm cuối cùng của cuộc đời, Alan Turing nhìn thấy giấc mơ toán học của mình- một máy tính điện tử có thể lập trình được- từ một bộ sưu tập những dây điện và ống mà dần đi vào tồn tại.
Lewis- Kraus nhắc nhở chúng tôi về bài kiểm tra nổi tiếng của Alan Turing về một trí tuệ nhân tạo tổng hợp:" Một máy tính có thể, trong suốt năm phút trao đổi văn bản, đánh lừa thành công một người đối thoại với mình.
Xét trên phương diện toán học, các đường vằn rất dễ để mô hình hóa( và phần nhiều các công trình về đề tài này trước đây đều được biết đến với tác phẩm“ Trò Chơi Mô Phỏng”( Imitation Game) của Alan Turing).
Lý thuyết đệ quy thu tóm ý tưởng của việc tính toán với các toán hạng logic và số học; thành tựu cổ điển nhất của lý thuyết này là tính không quyết định được của bài toán Entscheidungsproblem mà Alan Turing đã tìm ra, và trình bày của ông về luận đề ChurchTuring.
A Guided Tour Through Alan Turing' s Historic Paper on Computability and the Turing Machine.
A Guided Tour Through Alan Turing' s Historic Paper on Computability and the Turing Machine.
hình tam giác hoạt hình sắc nét ở bên phải của trang web Alan Turing Institute, các đường đơn giản chồng lên nhau tạo cảm giác đa giác mang truyền thống( Evoluted) hoặc hình dạng đơn giản giúp người dùng thuần túy có thể đi sâu vào nội dung( Iqor).
Khoa học máy tính thời kỳ đầu đã chịu ảnh hưởng mạnh mẽ bởi các công trình của các nhà toán học như Kurt Gödel và Alan Turing, và vẫn tiếp tục có những trao đổi tư tưởng hữu ích giữa hai ngành trong các lĩnh vực chẳng hạn như lôgic toán, lý thuyết phạm trù, lý thuyết miền xác định( domain theory), và đại số.