By induction chứng minh bằng quy nạp formal chứng minh hình thức

Một phần của tài liệu Thuật ngữ dùng trong toán học Anh Việt_p6 pptx (Trang 45 - 50)

formal p. chứng minh hình thức

indirect p. log. phép chứng gián tiếp

irreducible p. log. phép chứng minh không khả quy

pure variable p. log. chứng minh bằng các biến thuần tuý proper chân chính, riêng

properly một cách đúng đắn, thực sự

property tính chất; thuộc tính; kt. tài sản; quyền sở hữu absolute p. of a surface tính chất nội tại của một mặt combinatorial p. top. tính chất tổ hợp

continuity p. tính chất liên tục frontier p. tính chất biên group p. tính chất nhóm

homotopy lifting p. tính chất nâng đồng luân inducible p. tính chất quy nạp đ−ợc

interpolation p. tính chất nội suy local p. tính chất địa ph−ơng metric p. tính chất mêtric personal p. kt. động sản projective p. tính chất xạ ảnh real p. bất động sản tangential p. gt. tính chất trơn topological p. tính chất tôpô

proportion tỷ lệ thức, tỷ lệ; luật tam suất in p. to tuỷ lệ với, ứng với continued p. dãy các tỷ lệ thức direct p. tỷ lệ thuận inverse p. tỷ lệ nghich simple p. tỷ lệ đơn proportional (thuộc) tỷ lệ // thành phần tỷ lệ propose đề nghị proposition log. mệnh đề affirmative p. mệnh đề khẳng định atomic p. mệnh đề nguyên tử compound p. mệnh đề phức hợp

contradictory p.s những mệnh đề mâu thuẫn contrary p.s những mệnh đề t−ơng phản converse p. mệnh đề đảo, đảo đề

disjunctive p. mệnh đề tuyển

equivalent p.s các mệnh đề t−ơng đ−ơng hypothetical p. mệnh đề giả định inverse p. mệnh đề phản, phản đề molecular p. mệnh đề phana tử negative p. mệnh đề phủ định particular p. mệnh đề đặc tr−ng principal p. mệnh đề chính

singular p. mệnh đề đơn

universal p. mệnh đề toàn x−ng propositional log. (thuộc) mệnh đề

propulsion chuyển động về phải tr−ớc, sự đẩy propulsive đẩy

prospect quang cảnh, viễn cảnh; triển vọng protector mt. thiết bị bảo vệ

proton prôton

prototype mẫu tử, mẫu đầu protract kéo dài

protractor th−ớc đo góc

provable log. chứng minh đ−ợc prove log. chứng minh; thử lại proximate gần cạnh

proximity sự gần, sự lân cận pseudoanalytic giả giải tích

pseudo-catenary đ−ờng giả dây xích pseudo-cirele giả vòng

pseudo-complement giả bù pseudocomplex giả phức pseudoconformal giả bảo giác pseudo-convergent giả hội tụ pseudo-cycloid giả xicloit

pseudocycloidal (thuộc) giả xicloit pseudomanifold top. giả đa tạp pseudo-metric giả mêtric

pseudo-metrisable giả mêtric hoá đ−ợc pseudodonorm gt. giả chuẩn

pseudo-normal giả pháp tuyến pseudo-order mt. giả lệnh

pseudoperiodic gt. giả tuần hoàn pseudoprime giả nguyên tố pseudorandom giả ngẫu nhiên pseudoscalar l−ợng giả vô h−ớng pseudo-sentence log. giả câu pseudo-sphere giả mặt cầu pseudospherical giả xoắn ốc

pseudotangent giả tiếp xúc, giả tiếp tuyến pseudottensor giả tenxơ

pseudo-tractrix giả tractric

pseudovaluation đs. giả giá, giả mêtric pseudovector hh. giả vectơ

psi psi (ψ)

psi-function gt. hàm psi

psychological (thuộc) tâm lý học psychology tâm lý học

psychometrics tâm lý l−ợng học pulsatance vl. tấn số góc

pulsate vl. mạch động pulsation vl. sự mạch động pulse xung; xung l−ợng pulser mt. máy phát xung pump cái bơm

vacuum p. bơm chân không punch đục lỗ

punch-card mt. máy đục lỗ punched mt. bị đục lỗ puncher mt. máy đục lỗ

aiphabetical p. máy đục lỗ chữ cái calculating p. máy đục lỗ chữ cái card p. máy đục lỗ bìa

electronic calculating p. máy đục lỗ điện tử gang p. mt. máy đục lỗ lại

summary p. mt. máy đục lỗ bìa tổng kết punctual kịp thời; chính xác

punctured bị đâm thủng punrchase kt. mua purchaser ng−ời mua pure thuần tuý

purpose mục đích purposeful có mục đích pursue theo đuổi

pursuit sự theo đuổi, sự theo dõi push đẩy, ẩn (vào nút bấm) put đặt

puzzle câu đố puramid hình chóp

regular p. hình chóp đều right p. hình chóp thẳng

triangular p. hình chóp tam giác truncated p. hình chóp cụt pyramidal (thuộc) hình chóp Pythagorean (thuộc) Pitago

Q

q.e.d (quod erat demonstradum) đó là điều phải chứng minh quad (quadrangle) ô vuông sơ cấp; ô tứ giác

quadrangle tứ giác

complete q. tứ giác đầy đủ quadrangular (thuộc) tứ giác quadrant gốc phần t−

quadrantal (thuộc) gốc phần t− quadrat tk. chọn mẫu theo ô vuông

quadrate hình vuông; luỹ thừa hai, bình ph−ơng

quadratic bậc hai; toàn ph−ơng // ph−ơng trình bậc hai quadrature phép cầu ph−ơng

Một phần của tài liệu Thuật ngữ dùng trong toán học Anh Việt_p6 pptx (Trang 45 - 50)