Kết quả tìm kiếm

* [[C (ngôn ngữ lập trình)|C]], một [[ngôn ngữ lập trình]]. …với các chỉ số C_{(n, k)} biểu diễn [[chỉnh hợp]] hay [[hệ số nhị thức]] trong [[tam giác Pascal]] …

…gôn ngữ ngày càng phức tạp hơn. Mỗi lớp cũng có thể hoàn toàn sinh ra ngôn ngữ của tất cả các lớp thấp hơn, bao gồm cả tập hợp. …zenberger|1963}} mô tả hệ thống phân cấp hiện đại, bao gồm cả văn phạm phi ngữ cảnh.<ref name="Allott">{{cite book|url=https://www.researchgate.net/public …

{{Thanh bên chủ đề Toán học}}{{Ngôn ngữ học}} …], [[triết học]], [[khoa học nhận thức]], [[tâm lý học nhận thức]], [[ngôn ngữ học tâm lý]] (psycholinguistics), [[nhân chủng học]] và [[khoa học thần kin …

{{Mẫu hình lập trình}} …có thể truyền đạt rằng có tồn tại một sự phụ thuộc được suy ra trong ''mô hình thực thi'' liên quan, tạo điều kiện cho việc truyền tự động dữ liệu đã thay …

…|ký hiệu]] được tạo thành sao cho đúng dạng theo các quy tắc phụ thuộc vào ngữ cảnh. Ký hiệu toán học có thể là con số ([[hằng số]]), [[biến số]], [[phép …ieo giá trị ''đúng'' hoặc ''sai'' dựa theo giá trị của các biến trong biểu thức. Với <math>x</math> là số thực, <math>2x - 1 \leq 3x + 1</math> sẽ gieo giá …

…lập trình này là trao đổi thông tin trên máy tính, từ đó hiển thị trên màn hình và tính toán. Tuy nhiên, MathML còn được dùng nhằm hiển thị thông tin toán …'' tốt công thức toán học mà còn, theo tùy chọn, chứa ''ý nghĩa'' của công thức, giúp các máy tính có thể trao đổi và ''hiểu'' nội dung toán học. Một chuẩn …

…số được bắt nguồn từ việc phân tích các [[Ngữ liệu văn bản|cặp câu]] song ngữ. Các phương pháp tiếp cận thống kê tương phản với các phương pháp tiếp cận …/math> là ngôn ngữ đích (ví dụ, Tiếng Việt) dịch từ <math>f</math> là ngôn ngữ nguồn (ví dụ, [[Tiếng Anh]]). …

…i toán quyết định]] giải được bằng máy Turing trong không gian/bộ nhớ [[đa thức]]. '''PSPACE''' là tập hợp cha thực sự của tập hợp các [[ngôn ngữ phụ thuộc ngữ cảnh]]. …

| image = [[Hình:Commons-emblem-question book orange.svg|44px|link=|alt=]] Bài viết này đề cập đến ôtômat phân nhánh cây, tương đương với các ngôn ngữ chính quy của cây. Một khái niệm ôtômat cây khác có thể tìm thấy là ôtômat …

…hép chia có dư Euclid]] của {{math|''a''}} cho {{math|''n''}}. Ví dụ, biểu thức "5 mod 2" bằng 1 vì 5 chia cho 2 có [[Phép chia có dư|thương số]] là 2 là… …ịnh, có thể trả về lỗi [[Division by zero|chia cho số 0]] trong nhiều ngôn ngữ lập trình.) Xem [[số học mô-đun]] để tìm các quy ước cũ hơn và liên quan đư …

…hóa|tiêu chuẩn]] [[IEEE 754-2008]], định dạng 32-bit cơ số 2 có tên chính thức là '''binary32'''; nó từng có tên gọi '''single''' trong chuẩn [[IEEE 754-1 …n xuất máy tính, từng mẫu máy tính và quyết định của các nhà thiết kế ngôn ngữ lập trình. Ví dụ, trong [[GW-BASIC]], kiểu dữ liệu chính xác đơn được sử dụ …

…nhất có độ dài bằng 0 (trong khoa học máy tính và lý thuyết ngôn ngữ chính thức) ** Là một thuật ngữ cũ hơn cho [[Tập hợp rỗng|tập hợp trống]] …

…]] và [[Pages|Apple Pages]]. Người viết sử dụng các quy ước gắn thẻ [[ngôn ngữ đánh dấu]] để xác định cấu trúc chung của tài liệu (chẳng hạn như bài báo, …sắp chữ TeX để định dạng đầu ra của nó và bản thân nó được viết bằng ngôn ngữ macro TeX. …

…xuất bản Giáo dục|năm=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>. …à xuất bản Giáo dục|năm=2009|bản thứ=5|series=|cuốn=|ngày tháng=|nơi=|ngôn ngữ=|isbn=|trang=231-232|chương=|đồng tác giả=}}</ref>. Phản ứng hoá học được… …

…mục đích. Nó phát triển lần đầu tiên vào năm 1980 bởi Nhóm Tính toán Hình thức tại [[Đại học Waterloo]] ở [[Waterloo, Ontario|Waterloo]], [[Ontario]], [[C …rộng để cho phép độ chính xác ngẫu nhiên lớn. Các ví dụ về tính toán hình thức sẽ được trình bày trong phần sau. …

…thiết lập chân lý của nó thông qua các quy tắc suy luận của một [[Hệ hình thức|hệ thống suy diễn]]. Kết quả là, việc chứng minh một định lý thường được hi …a, và từ đó về nguyên tắc có thể xây dựng một chứng minh tượng trưng chính thức. …

…ngoài hình tròn đó màu trắng, bên ngoài màu trắng. Biên giữa hình tròn và hình vuông có màu đen. | caption1 = Nếu {{mvar|A}} là phần được tô màu đỏ trong hình vẽ này... …

…í trật tự từ nhưng vẫn giữ [[Multiplicity (mathematics)|tính đa dạng]]. Mô hình túi từ cũng đã được [[Bag-of-words model in computer vision|sử dụng cho thị Mô hình túi từ thường được sử dụng trong các phương pháp [[Document classification| …

…ist/2FwDTncULUnmANIh7qKa5z|tựa đề=FKJ|ngày=2023-07-28|website=Spotify|ngôn ngữ=vi|ngày truy cập=2023-05-18}}</ref> …Concerts and Venues {{!}} TicketSmarter|website=www.ticketsmarter.com|ngôn ngữ=en|ngày truy cập=2023-05-19}}</ref> …

[[Hình:TooManyPigeons.jpg|nhỏ|phải|Hình minh họa cho nguyên lý chuồng bồ câu. Có {{nowrap|''n'' {{=}} 10}} con bồ… …a nhầm lẫn với [[nguyên lý Dirichlet về hàm điều hòa]]). Trong một số ngôn ngữ như [[tiếng Pháp]], [[tiếng Ý]] và [[tiếng Đức]], nguyên lý này cũng vẫn đư …