Thành viên:Tmct

Bách khoa toàn thư mở Wikipedia

[sửa] Danh sách thuật ngữ Tin học Anh-Việt

(...Đang xây dựng...Hiện giờ tôi chưa biết để đâu nên để tạm ở đây vậy. Mong nhận được bổ sung, góp ý, sửa chữa...)

Có thể bổ xung bên http://vi.wiktionary.org/wiki/Trang_Ch%C3%ADnh

Nhưng bên đó vắng vẻ quá, xây dựng cái này cần cộng đồng, mà cộng đồng lại ở Wikipedia. --Ui trời !!!

[sửa] Chưa biết dịch thế nào

Tại mục này, mời các bạn bổ sung:

cách dịch mà các bạn biết (nếu có thêm chú thích về mức độ chắc chắn thì rất hoan nghênh)
thuật ngữ (không có trong toàn bộ danh sách) mà các bạn chưa biết dịch như thế nào

probability mass function:
datagram:

The unit transmitted between a pair of Internet modules. The Internet Protocol provides for transmitting blocks of data, called datagrams, from sources to destinations

như vậy nên dịch là "khối chuyển dữ liệu" hay đơn giản "khối dữ liệu" có nơi dịch là "gói dữ liệu" cũng OK

A datagram is a self-contained packet, one which contains enough information in the header to allow the network to forward it to the destination independently of previous or future datagrams. (en:datagram)

nghĩa là datagram = connectionless packet. Vậy nên dịch như thế nào để phân biệt được với data packet(packet với nghĩa tổng quát, đã dịch là gói dữ liệu)?

dùng khối dữ liệu (từ gói đòi hỏi phải có sự định dạng còn khối có nghĩa là 1 cục để nguyên không cần phải thêm dịnh dạng vào !?) :^)

không ổn, vì sẽ lẫn với những đoạn như: TCP chia luồng byte thành các khối có kích thước .... (..divides the byte stream into blocks...)

minimum message length: (học máy)
chatbot/chatterbot:
connectionism: Xin xem http://en.wikipedia.org/wiki/Connectionist
- chủ nghĩa nối kết: chữ "chủ nghĩa" không ổn
tuple: liên tử ? (phần tử có liên hệ nhau theo 1 luật nào đó) bộ? Chữ bô sẽ không cho thấy tính liền nhau (chung nhau) của dữ liệu.
1. In the graph theory:
2. In storage architecture (usually in SCSI - SATA): đọan thông tin định dạng cố định chiều dài
3. In Python: set of values (related together)
4. In SML: a group of data to go together
rollback: (CSDL, transaction)~~lăn về, kéo về~~ lệnh dùng để hủy bỏ việc cập nhật dữ liệu(database) khi transaction có lỗi.
Radial basis functions:
reliability mechanism (trong bài UDP):
streaming media:
Run-length encoding:

[sửa] Còn nghi ngờ và chưa phổ biến (đang xem xét)

Tại mục này, mời các bạn bổ sung:

cách dịch mà các bạn biết (nếu có thêm chú thích về mức độ chắc chắn thì rất hoan nghênh)
khẳng định "đã phổ biến" hoặc "Sai" về một cách dịch nào đó đã được liệt kê
thuật ngữ (không có trong toàn bộ danh sách) mà các bạn có dịch nhưng chưa chắc chắn

batch processing: xử lý ngầm, chủ yếu nói đến các chương trình tự chạy mà không cần thao tác của người dùng.

(Phi Báo:) Nhiều sách dịch ra "xử lý theo lô".

Conducting a group of computer tasks at one time, instead of throughout the day.- www.rockprint.com/dictionary.shtml
A type of data processing operation and data communications transmission where related transactions are grouped together and transmitted for processing, usually by the same computer and under the same application; generally regarded as non-real-time data traffic consisting of large files. - www.ask-edi.com/glossary.htm
Như các định nghĩa gốc nêu trên thì cách dịch đúng hơn là : xử lý theo nhóm (thao tác, dữ liệu) -- LĐ

