Kết quả tìm kiếm

{{Mẫu hình lập trình}} …y''' ([[tiếng Anh]]: ''recursion'') là phương pháp dùng trong các [[chương trình máy tính]] trong đó có một hàm tự gọi chính nó. …

…h học Riemann]], '''ánh xạ mũ''' hay '''ánh xạ exp''' là ánh xạ từ một tập con mở của [[không gian tiếp tuyến]] T_''p''''M'' (của một [[đa tạp… …{{Chú thích|title=Riemannian Geometry|year=1992|isbn=0-8176-3490-8}}. Xem Chương 3. …

…mở rộng nhỏ nhất của '''Q''' có chứa tất cả các nghiệm số thực của phương trình ''x''² = 2. …]]. Một '''trường con''' của ''L'' là một [[Tập hợp con (toán học)|tập hợp con]] ''K'' của ''L'' mà là [[Đóng (toán học)|đóng]] với các phép toán trường… …

…ation]]) là một chức năng từ các chương trình đến các giá trị (một tập hợp con của các số hạng lambda). …

…</code>, <code>nil</code> hoặc <code>None</code> ), được sử dụng trong lập trình máy tính cho một giá trị chưa được khởi tạo, chưa xác định, trống hoặc vô… …sử dụng trong Infinity Train để chỉ cư dân mạng và những người không phải con người khác như MT (Mirror Tulip) / Lake …

| prizes = [[Blumenthal Award]] (2009)<br>[[Giải Clay]] (2014)<br>[[Huy chương Fields]] (2014) …014]], bà trở thành người [[phụ nữ]] và người [[Iran]] đầu tiên nhận [[Huy chương Fields]]. Bà cũng là giáo sư [[toán]] học đầu tiên của Đại học Stanford nhậ …

* [[Huy chương Lorentz]] năm [[1935]] * [[Huy chương Max Planck]] năm [[1950]] …

…2014|bản thứ=10|series=|cuốn=|ngày tháng=|nơi=|ngôn ngữ=|isbn=|trang=48-51|chương=|đồng tác giả=}}</ref>. [[Hóa học hạt nhân|Hoá học hạt nhân]] là một ngành con của [[hóa học|Hoá học]] liên quan đến các phản ứng hoá học của các nguyên… …

…]. Đa tạp đại số ban đầu được định nghĩa là [[tập nghiệm]] của [[hệ phương trình đa thức]] trên số thực hoặc số phức. Toán học hiện đại tổng quát hóa định …ất khả quy''' nếu nó không thể viết thành hợp của hai tập con đại số [[tập con|chính tắc]].{{r|Hartshorne|page1=3}} Một tập đại số affin bất khả quy có th …

…Hình:3D Gyroscope.png|nhỏ|250px|Con quay hồi chuyển. Gyroscope frame:Khung con quay; Gimbal: khớp vạn năng; Rotor:đĩa quay; Spin axis:trục quay]] …ít tùy thuộc vào [[mô men lực|mô men xoắn]] bên ngoài hơn là liên quan đến con quay có vận tốc cao mà không cần mô men động lượng lớn. Vì mô men xoắn được …

| prizes = [[Alan T. Waterman Award]] (1976) <br /> [[Huy chương Fields]] (1978) <br /> [[Stefan Bergman#The Bergman Prize|Giải Bergman]] (1 …T. Waterman năm 1976 (người đầu tiên nhận giải) và nhận [[Fields Medal|huy chương Fields]] năm 1978 cho những đóng góp trong lĩnh vực giải tích. Ông được kết …

Đồng vị này tạo [[ô nhiễm phóng xạ]] mạnh, để loại trừ sự sống sót của con người bên ngoài boongke. Cường độ phóng xạ của nó chỉ giảm xuống còn khoảng …ạt nhân sẽ sớm đạt đến một mức độ nào đó mà nó có thể kết thúc sự sống của con người trên [[Trái Đất]]<ref name ="Bushan">{{Chú thích sách | last = Bhusha …

…Academy of Sciences|access-date =ngày 13 tháng 2 năm 2011}}</ref><br>[[Huy chương Elliott Cresson]] (1931)<br> {{nowrap|[[Giải Nobel Vật lý]] (1937)}} …t lý]] người [[Hoa Kỳ|Mỹ]] đã đoạt [[Giải Nobel Vật lý]] năm 1937 cho công trình phát hiện [[nhiễu xạ điện tử]] Davisson được trao [[giải Nobel]] này chung …

…ại Uppsala, Thụy Điển.</ref> mặc dù chúng chỉ đặc biệt đề cập đến lĩnh vực con của ngôn ngữ học tính toán ứng dụng. …ại tập trung vào các kết quả thực tế từ việc mô hình cách sử dụng ngôn ngữ con người.<ref name=":1">{{chú thích web |first=Hans |last=Uszkoreit |title=Wha …

…thuyết''' ({{Lang-en|theoretical computer science - TCS}}) là một tập hợp con của [[khoa học máy tính]] và [[toán học]] tập trung vào nhiều chủ đề toán… …hình học điện toán]], [[lý thuyết số điện toán]] và [[số học]]. Những công trình nghiên cứu của lĩnh vực này được phan biệt bằng tầm quan trọng của nó đối… …

…hĩa là, các cặp đầu vào và đầu ra tương ứng). Để đạt được điều này, chương trình học phải tổng quát hóa từ các dữ liệu sẵn có để dự đoán được những tình huố …uật học có thể được điều chỉnh bằng cách tối ưu hóa hiệu năng trên một tập con (gọi là tập ''kiểm chứng'' -''validation'' set) của tập huấn luyện, hay thô …

…c quy luật luận lý để suy luận [[tính đúng đắn]] của các [[phần mềm|chương trình máy tính]] bằng [[tính chính xác]] của [[luận lý toán học]]. …tục (khoa học máy tính)|thủ tục]], [[nhảy (khoa học máy tính)|nhảy]], và [[con trỏ]]. …

Dùng cây biểu diễn biểu thức có thể thấy rõ trình tự tính toán biểu thức. …ô tả quá trình đọc, ghi nhận giá trị và thực hiện phép tính, giống như quá trình [[duyệt cây]] biểu thức theo thứ tự giữa như sau: …

…y nhiên, vào giữa thế kỷ thứ 18, [[Leonhard Euler]] đã đưa ra một [[phương trình]] [[nghịch lý]]: Cho đến mãi sau này mới có một lời giải chính xác về phương trình này. …

…iệu huấn luyện''', để đưa ra dự đoán hoặc quyết định mà không cần được lập trình chi tiết về việc đưa ra dự đoán hoặc quyết định này. Ví dụ như các máy có… …ang đo năng lực NL nếu như dùng NL ta đo thấy năng lực thực thi của chương trình có tiến bộ sau khi trải qua KN" (máy đã học). …