Examples of using Boole in Vietnamese and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
George Boole và thế giới tuyệt vời của số 0 và 1.
Giá trị đầu vàtích lũy ở đây là một giá trị boole.
Nó có thể là số, boole hoặc thậm chí cả một danh sách mới.
It can be a number, a boolean or even a new list.Ở đây ta đã dùng chốt canh thay vì mẫu vì cần kiểm tra điều kiện boole.
We used guards here instead of patterns because we're testing for a boolean condition.Các hàm Boole thường được dùng trong các câu lệnh điều kiện.
Boolean functions are often used in conditional statements.Or có phần giống and,nhưng nó trả lại True nếu có giá trị boole nào đó trong danh sách là True.
Or is like and except it returns True if any of the boolean values in a list is True.Nó có thể là số, boole hoặc thậm chí cả một danh sách mới.
This can be string, numerical, a boolean, or even a list itself.Năm 1844, Boole được trao tặng Huân chương Hoàng Gia cho bài báo về Công thức tổng quát của Giải tích( On a general method of analysis).
In 1844 Boole was awarded the Royal Society's Royal Medal for his paper On a general method of analysis.Trong những năm tại Ireland, Boole tập trung vào việc kết hợp suy diễn logic với đại số.
During his time in Ireland, Boole focused on combining logical deduction with algebra.Nói một cách chặt chẽ, các toán hạng đi theo toán tử lô- gic phải là các biểu thức Boole, nhưng Python thì không chặt chẽ vậy.
Strictly speaking, the operands of the logical operators should be boolean expressions, but Python is not very strict.Mary Everest Boole là một nhà toán học vào những năm 1800, vợ của nhà phát minh ra logic Boolean.
Mary Everest Boole was a mathematician in the 1800s, the wife of the inventor of Boolean logic.Đối với những bài toán liên quan đến nhiều hơn sáu biến, người ta thường giải quyết bằng cách dùng biểu thức Boole hơn là dùng bìa Karnaugh.
For problems involving more than six variables, solving the boolean expressions is more preferred than the Karnaugh map.Các tham số boole này kiểm soát sự hiện diện của các thành phần tương ứng trong cửa sổ được tạo nên.
These boolean parameters control the presence of the corresponding window decorations in the resulting window.Symbolic logic thành hình từ công trình của Augustus De Morgan vàGeorge Boole khoảng giữa thế kỷ 19, và đã phát triển với những đóng góp của W. S. Jevons, C. S.
Symbolic logic dates from the work of Augustus De Morgan andGeorge Boole in the mid-19th cent. and was further developed by W. S. Jevons, C. S.Giá trị Boolean được đặt tên theo nhàtoán học người Anh George Boole, ông tổ ngành toán học logic.
The Boolean valueis named after English mathematician George Boole, who pioneered the field of mathematical logic.Các thẻ XD được thiết kế theo một cách để đảm bảo rằng NAND flash phần cứng trực tiếp truycập cho phép người dùng để chơi với Boole.
Câu chuyện về George Boole( 1815- 1864) là một ví dụ khác thường về một nhà khoa học trong suốt nhiều thế kỉ.
The story of George Boole(1815-1864) is an extraordinary example of collaboration across the centuries.Peano duy trì sự phân biệt rõ ràng giữa các ký hiệu toán học và logic, vốn chưa phổ biến trong toán học; một sự tách biệt như vậy lần đầu tiên được giới thiệu trong cuốn Begriffsschrift bởi Gottlob Frege, xuất bản năm 1879.[ 4] Peano không biết gì về công trình của Frege và tái tạo độc lập bộmáy logic của mình dựa trên công trình của Boole và Schröder.[ 5].
Peano maintained a clear distinction between mathematical and logical symbols, which was not yet common in mathematics; such a separation had first been introduced in the Begriffsschrift by Gottlob Frege, published in 1879.[4] Peano was unaware of Frege's work andindependently recreated his logical apparatus based on the work of Boole and Schröder.[5].Nó nhận một giá trị boole và trong trường hợp đó là True, thì nhận vào một() rồi đặt nó vào trong một ngữ cảnh mặc định tối thiểu mà vẫn đảm bảo thành công.
It takes a boolean value and if it's True, takes a() and puts it in a minimal default context that still succeeds.Năm 1854, hơn một thế kỷ sau khi Leibniz qua đời,nhà bác học tự học người Anh George Boole( 1815- 1864) đã sử dụng loại mã nhị phân để phát minh ra một nhánh toán học mới, gọi là đại số logic hay đại số Boolean theo tên ông.
In 1854, a little over a century after Leibniz had died,Englishman George Boole(1815- 1864) used the idea to invent a new branch of mathematics called Boolean algebra.Năm 1849, Boole được bổ nhiệm làm giáo sư toán học đầu tiên tại trường Queen' s College, Cork, nay là Đại học University College Cork( UCC), tại Ireland.
In 1849, Boole was appointed the first professor of mathematics at Queen's College, Cork(now University College Cork) in Ireland.Bất cứ khi nào bạn nhìn thấy kiểu dữ liệu Boolean, nó sẽ bắt đầu bằng chữ Bđược viết hoa bởi vì nó được đặt tên cho nhà toán học George Boole.
Whenever you see the data type Boolean, it will start with a capitalizedB because it is named for the mathematician George Boole.George Boole( 1815- 1864), cha của Đại số Boole, lý thuyết cơ bản cho điện toán và kỹ thuật điện tử hiện đại, là giáo sư tại trường.
George Boole(1815-1864), the father of Boolean Algebra, a fundamental theory for modern electronic computing and engineering served as Professor at UCC.Một nhà toán học và triết học bằng tên của George Boole xuất bản một bài báo năm 1847 được gọi là" phân tích toán học của Logic mô tả một hệ thống đại số logic, bây giờ được gọi là đ ại số Boolean.
Another mathematician and philosopher by the name of George Boole published a paper in 1847 called'The Mathematical Analysis of Logic' that describes an algebraic system of logic, now known as Boolean algebra.Boole qua đời ở tuổi 49 do viêm phổi vào năm 1864, sau khi ông đi bộ hơn 3 km trong trời mưa giá buốt và tiếp tục giảng dạy trong tình trạng quần áo đang mặc vẫn ướt.
Boole died of pneumonia in 1864, when he was 49 years old, after he walked two miles through cold rain and then lectured wearing his wet clothes.Các Sách Nguồn đánh giá thấplogic đại số của De Morgan, Boole, Peirce, và Schröder, nhưng dành nhiều trang để Skolem hơn cho bất cứ ai khác ngoài Frege, và bao gồm Löwenheim( 1915), các giấy thành lập trên lý thuyết mô hình.
The Source Bookunderrated the algebraic logic of De Morgan, Boole, Peirce, and Schröder, but devoted more pages to Skolem than to anyone other than Frege, and included Löwenheim(1915), the founding paper on model theory.Boole bỏ lại sự nghiệp dạy học của mình tại Lincoln và chuyển đến Đại học Cork, dành toàn bộ đời mình để theo đuổi toán học và thực hiện những nghiên cứu đột phá mà thành quả của nó vẫn còn tác động đến cuộc sống quanh ta hôm nay.
Boole left behind his Lincolnshire teaching career and headed off to Cork University to pursue his mathematics full-time, and make the break-through that still impacts on our lives today.Boole, người đã sống phần lớn cuộc sống của mình như là một giáo sư tại Đại học College Cork ở Ireland, cũng là một nhà tư tưởng đầu trên lý thuyết về trí thông minh nhân tạo, tin rằng tất cả suy nghĩ của con người có thể được giảm đến một loạt các quy tắc toán học, và ủng hộ máy móc như một cách để thay thế cực nhọc của con người.
Boole, who lived as a professor at University College Cork in Ireland, was an early thinker on the theory of artificial intelligence, believing that all human thought could be reduced to a series of mathematical rules, and advocating machinery which could be considered a way to replace human labor.Boole, người đã sống phần lớn cuộc sống của mình như là một giáo sư tại Đại học College Cork ở Ireland, cũng là một nhà tư tưởng đầu trên lý thuyết về trí thông minh nhân tạo, tin rằng tất cả suy nghĩ của con người có thể được giảm đến một loạt các quy tắc toán học, và ủng hộ máy móc như một cách để thay thế cực nhọc của con người.
Boole, who lived much of his life as a professor at University College Cork in Ireland, was also an early thinker on the theory of artificial intelligence, believing that all human thought could be reduced to a series of mathematical rules, and advocating machinery as a way to replace human drudgery.