Secure Shell: trình bao an toàn
Strategic planning: hoạch định chiến lược
aspect-oriented programming:Lập trình định dạng (như AspectJ)
scripting language: (lập trình)
- ngôn ngữ tập lệnh: "tập" không có thứ tự, sai ý nghĩa. Thứ tự của Tập số tự nhiên là thứ kèm thêm (do bản chất có thứ tự của số tự nhiên) chứ không phải là bản chất của "Tập hợp".
- ngôn ngữ văn lệnh: ok, nhưng hầu như chưa ai dùng
- ngôn ngữ kịch bản: đa số người dùng, nhưng nghĩa có vấn đề, chỉ ok nếu đã quá nhiều người dùng trong thời gian quá dài.
Maximum likelihood: (xác suất thống kê)
- khả năng cực đại? (Từ điển toán học dịch là hợp lý cực đại nhưng tôi thấy từ hợp lý không hợp nghĩa.)
overloading: quá tải (mà còn cho thêm -- cách dịch chết) tải chồng ? tải thêm ?
constraint programming:Lập trình ràng buộc
flow-driven programming: Lập trình điều khiển theo mạch

từ này cần thống nhất với control flow (dịch ntn?)

Control flow : (dòng)/(mạch)/(quy lộ) (kiểm tra)/(kiểm soát)/(điều tiết) -- Chữ control nghĩa rộng hơn chữ drive! Nếu dịch theo MC thì nên là mạch kiểm soát hay mạch điều tiết Hi hi :^) Nhưng lúc đó tránh không kkhỏi dịch chữ control circuit thành "mạch ...." gì ? nhưng cùng hông sao tiếng Việt đơn âm 1 chữ có thể nhiều nghĩa .
...

[sửa] Các thuật ngữ bổ sung

Nếu các bạn thấy trong toàn bộ danh sách còn thiếu từ nào mà bạn biết rõ về cách dịch, xin bổ sung vào danh sách dưới đây. Tôi sẽ tự tay đưa vào các mục tương ứng.

[sửa] Lỗi dịch, bổ sung cách dịch cho phần tạm coi là ổn

Nếu bạn nào phát hiện lỗi dịch hoặc muốn bổ sung cách dịch mới cho các từ trong danh sách chính, xin viết ý kiến vào mục này

Commit: trái ngược với Rollback. Lệnh dùng để xác nhận việc cập nhật database (cập nhật có hiệu lực) khi transaction không có lỗi.

[sửa] Phần tạm coi là ổn

Để tôi dễ theo dõi, xin bạn đừng trực tiếp bổ sung vào đây mà hãy viết vào một trong các mục ở trên. Xin cảm ơn.

[sửa] A

abstraction: (lập trình) trừu tượng hóa
acknowledgement: (mạng) tin báo nhận
ad-hoc: đặc ứng, tùy biến... _{thường dùng để chỉ thao tác chỉ được tiến hành trong mục tiêu (hay kết luận) rất đặc thù. Một việc làm ad-hoc trong toán học là một việc làm "từ trên trời rơi xuống" không xuất phát trên nền tảng lý luận vững chắc. Một giải pháp ad-hoc trong CNTT là giải pháp nhất thời chỉ nhằm giải quyết nhanh chóng vấn đề cụ thể, không coi trọng các mục tiêu dài hạn.}
agent: tác tử
agent-oriented programming: lập trình (định) hướng tác tử
ant algorithm: thuật toán kiến, thuật toán đàn kiến
application layer: tầng ứng dụng
array programming:Lập trình mảng
artificial intelligence: (tắt: AI) trí tuệ nhân tạo, trí thông minh nhân tạo
assembler: trình dịch cho hợp ngữ (hay ASM)
assembly language: hợp ngữ
access control: (an ninh) kiểm soát truy nhập, (viễn thông) điều khiển truy nhập.
automated reasoning: lập luận tự động
autonomous robot: robot tự hành
autonomous: tự trị, tự chủ, tự quản

[sửa] B

backpropagation: truyền ngược
Bayesian network: mạng Bayes
behavior-based: dựa hành vi (agent)
bias: độ lệch (xác suất thống kê)
binary tree: cây nhị phân
bio-inspired computing: tin học phỏng sinh học
block diagram: sơ đồ khối, giản đồ khối
branching: rẽ nhánh, phân nhánh
brute force search: tìm kiếm bằng vét cạn
brute force attack: tấn công kiểu vét cạn

[sửa] C

case-based reasoning: lập luận dựa tình huống
checksum: giá trị tổng kiểm.
class: lớp
client-server: thân chủ - phục vụ (quá hiếm), khách - phục vụ, khách - chủ (dễ làm hiểu nhầm)
cognitive model: mô hình nhận thức
cognitive science: khoa học nhận thức
commit: (CSDL) cam kết
compiler: trình biên dịch
component-oriented programming:Lập trình định hướng thành phần (như OLE)
computational intelligence: trí tuệ tính toán
computer vision: thị giác máy tính
constant: hằng
constructor: (ngôn ngữ lập trình) tạo tử
control flow: (luồng) điều khiển
cost function: hàm chi phí
cryptology: mật mã học
customize : tùy biến, điều chỉnh theo ý người dùng
cybernetics: điều khiển học

