Use "mathematical logic" in a sentence

1. Philosophical logic is essentially a continuation of the traditional discipline called "logic" before the invention of mathematical logic.

Về bản chất, logic triết học là một sự tiếp tục của ngành khoa học truyền thống được gọi là "Logic" trước khi nó bị hất cẳng bởi sự phát minh ra logic toán học.

2. Peano was a key participant, presenting a paper on mathematical logic.

Peano vinh dự là một người tham gia chính, trình bày một bài báo về logic toán học.

3. In order to clarify the foundations of mathematics, the fields of mathematical logic and set theory were developed.

Để làm rõ nền tảng toán học, lĩnh vực logic toán học và lý thuyết tập hợp đã được phát triển.

4. There are several logic families with different characteristics (power consumption, speed, cost, size) such as: RDL (resistor–diode logic), RTL (resistor-transistor logic), DTL (diode–transistor logic), TTL (transistor–transistor logic) and CMOS.

Có nhiều logic families với các đặc điểm khác nhau (độ tiêu thụ điện, tốc độ, chi phí, kích thước) như: RDL (kháng trở-điốt logic), RTL (kháng trở-transistor logic), DTL (điốt-transistor logic), TTL (transistor-transistor logic) và CMOS (chất bán dẫn bổ sung metal oxide).

5. The Mathematical Atlas

The Mathematical Atlas (Bản đồ các nhánh toán học).

6. Predefined & Mathematical Functions

& Hàm Toán học Định sẵn

7. Mathematical Function Plotter

Vẽ đồ thị Hàm số Toán họcName

8. What impressive logic!

Lập luận trên thật hợp lý!

9. He proposed new operations for the calculus of logic and showed that fuzzy logic was a generalisation of classical and Boolean logic.

Ông đề xuất những phép toán mới cho việc tính toán logic và chỉ ra rằng logic mờ là sự tổng quát hoá của logic cổ điển và logic Bool.

10. Where's your logic?

Lý trí của anh đâu?

11. It's the selective logic.

Đó là logic có chọn lọc.

12. Mathematical Methods in Medicine 1984.

Mathematical Methods in Medicine - Công cụ toán học trong Dược học 1984.

13. You need voting logic.

Bạn cũng cần ba bộ vi xử lý.

14. Mathematical function plotter for KDE

Trình vẽ đồ thị hàm số toán học cho KDE

15. 10 What is logic?

10 Luận lý học là gì?

16. Can't argue with his logic.

Không cãi lại được lý luận của hắn.

17. One of them is Mathematical Finance.

Một trường phái là Tài chính toán học.

18. This is valuable, it is valuable to make these mathematical models, with these mathematical assumptions for these mathematical conclusions, but it always need to be taken with a grain of salt.

Điều này là có giá trị, nó có giá trị để làm cho các mô hình toán học, với những giả định toán học cho những kết luận toán học, nhưng nó luôn luôn phải được thực hiện với một hạt muối.

19. You have only to use logic.

Anh chỉ cần dùng lý trí.

20. It provides mathematical support to the correspondence principle.

Điều này cung cấp thêm minh chứng toán học cho nguyên tắc tương ứng (correspondence principle).

21. (In mathematical jargon, these transformations are called automorphisms.)

(Trong ngôn ngữ toán học, những phép biến đổi này được gọi là phép tự đẳng cấu.)

22. The general nature of these problems is discussed under Mathematical finance, while specific techniques are listed under Outline of finance# Mathematical tools.

Bản chất chung của những vấn đề này được thảo luận trong phần Toán tài chính, trong khi các kỹ thuật cụ thể được liệt kê trong Đề cương tài chính # Công cụ toán học.

23. That is the logic of the system.

Đó là cách hoạt động của lực lượng cảnh sát.

24. I don't quite follow your logic, Cleric.

Ta không hoàn toàn đồng ý với logic của anh đâu, Giáo Sĩ.

25. Ayers made his projections without a mathematical model.

Ayers đã dự đoán mà không cần một mô hình toán học nào.

26. Babylonian mathematical texts are plentiful and well edited.

Các văn bản toán học Babylon phong phú và được chỉnh sửa tốt.

27. These mathematical techniques quickly spread into many private enterprises.

Những thuật toán này đã lan rộng một cách nhanh chóng sang nhiều doanh nghiệp tư nhân.

28. Abstract stage, where mathematical structure plays a central role.

Giai đoạn trừu tượng, khi cấu trúc toán học đóng vai trò trung tâm.

29. Algebra: “The single most important mathematical tool ever devised”

Đại số: “Một công cụ toán học quan trọng nhất từng được phát minh”

