Đặt câu với từ "programming in logic prolog"

1. 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).

2. Conic programming is a general form of convex programming.

Conic programming là dạng tổng quát của quy hoạch lồi.

3. “Research Topics in Functional Programming” ed.

Lập trình viên sử dụng hợp ngữ phải chú ý đến hiệu ứng lề ẩn. ^ “Research Topics in Functional Programming” ed.

4. 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.

5. What impressive logic!

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

6. 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.

7. 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ờ.

8. Where's your logic?

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

9. It's the selective logic.

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

10. In this process, unit tests are written first, by the software engineers (often with pair programming in the extreme programming methodology).

Trong quy trình này, kiểm thử đơn vị được viết đầu tiên do các kỹ sư phần mềm (thường là lập trình song song trong các phương pháp lập trình Extreme).

11. In functional programming, side effects are rarely used.

Trong lập trình hàm, hiệu ứng lề hiếm khi được sử dụng.

12. You need voting logic.

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

13. 10 What is logic?

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

14. Can't argue with his logic.

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

15. It is available in nearly all mainstream programming languages.

Nó có mặt ở hầu hết các ngôn ngữ lập trình chủ yếu.

16. Now is time to get started programming in Python.

Giờ là lúc bắt đầu lập trình bằng Python.

17. First of all, I've been programming in multiple other programming languages to get the basics down, such as Python, C, Java, etc.

Đầu tiên, tôi viết chương trình trong nhiều ngôn ngữ lập trình khác nhau để nắm được căn bản, ví dụ Python, C, Java, vân vân.

18. You have only to use logic.

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

19. 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?

20. In many programming languages (especially statically-typed programming languages such as C, C++, Java) the return type must be explicitly specified when declaring a function.

Trong nhiều ngôn ngữ lập trình (đặc biệt là ngôn ngữ lập trình ép kiểu tĩnh như C, C++, Java) giá trị trả về phải được đặc tả tường minh khi định nghĩa hàm.

21. 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.

22. 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.

23. Absurdly basic neuro-linguistic programming technique.

Kỹ thuật lập trình ngôn ngữ tư duy cơ bản đến lố bịch.

24. That is the logic of the system.

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

25. 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ĩ.

26. Programming in Lua (first edition), "27.3.3 – Upvalues" Aho, Lam, Sethi, and Ullman.

Trong Lua chúng được gọi là upvalues của hàm. ^ Programming in Lua (first edition), "27.3.3 – Upvalues" Aho, Lam, Sethi, and Ullman.

27. Variables in programming may not directly correspond to the concept of variables in mathematics.

Biến trong lập trình có thể không trực tiếp tương ứng với khái niệm biến trong toán học.

28. The company employs 20 staff in design, programming, creative, and administrative roles.

Công ty có 20 nhân viên thiết kế, lập trình, đóng vai trò sáng tạo và hành chính.

29. API is short for Application Programming Interface.

API là chữ viết tắt của Giao diện lập trình ứng dụng.

30. In the weeks following the halftime show, MTV censored much of its programming.

Trong những tuần sau chương trình gây tranh cãi này, MTV kiểm duyệt nhiều chương trình của kênh.

31. In a mere system of logic it would be absurd to expect syntactic completeness.

Trong một hệ thống logic, sẽ là vô lý nếu kỳ vọng vào sự hoàn thiện cú pháp.

32. Such a logic is intermediate if furthermore 4.

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

33. According to Hegel in Science of Logic, the dialectical methods consists of three steps.

Theo Thần trong Khoa học của Logic, các biện pháp bao gồm ba bước.

34. 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.

35. We interrupt this musical programming with breaking news.

Chúng tôi ngắt ngang chương trình âm nhạc vì có tin nóng hổi.

36. Welcome to our programming tutorials on Khan Academy.

Chào mừng đến với khoá học lập trình của chúng tôi trên Khan Academy

37. Later they rewrote it in a new programming language, C, to make it portable.

Sau đó, họ viết lại bằng ngôn ngữ lập trình mới, C , để làm cho nó di động.

38. The social scientists are programming these visualization packages.

Các nhà khoa học xã hội đang lập trình những gói đồ họa này.

39. In most imperative programming languages, the assignment statement (or expression) is a fundamental construct.

Trong hầu hết các ngôn ngữ lập trình mệnh lệnh, câu lệnh gán (hay biểu thức) là một cấu trúc cơ bản.

40. Imperative programming focuses on describing how a program operates.

Lập trình mệnh lệnh tập trung vào miêu tả cách một chương trình hoạt động.

41. 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.

42. 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.

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

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

44. My programming was not designed to process these sensations.

Chương trình của tôi không được thiết kế... để xử lý những cảm giác này

45. 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 .

46. 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.

47. So as you assemble the chain, you're basically programming it.

Nên khi bạn lắp ráp chuỗi thì bạn đang lập trình căn bản cho nó.

48. 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).

49. 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.

50. 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.

51. Part of my embedded programming is to search for him.

Một phần chương trình được gắn cho tớ là phải tìm ra ông ấy.

52. 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.

53. In object-oriented programming, a constructor is code that is run when an object is created.

