6-amaliy ish AmSTeXa imkoniyatini o’rganish. Amaliy ishining maqsadi

6-amaliy ish
AmSTeXa imkoniyatini o’rganish.
Amaliy ishining maqsadi: Talabalarga AmSTeXa imkoniyatini o’rgatish
Kerakli asbob va dasturlar: Kompyuter,interfaol doska,proektor,Tex studio, T E X Live
Qısqacha nazariy ma’lumatlar va ishning bajarilish tartibi
1. Amssymb paketidagi qo'shimcha matematik simvollar
2. Bir necha tenglamalarni tekislash (amsmath paketi)
3. Teoremalar va dalillar (amsthm paketi)
Amssymb paketidagi qo'shimcha matematik simvollar
LaTeX standart paketida juda ko'p matematik simvollar mavjud, ammo ba'zida ular etarli emas. Agar siz amssymb paketini ulasangiz, Amerika Matematik Jamiyati (AMS — American Mathematical Society) tomonidan ishlab chiqilgan qo'shimcha matematik simvollarni ishlatishingiz mumkin. Ushbu simvollar bir yarim yuzdan ortiq; ularni yana guruhlarga ajratamiz.
Ikkilik amallardan boshlaymiz. Amssymb uslubi paketi ushbu toifadagi quyidagi simvollarni ishlatishga imkon beradi:

	\boxdot
	\centerdot
	\barwedge
	\Cap
	\leftthreetimes
	\intercal
	\circleddash
	\gtrdot
	\smallsetminus
	\boxplus
	\boxminus
	\doublebarwedge
	\rightthreetimes
	\circledcirc
	\divideontimes
	\ltimes
	\boxtimes
	\veebar
	\Cup
	\curlyvee
	\dotplus
	\circledast
	\lessdot
	\rtimes

Keyingi qatorda juda ko'p sonli binar munosabatlar mavjud:

	\rightleftharpoons		\leftrightharpoons
	\Vdash		\Vvdash
	\vDash		\upharpoonright
	\downharpoonright		\upharpoonleft
	\downharpoonleft		\Lsh
	\Rsh		\circeq
	\succsim		\gtrsim
	\gtrapprox		\multimap
	\therefore		\because
	\doteqdot		\triangleq
	\precsim		\lesssim
	\lessapprox		\eqslantless
	\eqslantgtr		\curlyeqprec
	\curlyeqsucc		\preccurlyeq
	\leqq		\leqslant
	\lessgtr		\risingdotseq
	\fallingdotseq		\succcurlyeq
	\geqq		\geqslant
	\gtrless		\sqsubset
	\sqsupset		\vartriangleright
	\vartriangleleft		\trianglerighteq
	\trianglelefteq		\between
	\blacktriangleright		\blacktriangleleft
	\vartriangle		\eqcirc
	\lesseqgtr		\gtreqless
	\lesseqqgtr		\gtreqqless
	\varpropto		\smallsmile
	\smallfrown		\Subset
	\Supset		\subseteqq
	\supseteqq		\bumpeq
	\Bumpeq		\lll
	\ggg		\pitchfork
	\backsim		\backsimeq
	\lvertneqq		\gvertneqq
	\lneqq		\gneqq
	\lneq		\gneq
	\precnsim		\succnsim
	\lnsim		\gnsim
	\precneqq		\succneqq
	\precnapprox		\succnapprox
	\lnapprox		\gnapprox
	\varsubsetneq		\varsupsetneq