30. It's called the standard model -- beautifully simple mathematical equation.

Nó được gọi là " mô hình tiêu chuẩn " -- biểu thức toán học đơn giản, đẹp đẽ.

31. Yes, about the mathematical crap, not about the story.

Nhưng hứng cái thứ toán học vớ vẩn của ông, chứ không phải câu chuyện.

32. Such a logic is intermediate if furthermore 4.

Số hoán vị khi đó phải nhân thêm 4.

33. Mathematical and Numerical Integrator and Calculator, " lost its memory. "

MANIAC, trở thành từ viết tắt cho cỗ máy, có tên máy tính và bộ tích phân,'đánh mất bộ nhớ của nó. "

34. Kepler succeeded in formulating mathematical laws of planetary motion.

Kepler thành công trong việc lập công thức toán học các định luật của chuyển động hành tinh.

35. Industrial applications of fuzzy sets in the context of "fuzzy logic in the wider sense" can be found at fuzzy logic.

Các ứng dụng công nghiệp của tập mờ trong ngữ cảnh của "lôgic mờ nghĩa rộng" được nói đến trong bài lôgic mờ.

36. In proof theory, proofs and theorems are also mathematical objects.

Trong lý thuyết chứng minh, các chứng minh và định lý cũng là các đối tượng toán học.

37. But Einstein always thought black holes were a mathematical oddity.

Nhưng Einstein luôn nghĩ rằng những hố đen chỉ là một sự sai lệch toán học.

38. Thus physics statements are synthetic, while mathematical statements are analytic.

Do vậy những phát biểu vật lý mang tính tổng hợp, trong khi các phát biểu toán học mang tính phân tích.

39. The term comes from the mathematical concept of a singleton.

Thuật ngữ này xuất phát từ khái niệm toán học của một singleton.

40. Thus, "applied mathematics" is a mathematical science with specialized knowledge.

Như vậy, "toán học ứng dụng" là một ngành khoa học toán học với kiến thức đặc thù.

41. Logic and the philosophy of language are closely related.

Logic và triết học ngôn ngữ có liên hệ mật thiết với nhau.

42. These concepts can be quickly 'translated' to their mathematical form.

Những khái niệm này nhanh chóng có thể 'chuyển' thành các đại lượng toán học.

43. Therefore, they are applied in a variety of mathematical areas.

Nó được ứng dụng rộng rãi trong nhiều lĩnh vực toán học khác nhau.

44. I had studied statistics, probability theory, mathematical modeling, experimental design.

Tôi đã phải học các số liệu thống kê, lý thuyết xác suất mô hình toán học, sơ đồ thí nghiệm

45. See also Mathematical finance #Criticism and Financial economics #Challenges and criticism.

Xem thêm Tài chính toán học # Chủ nghĩa phê phán và kinh tế tài chính # Challenges and criticism.

46. The expansion rules depend on the particular modal logic used.

Tính linh động của thiết kế phụ thuộc vào loại mảng logic được sử dụng.

47. Through logic and learning, knowledge is increased and understanding enhanced.

Qua luận lý học và kiến thức, sự hiểu biết được gia tăng.

48. Logic circuits on the snake simply failed to respond.

Mạch lô-gic của con rắn không có phản ứng.

49. Functional Equations: Exact Solutions at EqWorld: The World of Mathematical Equations.

Hàm điều hòa cầu Lý thuyết thế năng Dòng thế năng Laplace Equation (particular solutions and boundary value problems) at EqWorld: The World of Mathematical Equations.

50. When bear markets hit , this logic goes out the window .

Khi xảy ra tình trạng thị trường rớt giá , cái lôgic này tiêu tan ngay .

51. Formal logic has been described as the science of deduction.

Logic quy củ(Formal Logic) đã được mô tả như Khoa học về sự suy luận.

52. He laid down the mathematical foundations for computer science, and said,

Ông đặt nền móng toán học cho khoa học máy tính, và nói,

53. He was married to mathematician and mathematical physicist Yvonne Choquet-Bruhat.

Ông kết hôn với nhà toán học kiêm vật lý toán học Yvonne Choquet-Bruhat.

54. Well you can't get much bigger than Pi, the mathematical constant.

Chắc hẳn các bạn ko thể kiếm ra số nào dài hơn Pi, hằng số toán học.

55. A three-state logic gate is a type of logic gate that can have three different outputs: high (H), low (L) and high-impedance (Z).

Bài chi tiết: Logic ba trạng thái Một cổng logic ba trạng thái (Tri-state logic) là cổng logic có thể tạo ra ba loại tín hiệu đầu ra: cao (H), thấp (L) và trở kháng cao (Z).

