Mathematical English : language of proofs
1 subscriber
Download Telegram
#dictionary_1
1) Approach — yaqinlashish

2) Arbitrarily close — istalgancha yaqin

3) Defined / Undefined — aniqlangan / aniqlanmagan

4) Does not exist — mavjud emas

5) close — Yaqin
🔥1
#dictionary_2
6) "Roughly speaking": Taxminan aytganda / Soddaroq qilib aytganda.

7) "Tend to get closer and closer": Yanada yaqinroq bo'lishga moyil bo'lmoqda (intilmoqda).

8) "From either side of a": a nuqtaning har ikki tomonidan (ham chapdan, ham o'ngdan).

9) "Alternative notation": Muqobil (boshqacha) belgilash.
🔥1
#dictionary_3

10) Oscillate — tebranmoq.

11) Infinitely often — cheksiz ko'p marta.

12) Misleading — chalg'ituvchi (jadval bizni chalg'itishi haqida).

13) Between — orasida.
🔥1
#dictionary_4

14) Left-hand limit — chap tomonlama limit.

15) Right-hand limit — o'ng tomonlama limit.

16) Approaching from the left — chapdan yaqinlashish.

17) If and only if — faqat va faqat shu holdaki (matematik shart).
🔥1
#dictionary_5

18) Proof,Isbot
19) Assumption / Suppose, —f araz (faraz qilaylik)
20) Contradiction,Ziddiyat — Qarama-qarshilik
21) Statement — Tasdiq / Mulohaza
22) Assume the contrary — Teskarisini faraz qilish
23) Hence / Therefore — Shuning uchun / Demak
🔥1
#dictionary_6
24) Assume to be false—Noto'g'ri deb faraz qilish
25) Logical deductions—Mantiqiy xulosalar
26) Infinitude — Cheksizlik
27) Prime numbers — Tub sonlar
28) Divisible — Bo'linuvchan
29) Coprime — O'zaro tub
🔥1
#dictionary_7

30) Statement — Tasdiq (Isbotlanishi kerak bo'lgan gap).

31) Contradict — Zid kelmoq / Qarama-qarshi bo'lmoq.

32) Hypothesis — Gipoteza (Faraz).

33) Conclusion — Xulosa.

34) Integer coefficients — Butun koeffitsiyentlar
🔥1
35) Curve - egri chiziq
36) point - nuqta
37) which - qaysi
38) slope - qiyalik , og'ish ba'zan burchak koefitsenti ya'ni tan(a)=k
🔥1
Matematik Olimpiada Lug'ati (Kengaytirilgan jadval)

| Mantiq |

39 )Conjecture -- Taxmin (isbotlanmagan nazariya)
40) Conversely - Aksincha / Teskari holda
41) Assume for the sake of contradiction - Teskarisidan deb faraz qilaylik
42) Imply - Kelib chiqmoq (natija bermoq)

| Analiz |

43) Limit inferior / superior -- Pastki / Yuqori limit
44) Monotonically increasing -- Monoton o'suvchi
45) Bounded above/below -- Yuqoridan/quyidan chegaralangan
46) Convex / Concave - Qavariq / botiq
47) Continuous everywhere -- Hamma joyda uzluksiz
48) Differentiable -- Differensiyalanuvchi (hosilasi mavjud)

| Algebra |

49) Field extension - Maydon kengaytmasi

50) Span (linear span) - Qobiq (vektorlar tizimi)
51) Eigenvalue - Xos qiymat
52) Characteristic polynomial - Xarakteristik ko'phad
53) Invertible matrix - Teskarilanuvchi matritsa

| Sonlar Nazariyasi |

54) Relatively prime - O'zaro tub
55) Modular arithmetic - Modul bo'yicha arifmetika
56) Quadratic residue - Kvadratik qoldiq
57) Divisibility - Bo'linuvchanlik

| Geometriya |

Convex hull | Qavariq qobiq |
| | Incenter / Circumcenter | Ichki/Tashqi chizilgan aylana markazi |
| | Orthocenter | Ortotsentr (balandliklar kesishgan joy) |
| | Isometry | Izometriya (masofani saqlovchi) |
Olimpiada masalalarida tez-tez uchraydigan qolip-iboralari
Bu iboralar masala shartini tushunish uchun eng muhimlaridir:
| Inglizcha ibora | O'zbekcha ma'nosi |
|---|---|
| Let S be a set such that... | S - shunday to'plam bo'lsinki... |
| Find all such that... | ...ni qanoatlantiruvchi barchasini toping |
| Show that the expression is independent of n | Ifodaning n ga bog'liq emasligini ko'rsating |
| Without loss of generality, assume... | Umumiylikni yo'qotmagan holda, faraz qilaylik... |
| Evaluate the following integral/sum | Quyidagi integralni/yig'indini hisoblang |
| Prove or disprove | Isbotlang yoki inkor eting |
| By induction on n | n bo'yicha induksiya usuli bilan |
Muhim eslatma (Strategik maslahat)
* Putnam/IMC darajasidagi olimpiadalarda ko'pincha "Compute" yoki "Evaluate" deganda aniq sonli javob kutiladi, "Show that" yoki "Prove" deganda esa mantiqiy xulosalar zanjiri talab qilinadi.
* "Disprove" deganda siz bitta "kontrmisol" (qarshi misol) keltirishingiz kifoya, lekin uni to'g'ri isbotlab berishingiz kerak.
🔥1
Inglizcha atama O'zbekcha tarjimasi
Determine Aniqlang, toping
All Barcha, hamma
Positive integers Musbat butun sonlar
Exist Mavjud bo'lmoq, mavjud
Satisfying ...ni qanoatlantiruvchi
Equation Tenglama
🔥1
Sequence Ketma-ketlik
Nonzero Nolga teng bo‘lmagan
Real numbers Haqiqiy sonlar
Such that Shunday bo‘lsaki (shartni bildiradi)
Prove (that) Isbotlang (shuni)
There exists Mavjud (bo‘lishi kerak)
For all Barcha ... uchun
Term Had (ketma-ketlik hadi)
Recurrence relation Rekurrent munosabat
Independent of n n ga bog‘liq bo‘lmagan
Constant O‘zgarmas (son)
🔥1
Forwarded from For maths lovers
1. Qo‘shish — Addition
2. Ayirish — Subtraction
3. Ko‘paytirish — Multiplication
4. Bo‘lish — Division
5. Tenglama — Equation
6. Ildiz — Root
7. Daraja — Power (Exponent)
8. Kasr — Fraction
9. Tub son — Prime number
10. Juft son — Even number
🔥1
11.Increasing — O'suvchi

12.Decreasing — Kamayuvchi

13.Convergent — Yaqinlashuvchi (masalan, yaqinlashuvchi ketma-ketlik)

14.Periodic — Davriy