Misol 1
\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage{geometry}
\geometry{textwidth=7cm}
\usepackage{amssymb}
\title{Amssymb paketidagi qo'shimcha matematik simvollar}
\author{TATUNF}
\begin{document}
\maketitle
%Kirish misoli
%--------------------------------------------------------------------
\[
\alpha A +\beta B\backsim 30
\]
\end{document}

Rasm.1
Bir necha tenglamalarni tekislash (amsmath paketi)
Amsmat paketi, shu jumladan
Bu oddiy qadam, agar siz latexdan ko'p foydalansangiz, ehtimol bu haqda allaqachon bilasiz. Hujjat preambulasiga quyidagilarni kiriting:
\usepackage{amsmath}
Bir necha tenglamalarni tekislash
Agar bir nechta tenglamalar mavjud bo'lsa, siz vertikal ravishda tekislashingiz kerak bo'lsa, tekislash muhiti buni amalga oshiradi:
\begin{align*}
2x - 5y &= 8 \\
3x + 9y &= -12
\end{align*}
Odatda ikkilik operatorlar (>,>)
Yuqorida aytib o'tganimizdek, ampersand & tenglamalar qaerga to'g'ri kelishini belgilaydi. Keling, yanada murakkab bir misolni ko'rib chiqaylik:
\begin{align*}
x&=y & w &=z & a&=b+c\\
2x&=-y & 3w&=\frac{1}{2}z & a&=b\\
-4 + 5x&=2+y & w+2&=-1+w & ab&=cb
\end{align*}
Bu erda biz tenglamalarni uchta ustunda joylashtiramiz. LaTeX har bir tenglama ikki qismdan iborat, deb ajratilgan va; shuningdek, har bir tenglama oldingi & dan ajratilganligi.
Shunga qaramay, tenglamani raqamlashni almashtirish uchun * dan foydalaning. Agar raqamlashga ruxsat berilsa, har bir qatorni alohida belgilashingiz mumkin.

2-misol
\documentclass{article}

\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\title{Amsmathga misol }
\author{TATUNF}
\date{april 2018}
\begin{document}
\maketitle
\section{ Bir nechta tenglamalarni tekislash }
\begin{align*}
2x - 5y &= 8 \\
3x + 9y &= -12
\end{align*}
\begin{align*}
x&=y & w &=z & a&=b+c\\
2x&=-y & 3w&=\frac{1}{2}z & a&=b\\
-4 + 5x&=2+y & w+2&=-1+w & ab&=cb
\end{align*}
\end{document}

2- rasm
Teoremalar va dalillar (amsthm paketi)
Avvalo, amsthm paketi yoqilganligiga ishonch hosil qiling:
\usepackage{amsthm}
Eng osoni quyidagilar:
\newtheorem{name}{Printed output}
uni muqaddimaga qo'ying. Birinchi argument - bu unga murojaat qilish uchun foydalanadigan ism, ikkinchi argument - LaTeX natijasi siz foydalanganingizda chop etiladi. Masalan:
\newtheorem{mydef}{ Ta'rif }
mydef muhitini belgilaydi; agar siz uni shunday ishlatsangiz:
\begin{mydef}
Bu erda yangi ta'rif
\end{mydef}

Rasm -3

matnning qolgan qismidan ajratib turadigan chiziqli tanaffuslar bilan.

Teorema hisoblagichlari
Ko'pincha hisoblagichlar bo'lim bo'yicha aniqlanadi, masalan "Teorema 2.3" hujjatning 2-qismidagi 3-teoremaga ishora qiladi. Bunday holda teoremani quyidagicha ko'rsating:
\newtheorem{name}{Printed output}[numberby]
bu erda numberby - bu raqamlash amalga oshiriladigan bo'lim darajasining nomi (bo'lim / kichik bo'lim / va hokazo).

Odatiy bo'lib, har bir teorema o'z hisoblagichidan foydalanadi. Ammo shunga o'xshash teoremalar (masalan, teoremalar, lemmalar va xulosalar) uchun hisoblagichni bo'lishish odatiy holdir. Bunday holda, keyingi teoremalarni quyidagicha aniqlang:

\newtheorem{name}[counter]{Printed output}
bu erda hisoblagich ishlatiladigan hisoblagich nomi. Odatda bu asosiy teoremaning nomi bo'ladi.
\ Newtheorem buyrug'ida ko'pi bilan ixtiyoriy argument bo'lishi mumkin.

Shuningdek, newtheorem * buyrug'i yordamida raqamlanmagan teorema muhitini yaratishingiz mumkin [1]. Masalan,

\newtheorem*{mydef}{Definition}
raqamlashsiz ta'riflar yaratadigan mydef muhitini belgilaydi. Buning uchun amsthm paketi kerak.
Isbot(Dalil)
Proof muhiti [1] teoremaning isbotini qo'shish uchun ishlatilishi mumkin. Asosiy foydalanish:\begin{proof}
Mana mening dalilim
\end{proof}
U argument sifatida berilgan matnning boshida kursiv bilan Proof qo'shadi va uning oxirida oq kvadrat (Q.E.D. belgisi, shuningdek, qabr toshi sifatida ham tanilgan). Agar siz ingliz tilidan boshqa tilda yozayotgan bo'lsangiz, babelni to'g'ri argument bilan ishlating va chiqishda bosilgan Proof so'zi shunga muvofiq tarjima qilinadi; baribir, manbada atrof-muhit nomi isbot bo'lib qoladi.
Agar siz dalilni qo'lda nomlashni istasangiz, ismni to'rtburchak qavsga kiriting:
\begin{proof}[Proof of important theorem]
Mana mening dalilim
\end{proof}
Agar dalilning oxirgi satri matematikada ko'rsatilsa, u holda Q.E.D. keyingi bo'sh satrda belgi paydo bo'ladi. Q.E.D.ni qo'yish oxirgi satr oxirida belgini, \ qedhere buyrug'ini ishlating:
\\begin{proof}
Mana mening dalilim:
\[
a^2 + b^2 = c^2 \qedhere
\]
\end{proof}
Yuqoridagi usul eskirgan muhit bilan ishlamaydi eqnarray *. Buning o'rniga align * dan foydalaning.
Maxsus Q.E.D dan foydalanish uchun. belgisi, \ qedsymbol buyrug'ini qayta aniqlang. Q.E.D.ni yashirish uchun ramzi umuman bo'sh bo'lsa, uni qayta aniqlang:
\renewcommand{\qedsymbol}{}


Misol 3
\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{geometry}
\geometry{textwidth=7cm}
\usepackage{amssymb}
\usepackage{amsthm}
\newtheorem{mydef}{Ta'rif}
\title{Teoremalar va dalillar (amsthm paketi)}
\author{TATUNF}
\begin{document}
\maketitle
\begin{mydef}
Bu erda yangi ta'rif
\end{mydef}
\begin{proof}
Mana mening dalilim:
\[
a^2 + b^2 = c^2 \qedhere
\]
\end{proof}
\end{document}
Qo'shimcha vazifalar va savollar
1. Amssymb paketi
2. Simvollar yordamida matematik formulani tuzing
3.\usepackage{amsmath}
4.Bir necha tenglamalarni tekislash
5.\newtheorem{name}{Printed output}
6. proof muhit
7. \newtheorem{name}[counter]{Printed output}