[sửa] D

data mining: khai phá dữ liệu
data structure: cấu trúc dữ liệu
data type: kiểu dữ liệu
data warehouse: kho dữ liệu
database: cơ sở dữ liệu (viết tắt: CSDL)
dataflow programming:Lập trình dòng dữ liệu (như các Bản chiết tính(bảng tính) hay spreadsheet)
datalink layer: tầng liên kết dữ liệu (mô hình OSI)
decision tree: cây quyết định
declarative programming :Lập trình khai báo
decode: giải mã
defensive programming: lập trình phòng thủ
de-multiplex: (truyền dữ liệu) phân kênh
design pattern: mẫu thiết kế
duplex: (viễn thông) song công
dynamic programming: quy hoạch động
dynamically typed language: ngôn ngữ định kiểu động

[sửa] E

empirical data: dữ liệu kinh nghiệm
encapsulation: (lập trình) đóng gói
encode: mã hóa
encryption: sự mã hóa
event-driven programming: Lập trình điều khiển theo sự kiện
evolutionary algorithm: thuật toán tiến hóa
evolutionary computation: tính toán tiến hóa
expectation maximisation: cực đại hóa mong đợi
expert system: hệ chuyên gia
extreme programming: lập trình cực đoan
exterior gateway protocol: giao thức định tuyến ngoại miền/liên miền

[sửa] F

face recognition: nhận dạng khuôn mặt
facial recognition: nhận dạng khuôn mặt
finite state machine: ô-tô-mát hữu hạn
foreign key: khóa ngoài
flow: luồng, lưu lượng
flow chart: lưu đồ
flow control: (mạng) điều kiển lưu lượng
flow diagram: lưu đồ, sơ đồ luồng, giản đồ luồng
frame: (mạng) khung
function-level programming: Lập trình bậc hàm, Lập trình mức hàm
functional programming: Lập trình hàm
Fuzzy logics: logic mờ
Fuzzy system: hệ mờ

[sửa] G

game theory: lý thuyết trò chơi
genetic algorithm: thuật toán gien, giải thuật di truyền
genetic programing: lập trình di truyền
global variable: biến toàn cục
graph: đồ thị

[sửa] H

half-duplex: bán song công, đơn công
handwriting recognition: nhận dạng chữ viết (tay)
hash function: hàm băm
hash table: bảng băm
hash: băm
high-level language: ngôn ngữ (lập trình) bậc cao
host: máy chủ
hybrid intelligent system: hệ thống thông minh lai

[sửa] I

image processing: xử lý ảnh
imperative programming: Lập trình mệnh lệnh
inductive bias: độ chệch quy nạp (?)
inductive logic programming: lập trình quy nạp logic
inference: suy luận
information hiding: che dấu thông tin
inheritance: thừa kế
instant: thực thể (của lớp)
instantiate: thực thể hóa
instruction: lệnh, chỉ thị
intelligent agent: agent thông minh, tác tử thông minh
interface: giao diện
interior gateway protocol: giao thức nội miền
internet: (không viết hoa chữ i, là viết gọn của internetworking) liên mạng
Internet Protocol: giao thức liên mạng, giao thức IP
Internet Protocol Suite: bộ giao thức IP, bộ giao thức TCP/IP
interpreter: trình thông dịch

[sửa] K

k-nearest neighbor algorithm: thuật toán k láng giềng gần nhất (nhận dạng mẫu)
knowledge base: cơ sở tri thức
knowledge representation: biểu diễn tri thức
knowledge-based program: hệ thống dựa tri thức (???)

[sửa] L

latently typed language: xem dynamically typed language
linear programming: quy hoạch tuyến tính
linearly separable: phân tách tuyến tính (?)
local variable: biến địa phương
logic programming: lập trình logic
loss function: hàm tổn thất
low-level control: điều khiển mức thấp
low-level language: ngôn ngữ (lập trình) bậc thấp

[sửa] M

