Muhammad Al-Xorazmiy nomidagi Toshkent Axborot Texnologiyalari Universiteti. Mustaqil ish

Masalan, agar Evklid geometriyasining tushunchalari Lobachevskiy geometriyasining interpretatsiyasi sifatida foydalanilsa, u holda Lobachevskiy geometriyasining zidsizligi masalasini Evklid geometriyasining zidsizligi masalasiga keltirish mumkin. Shuni ta’kidlash kerakki, Evklid geometriyasining zidsizligi va haqiqiy sonlar nazariyasining zidsizligi hozirgacha isbot qilingan emas. Bir vaqtda zidsiz va to’liq bo‘lgan T nazariya zidsizlikka nisbatan shu ma’noda maksimal bo‘ladiki, bu nazariyaga aksioma sifatida shu nazariyada mumkin boigan istalgan (ammo uning teoremasi bo'lmagan) mulohazani qo‘shganda, ziddiyatga ega bo'lgan nazariya hosil bo‘ladi

Xulosa

Hozirgi o’ta zamonaviy axborot texnologiyalari asosida ma`lumotlarni obrazlar ko’rinishida taqdim etish va fikrlash jarayonini tashkil etish o’quvchilarning aqliy rivojlanish darajasini yuqoriga ko’taribgina qolmasdan, an`anaviy o’qitish o’rtasidagi nisbatni o’zgartirishga ham olib keladi. Bu yerda predikat tushunchasi, predikatlar usiida mantiqiy amallar, umumiylik va mavjudlik kvantorlari, predikatlar mantiqining formulasi va uning qiymati, predikatlar mantiqining teng kuchli formulalari, predikatlar mantiqi formulasining normal shakli, bajariluvchi va umumqiymatli formulalar, yechilish muammosi, xususiy hollarda formulaning umumqiymatliligini topish algoritmlari, predikatlar mantiqining matematikaga tatbiqi, aksiomatik predikatlar hisobi haqida ma’lumotlar keltiriladi.

Foydalanilgan adabiyotlar

1. Yuldashev U. Y.,Oqiyev R. R., Zokirova F. M., "Informatika" – T, 2002 y.

2. Abduqodirov A. A., Hayitov A., Shodiyev R. "Axborot texnologiyalari"– T, 2002 y.

3. Akademik litseylar uchun "informatika" fanidan o’quv dasturi – T, 2000 y.

• Бекаревич ю., Пушкина Н. Самоучитель microsoft access 2002,

БХВ петербург 2003 г

• Пасько виктор microsoft office для пользователя, БХВ петербург 2001 г
• MSDN - http://msdn.Microsoft.Com
• Www.Citforum.Ru/database