Trong lập trình hướng đối tượng, hàm tạo là đoạn mã được chạy khi đối tượng được tạo ra.

54. For these reasons, the "empty sum is zero convention" is standard practice in mathematics and computer programming.

Vì những lý do này mà "quy ước tổng rỗng bằng 0" là chuẩn trong toán học và lập trình máy tính.

55. The Asimov blocks in their programming mean that they simply aren't able to do us any harm.

Chướng ngại Asimov trong chương trình của chúng nghĩa là chúng không được hại chúng ta.

56. 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.

57. 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.

58. And it can be computed, again, by various dynamic programming approaches.

Và nó có thể được tính toán, lần nữa, bằng cách tiếp cận lập trình năng động khác nhau.

59. Now, the American head of programming wanted new local Arabic comedy.

Hiện tại, Giám đốc chương trình ở Mĩ muốn một kiểu hài kịch Ả Rập bản xứ mới

60. In class-based programming, objects are created from classes by subroutines called constructors, and destroyed by destructors.

Trong lập trình dựa trên lớp, đối tượng được tạo ra từ lớp bởi chương trình con được gọi là hàm tạo, và bị hủy bởi hàm hủy.

61. Eugenio Moggi and Philip Wadler introduced the use of monads for structuring programs written in functional programming languages.

Philip Wadler đề xuất dùng các monad cho việc cấu trúc các chương trình viết bằng các ngôn ngữ lập trình hàm.

62. Yeah, man, Cynthia gave us a butt load, and in exchange, we wrote her logic paper for her.

Cynthia đưa chúng tôi một đống tàn thuốc, và đổi lại, chúng tôi làm bài tập logic cho cô ta.

63. The Lead Engineer says you're good with the cards, programming and such.

Kỹ sư trưởng nói rằng cô giỏi về thẻ, lập trình các thứ.

64. Raymond began his programming career writing proprietary software, between 1980 and 1985.

Raymond bắt đầu sự nghiệp lập trình bằng văn bản phần mềm độc quyền, từ năm 1980 đến năm 1985.

65. That may have been misguided logic, but that's how I chose to act.

Có thể là lập luận sai lầm nhưng đó là cách hành động của tôi.

66. In object-oriented programming, computer programs are designed by making them out of objects that interact with one another.

Trong lập trình hướng đối tượng, chương trình máy tính được thiết kế bằng cách tách nó ra khỏi phạm vi các đối tượng tương tác với nhau.

67. One example of an industrial control system is a programmable logic controller (PLC).

Một ví dụ về một hệ thống điều khiển công nghiệp là một điều khiển logic lập trình (PLC).

68. That's the main thing we want to express with a programming language.

Đó là thứ chính mà chúng ta muốn biểu hiện bằng một ngôn ngữ lập trình.

69. As of November 2010, Renesas and Fresco Logic have passed USB-IF certification.

Tính đến tháng 11 năm 2010, Renesas và Fresco Logic đã được thông qua chứng chỉ USB-IF.

70. These include repairing and programming advanced devices, as well as maintaining them.

Chúng bao gồm sửa chữa và lập trình các thiết bị tiên tiến, cũng như duy trì bảo quản chúng.

71. He learns his whys and wherefores, his causes and correlations, his logic, his fallacies.

Anh ta học những lí do và duyên cớ, những nguyên nhân và hệ quả, những điều hợp lí, những điều bất hợp lí

72. It is nothing more than a trivial logic gate with four input-output states.

Nó chẳng hơn gì một cổng logic tầm thường với bốn đầu vào-ra.

73. So, the ability to learn computer languages, to have some basic programming skills.

Do đó, khả năng học ngôn ngữ máy tính, để biết vài kĩ năng lập trình căn bản là điều cần thiết.

74. These filters may be nonlinear, stochastic, logic, non-stationary, or even non-analytical.

Các bộ lọc này có thể là phi tuyến, ngẫu nhiên, logic, không cố định, hoặc thậm chí không có tính phân tích.

75. Archive programming and classical music recordings are sold under the brand BBC Legends.

Lập trình lưu trữ và bản ghi âm cổ điển được bán dưới thương hiệu BBC Legends.

76. Each programming language has its own rules on how types can be converted.

Mỗi ngôn ngữ lập trình có các quy tắc riêng để chuyển đổi kiểu.

77. The logic performed by telephone switching relays was the inspiration for the digital computer.

Logic thực hiện qua điện thoại chuyển mạch rơ le là nguồn cảm hứng cho các máy tính kỹ thuật số.

78. It is nothing more than a trivial logic gate with four input- output states.

Nó chẳng hơn gì một cổng logic tầm thường với bốn đầu vào- ra.

79. What powerful logic did Jesus use to refute a false charge of the Pharisees?

Chúa Giê-su đã dùng lập luận đanh thép nào để bẻ bác lời vu khống của người Pha-ri-si?

80. Kotlin v1.3 was released on October 29, 2018, bringing coroutines for asynchronous programming.

Kotlin v1.3 được phát hành vào ngày 29 tháng 10 năm 2018, với các coroutine API cho lập trình bất đồng bộ.