56. He has been the Vietnam team leader for several International Mathematical Olympiads.

Nhiều lần bà là Trưởng Đoàn học sinh Việt Nam đi dự Olympic Toán Quốc tế.

57. This often involves the application of mathematical modelling techniques using computer software.

Điều này thường liên quan đến việc áp dụng các kỹ thuật mô hình toán học bằng phần mềm máy tính.

58. They're a mixture of chaos and order, of mathematical elegance and ugliness.

Chúng là sự pha trộn giữa hỗn loạn và trật tự, của sự hài hòa và phi hài hòa toán học.

59. You can see he's really enjoying our mathematical trip to the Alhambra.

Thằng bé thật sự rất thích chuyến du lịch toán học của chúng tôi tại Alhambra.

60. To me, a concise mathematical proof can be both beautiful and elegant.

Đối với tôi, một chứng minh toán học súc tích thì vừa đẹp vừa thú vị.

61. Because that logic doesn't comply... with the laws you know of.

Bởi vì cái lý lẽ đó không tuân theo... những quy luật mà cô đã quen thuộc.

62. The main logic unit is located on the M2 CPU board.

Đơn vị logic chính đặt trên bảng mạch của CPU M2 CPU.

63. 19, 20. (a) In what positive way did Jesus use logic?

19, 20. (a) Chúa Giê-su dùng lý luận theo cách tích cực nào?

64. A great number of self-working mentalism tricks rely on mathematical principles.

Sinh học bao hàm nhiều ngành học khác nhau được xây dựng dựa trên những nguyên lý riêng.

65. In the previous video, we gave a mathematical definition of gradient descent.

Trong video trước đó, chúng tôi đã cung cấp một định nghĩa toán học của chuyển màu gốc.

66. Advanced mathematical proofs like Siegel's lemma build upon this more general concept.

Một số định lý của toán học như bổ đề Siegel được xây dựng trên nguyên lý này.

67. The Faculty of Mathematical, Physical and Natural Sciences is located in Sesto Fiorentino.

Khoa Khoa học Toán, Lý và Khoa học tự nhiên nằm ở quận Sesto Fiorentino.

68. In the previous video, we gave the mathematical definition of the cost function.

Trong đoạn phim trước đó, chúng ta đã đưa ra định nghĩa toán học của hàm sai số.

69. Some buildings hint at the sophisticated mathematical and astronomical knowledge of the builders.

Một số cấu trúc cho thấy thợ xây cất hiểu biết về thiên văn học và toán học phức tạp.

70. In mathematical terms, random vibration is characterized as an ergodic and stationary process.

Trong thuật ngữ toán học, độ rung ngẫu nhiên được mô tả như ergodic và stationary process.

71. This allows users to rapidly construct models for a range of mathematical problems.

Điều này cho phép người dùng nhanh chóng xây dựng các mô hình trong phạm vi toán học.

72. A large number of other curves have been studied in multiple mathematical fields.

Một số đường cong đặc biệt đã được nghiên cứu trong nhiều lĩnh vực toán học khác nhau.

73. CMOS also allows a high density of logic functions on a chip.

CMOS cũng cho phép tích hợp các hàm logic với mật độ cao trên chíp.

74. First, a thesis is given, which can be any proposition in logic.

Đầu tiên, một luận án được đưa ra, đó có thể là bất kỳ dự trong logic.

75. He became well-versed in natural science, history, logic, philosophy, and psychology.

Ông trở nên thông thạo về khoa học tự nhiên, lịch sử, logic, triết học và tâm lý học.

76. The global definition of the Earth's field is based on a mathematical model.

Định nghĩa toàn cầu về từ trường Trái đất dựa trên mô hình toán học.

77. The experimental approach is therefore often complemented by mathematical modeling of animal aggregations.

Do đó, phương pháp tiếp cận thử nghiệm thường được bổ sung bằng mô hình toán học về tập hợp động vật.

78. He graduated in 1987 with a degree in mathematical engineering and computer technology.

Ông tốt nghiệp vào năm 1987 với một bằng cử nhân toán học và công nghệ máy tính.

79. In addition to mathematical economics, Koopmans extended his explorations to econometrics and statistics.

Ngoài toán kinh tế, Koopmans còn nghiên cứu thêm kinh tế học và thống kê.

80. The mathematical study of Diophantine problems that Diophantus initiated is now called Diophantine analysis.

Nhánh toán học nghiên cứu về các vấn đề Diophantine, gọi là Giải tích Diophantine.