1-1 pmk-22 guruh talabasi ixtiyorova sabrina mavzu: Mulohazalar hisobining keltirib chiqariluvchi formulalari bilan muhozalar algebrasining umumqiymatli formulalari orasidagi bog’lanish

4.3.1. Bir vaqtda o'rniga qo'vish qoidasi.
T a ’ ri f . Agar A( x , , .v(j ) isbo/Linuvchi formula va
B l , B - , В mulohazalar hisobining iMivony formulalari ho 'Isa, и holda
A formulaning Л", ,.v, o 'zganivcliihiii o'rniga bir vaqtda mos
ravishda B [, B 1 ,...,B r formulalarni qo'yish natijasida С isbotlanuvchi
formtilani hosil qilish bir vaqtda o'rniga qo'yish qoidasi deb ataladi.
z.. , z , o ‘zgaruvchi!ar .4, В ,, В ......lonmilalardagi boshqa
o'zgamvchilardan farq qiluvehi o'zgamvchilar va z Ф z . ( i , j = \ , n)
bo'lsin. U holda A formulaga n ta o'rniga qo'yishm kctma-ket bajaramiz:
avval A'| o'rniga r, ni, keyin д-, o'rniga ~,ni va hoka/o .v o'rniga z ni
qo'yamiz. Natijada quyidagi isbotlanuvchi formulalarga ega bo'lamiz:
j—J"(.-I) o 'rn ig a q o 'y ish |—. ! ,m . j—J ( /, ) o'rn ig a qo'yish j ,L ni. va
.X] X .
liokazo j - j ( An l ) o'rniga qo'yish |— An ni beradi.

Foydalanilgan adabiyotlar ro’yxati.

1. Eu le r L. (Leonb Kulero) Solvt io problcmatis ad geometriam sitvs perlinentis.
Comment Acadcmiae Sci I. Petropolitanue. 8, 1736. p. 128-140.
2. S o le e v Л. Ordering in Compl icated Problems. In 14-th British Combinatorical
Conference. Keele, GB. July, 1993. Abstracts, p. 96-98.
3. T o ' r a y e v H.T.. Az iz o v I., Otaq ulo v S. Kombinatorika va grallar nazariyasi:
Us lubiy q o l lamn a . Samarqand: SamDlJ nashri. 2006. 263 bet.
4. Ал екс еев В.Б.. Кудрявцев В.К.. О ш ож ен к о А.Д., Яблонский С.В. и др.
Методическая разработка по курсу “Матеча гичеекая .кийка и дискретная
математика” . 1980.
5. Воробьев Н. Н. Числа Фибоначчи. М.. ≪Наука≫, 1969.
6. Г аврилов М .Д., Д ев я тк о в В.В.. 11\ пыреи К.И. Ло гиче ско е проектирование
дискретных автоматов. М.. ≪Наука≫. 1977.
7. Гинликин С’.Г. Алгебра .ни ики в !адача\. М., ≪Наука≫, 1972.
8. Гильберт Д., Бернайс II. Основания ча тематики. Логиче ские исчисления и
форч алшация арифметики. VI., ≪Наука≫, 1979.
9. Горбатов В.А.
а) Семантическая теория проскл ировання автоматов. М.. ≪Энергия≫. 1979.
б) Основы дискретной математики М.. ≪Высшая школа≫. 1986.
10. Горбатов В.Д., Павлов I I .Г., Ч еш ер и к о в В .II. Логиче ское управление
информационными процессами. М . ≪ ’ )нер| оа томи ц а т ≫ . 1984.