machine code: mã máy
machine language: ngôn ngữ máy
machine learning: học máy
macro: macro
maintenance: bảo trì
matching problem: bài toán ghép cặp
medium: (mạng) môi trường truyền (dẫn)
memory: bộ nhớ
memory allocation: cấp phát bộ nhớ
message passing programming : Lập trình truyền thông điệp
method: phương pháp, (lập trình) phương thức
mobile ad-hoc network: mạng di động đặc ứng, mạng di động tùy biến (chưa thấy ai dịch)
multiplex: (truyền dữ liệu) dồn kênh, ghép kênh

[sửa] N

natural language processing: xử lý ngôn ngữ tự nhiên
nearest neighbor algorithm: thuật toán láng giềng gần nhất (lý thuyết đồ thị)
network layer: tầng mạng
network segment: phân đoạn mạng
neural network: mạng nơ-ron
non-linear control: điều khiển phi tuyến

[sửa] O

object-oriented paradigm: mẫu hình hướng đối tượng
object-oriented programming: lập trình hướng đối tượng
optical character recognition: nhận dạng ký tự quang học
overfitting: quá thích nghi
overriding: Lấn quyền (hướng đối tượng), chép đè lên (một tập tin hay một đoạn thông tin), thay thế.

[sửa] P

packet-switched: chuyển mạch gói
parallel distributed processing: xử lý phân tán song song
pattern recognition: nhận dạng mẫu
peer-to-peer: đồng đẳng
Perceptron: Perceptron
physical layer: tầng vật lý
pipeline programming:Lập trình ống (như dòng lệnh UNIX)
planning: lập kế hoạch
point-to-point: điểm tới điểm, điểm nối điểm
polymorphism: đa hình
post-object programming:Lập trình hậu đối tượng
presentation layer: tầng trình diễn
primary key: khóa chính
private key: khóa cá nhân, khóa riêng
procedural programming: lập trình thủ tục
procedure: (lập trình) thủ tục
production rule: luận dẫn xuất
protocol stack: chồng giao thức
protocol suite: bộ giao thức, họ giao thức
protocol: giao thức
pseudocode: mã giả, giả mã
public key: khóa công khai

[sửa] R

random variable: (xstk) biến ngẫu nhiên
random variate: (xstk) biến sinh ngẫu nhiên . ^{a random variable itself with an associated probability distribution on the one hand, and random draws from that probability distribution on the other, in particular when those draws are ultimately derived by floating-point arithmetic from a pseudorandom sequence.}
reasoning under uncertainty: lập luận không chắc chắn
record: bản ghi
recursion: đệ qui
reflective programming: Lập trình phản xạ
reinforcement learning: học tăng cường
render: (đồ họa) kết xuất
requirements analysis: phân tích yêu cầu
robotics: rôbô học.
round-trip time: thời gian khứ hồi, thời gian đợi trọn vòng
route: định tuyến, (quá trình) định tuyến
router: thiết bị định tuyến, router
rule-based system: hệ thống dựa luật
rule-based reasoning: lập luận theo luật

[sửa] S

scalar programming:Lập trình vô hướng
scheduling: lập lịch, lên lịch, điều phối
search engine: động cơ tìm kiếm, máy tìm kiếm dữ liệu.
secondary key: khóa phụ
semantics: ngữ nghĩa
semi-supervised learning: học nửa giám sát
server: máy (cung cấp) dịch vụ, chương trình phục vụ
session layer: tầng phiên làm việc
simplex: (tối ưu hóa) đơn hình, (mạng) đơn truyền
simulated annealing: luyện thép
soft computing: tính toán mềm
software agent: tác tử phần mềm
software engineering: kỹ nghệ phần mềm, công nghệ phần mềm
specification: đặc tả
speech recognition: nhận dạng tiếng nói
statically typed language: ngôn ngữ (định) kiểu tĩnh
strategic planning: lập kế hoạch, lập phương án
stream: dòng
strong typing: định kiểu mạnh
structural programming: lập trình cấu trúc
subject-oriented programming: Lập trình hướng chủ thể
supervised learning: học có giám sát
support vector machine: máy vector hỗ trợ
swarm intelligence: trí tuệ bầy đàn (?)
symbolic logic: lôgic ký hiệu
symbolic programming:Lập trình kí hiệu (như Mathematica)
symbolic reasoning: lập luận kí hiệu
syntactic: cú pháp

[sửa] T

table-oriented programming:Lập trình định hướng bảng (như FoxPro của Microsoft)
training data: dữ liệu huấn luyện
transport layer: tầng giao vận
Turing test: Turing test, thử thách Turing, phép thử Turing
transparency: xuyên dụng, tính trong suốt