Matematik mantiq elementlari(Dizunksiya, konyuksiya,implikatsiya, ekvivalensiya va inkor). Mulohazalar va ular ustida amallar. Predikat. Kvantor. Reja

Munosabatlarning asosiy turlari quyidagicha:
A to’plamda ρ munosabat berilgan bo’lsin: P AxA, ρ=(P,A)


1. Refliksiv munosabat. Agar x A uchun xρx bo’lsa, ρ munosabat refliksiv deyiladi.

2. Simmetrik munosabat. Agar barcha x A, y A uchun xρy yρx bo’lsa, ρ simmetrik munosabat deyiladi.

3. Tranzitiv munosabat. Agar x,y,z A uchun xρy^ yρz xρz bo’lsa, ρ tranzitiv munosabat deyiladi.

4. Ekvivalentlik munosabati. Refliksiv, simmetrik va tranzitiv munosabat ekvivalent munosabat deyiladi.
4. Kombinatorika- diskret matematikaning bir bo’limi bo’lib, asosan chekli to’plamlar ustida ish ko’radi. Kombinatorika berilishiga ko’ra
1). O’rinlashtirish 2). O’rin almashtirish 3).Gruppalash turlariga bo’linadi.
1).O’rinlashtirishning ta’rifi: n elementdan m tadan (n m) o’rinlashtirishlar deb, shunday birlashmalarga aytiladiki, ularning har birida m tadan element bo’ladi; bitta birlashma ikkinchisidan tarkibi yoki tartibi bilan farq qiladi.
n elementdan m tadan o’rinlashtirishlar soni A kabi belgilanadi.
A =n(n-1)(n-2)…(n-m+1) A =
2). O’rin almashtirishning ta’rifi: n elementdan tuzilgan o’rin almashtirishlar deb shunday birlashmalarga aytiladiki, ularning har biriga berilgan n ta element kiradi, o’rin almashtirishlar bir-biri bilan elementlarining tartibi bilan farq qiladi. O’rin almashtirishlar soni P_n=n! kabi yoziladi.
3). Gruppalashlarning ta’rifi: elementlarining tartibi ahamiyatsiz bo’lgan birlashmalar gruppalashlar deb ataladi.Gruppalashlarning biri ikkinchisidan kamida 1 ta elementi bilan farq qiladi. n elementdan m tadan tuzilgan gruppalashlar soni C kabi belgilanadi.
C =
Chiziqli tenglamalar sistemasi. Kramer formulasi.
Reja:

1. 
   
   Chiziqli tenglamalar sistemasi.
   
2. 
   
   Chiziqli tenglamalar sistemasini yechishning Kramer formulasi.
   
3.