Kết quả tìm kiếm

[[Thể loại:Mục đích luận]] …

…naka]] và Bruno Buchberger, người đã đặt cho nó cái tên của thầy hướng dẫn luận án Wolfgang Gröbner. == Mục đích == …

…s_TGC05-final.pdf|language=en}}</ref> Cách thức biểu diễn này cho phép suy luận các đặc tính của giao thức và cung cấp một [[mô hình chuẩn tắc]] (formal mo …thời điểm T, và có thể tạo ra các [[số ngẫu nhiên]] (nonce) N dùng cho mục đích [[xác thực]]. …

…quân cờ của mình đến 1 ô bất kì thuộc cạnh đối diện bàn cờ. Người chơi đến đích đầu tiên sẽ là người chiến thắng. …ược đặt xuống trước đó, và nó không ngăn chặn tất cả các con đường dẫn đến đích của bất kì người chơi nào.<gallery mode="nolines" widths="540" heights="540 …

…] 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]]. Đặc điểm trung tâm của '''luận lý Hoare''' là '''bộ ba Hoare'''. Bộ ba này mô tả sự thực thi một đoạn mã… …

Theo quan điểm của [[Suy luận Bayes|Suy diễn Bayes]], MLE là một trường hợp đặc biệt của '''Maximum A Pos …cho trước các quan sát là một mẫu ngẫu nhiên từ một quần thể nào đấy. Mục đích của xấp xỉ hợp lý cực đại là tìm ra một suy luật về quần thể đó mà có thể… …

…nergy), gọi tắt '''điện năng''', là chỉ năng lực sử dụng [[điện]] nhằm mục đích [[Công (vật lý học)|sinh công]] bằng mọi hình thức. Điện năng không những… …Công (vật lý học)|công]], điện năng chỉ năng lực sử dụng [[điện]] nhằm mục đích [[Công (vật lý học)|sinh công]] bằng mọi hình thức (vì thế có lúc cũng gọi …

…được nhà [[toán học]] người Pháp [[Georges Matheron]] phát triển dựa trên luận văn thạc sĩ của [[Daniel Gerhardus Krige]], người tiên phong trong phương… …oán]] [[bình phương tối thiểu]] tuyến tính. Như minh họa trong hình 1, mục đích của phương pháp kriging là ước tính giá trị của một hàm [[số thực]] chưa bi …

…Cây quyết định'' được sử dụng để xây dựng một [[kế hoạch]] nhằm đạt được [[mục tiêu]] mong muốn. Các cây quyết định được dùng để hỗ trợ quá trình ra quyết …á trị cụ thể cho biến đó. Mỗi nút lá đại diện cho giá trị dự đoán của biến mục tiêu, cho trước các giá trị của các biến được biểu diễn bởi đường đi từ nút …

…học]] quen thuộc trong [[toán học rời rạc]] (ví dụ [[biểu đồ Venn]] và lập luận ký hiệu về [[đại số Boole]] của chúng), và đủ cho việc sử dụng hàng ngày cá …uan hệ với các tập hợp. Lý thuyết tập hợp ngây thơ đặt ra đủ cho nhiều mục đích, đồng thời đóng vai trò là bước đệm hướng tới các phương pháp nghiên cứu to …

…ản như là phiên bản kỷ niệm vào năm [[1995]] (ISBN 0-201-83595-9) với tiểu luận "[[No Silver Bullet]]" và lời chú của tác giả. …một hệ thống mới, nhóm sẽ thiết kế một hệ thống "vứt đi" (cho dù nó có mục đích hay không). Hệ thống này là một "kế hoạch thử nghiệm" để biểu diễn những kỹ …

…đẹp đẽ liên quan đến xấp xỉ {{Pi}}". Julian Havil kết thúc một cuộc thảo luận về các xấp xỉ [[Liên phân số|phân số tiếp tục]] của {{Pi}} với kết quả, mô Mục đích của các bằng chứng không phải là chủ yếu để thuyết phục các độc giả rằng {{ …

…i giải khả thi nào cực tiểu hóa (hoặc cực đại hóa, nếu đó là mục đích) hàm mục tiêu được gọi là ''lời giải tối ưu''. …địa phương là dễ dàng – cần thêm các thông tin về bài toán (chẳng hạn, hàm mục tiêu là [[hàm lồi]]) để đảm bảo rằng lời giải tìm được là cực tiểu toàn cục …

…c thi của học sinh và sinh viên, cũng như từ các [[Olympic Toán học]]. Mục đích tạo ra các bài toán thể loại này là bồi dưỡng cho những nhà toán học tương …. Thật đáng tiếc, có vẻ như đôi khi người ta dùng sự đơn giản này nhằm mục đích khác: trong các kỳ thi đầu vào, nhờ những bài toán như vậy, người ta đã loạ …

Ý tưởng cho sự phát triển của [[Tầng Suy luận Bản thể]] (''Ontology Inference Layer - OIL'') đã xuất phát từ lôgic mô tả. …ộ lập luận có thể xử lý TBox và ABox riêng rẽ, phần vì một số bài toán suy luận quan trọng được gắn chặt với chỉ một trong hai hộp (bài toán 'phân loại' li …

…Các mẫu được thu thập và thống kê được tính toán từ các mẫu để có thể kết luận hoặc ngoại suy từ các mẫu đến tổng thể. Quá trình của thu thập thông tin từ …dụ về các mẫu không ngẫu nhiên là mẫu thuận lợi, mẫu phán đoán, mẫu có chủ đích, mẫu quota, mẫu dây chuyền, giao điểm vuông góc trong phương pháp giống như …

…, <math> {^{y} x} </math> cho ''y'' không phải là số nguyên). Không có kết luận rõ ràng về định nghĩa của tetration không tích phân và do đó không có sự đồ …ưng với mục đích này, hàm không cần phải khác biệt vô cùng. Do đó, với mục đích đại diện cho số lượng lớn, phương pháp gần đúng tuyến tính cung cấp đủ tính …

…n biểu đồ). Ví dụ: trong danh sách đầu tiên (đại diện cho tài liệu 1), hai mục đầu tiên là "1,2": * Mục đầu tiên tương ứng với từ "Phúc" là từ đầu tiên trong danh sách và giá trị …

…hợp nhỏ nhất có <math>\sum_{X\in K, Y\subset X} c_X\ne 0</math>. Theo lập luận trên, ta đã biết lực lượng của ''Y'' là ít nhất ''d''+1. Ta sẽ hoàn thành… …

…hau, tùy thuộc vào các điều kiện khác nhau của hệ vật lý. Mục này nhằm mục đích giới thiệu phương trình Schrödinger cho trường hợp tổng quát và cho các trư …phép chúng ta có thể xây dựng được phương trình cho các sóng phẳng. Để kết luận rằng phương trình đó cũng đúng cho một trường hợp tổng quát bất kì đòi hỏi …