13 – 17 guruh Mirzaolimov A. – amaliy mashg’ulot Mavzu

Rasm 1. Domen ob'ektlarining tasnifi
Shaxsiy talaba, talabalar guruhi, sinf xonasi, dars vaqti, so'zlar, raqamlar, ramzlar sub'ektlar (IP nuqtai nazaridan) yoki ob'ektlar (tashqi dunyo nuqtai nazaridan) misollari. Odatda ob'ekt bo'lish diskret va ajralib turadigan deganidir. Ma'lumotlar bazasida bunday toifalarni saqlash mumkin bo'lsa-da, "ob'ekt bo'lmaganlar" ga dunyo, vaqt, ma'no misol bo'la oladi.

Ob'ektlar bilan bog'liq ikkita muammo mavjud: identifikatsiya qilish va etarli tavsif. Ism identifikatsiya qilish uchun ishlatiladi. Bunday holda, tabiiy tilga xos bo'lgan uning ma'nosini rad etish mavjud deb taxmin qilinadi. Faqat ismning indikativ funktsiyasidan foydalaniladi. Ism - bu ob'ektni aniqlashning bevosita usuli. Ob'ektni identifikatsiyalashning bilvosita usullari ob'ektni uning xususiyatlari (xususiyatlari yoki atributlari) orqali aniqlashni o'z ichiga oladi.

Ob'ektlar bir-biri bilan o'zlarining xossalari orqali ta'sir o'tkazadilar, bu esa vaziyatlarni yaratadi. Vaziyat - bu ob'ektlar o'rtasidagi munosabatlarni ifodalaydigan munosabatlar. Mavzu doirasidagi vaziyatlar predmetli hisoblash va predikat hisobi yordamida predmet sohasi haqidagi bayonotlar yordamida tavsiflanadi, ya'ni. rasmiy, matematik mantiq. Masalan, "Dasturchi va menejer - bu kompaniyaning xodimlari" degan so'zlar inklyuziv munosabatlarni tavsiflaydi. Shunday qilib, domen ob'ektlari va sub'ektlari haqidagi barcha ma'lumotlar tabiiy tilda bayonotlar yordamida tavsiflanadi.

Matematik mantiq usullari ushbu bayonotlarni rasmiylashtirishga va ularni tahlil qilish uchun mos bo'lgan shaklda taqdim etishga imkon beradi.

Misol. Bayonotni ko'rib chiqing: talaba A.A.Ivanov, 1982 yilda tug'ilgan. U "Ivanov AA" ob'ektining quyidagi xususiyatlarini ifodalaydi:

• aniq - tug'ilgan yili;

• bilvosita - talabaga tegishli.

Birinchi xususiyat "Ivanov AA" ob'ektlari o'rtasida aloqani o'rnatadi va "Tug'ilgan yili", ikkinchisi - "Ivanov A.A." ob'ektlari o'rtasida. va "Ko'p talabalar". Ushbu bayonotning rasmiylashtirilishi predikatlarga kiritilgan o'zgaruvchilarga qiymatlarni berish natijasida keltirilgan:

TUG'ILGAN (Ivanov A.A., 1982)
TALABA (Ivanov A.A.)
E'tibor bering, tabiiy tillar semantikasida vaziyat va munosabatlar deyarli sinonim sifatida qaraladi. Vaziyat predmet sohasidagi ob'ektlar haqida bayonotni o'z ichiga oladi, ularni ba'zi bir haqiqatni baholash bilan bog'lash mumkin va o'zgaruvchilar kiritilgandan keyin predikat sifatida taqdim etish mumkin. Shunday qilib, mavzu sohasi haqidagi bayonotlar to'plami ma'lumotlar bazasi uchun axborot makonining ta'rifi sifatida talqin qilinishi mumkin.

Rasm 2 mavzu doirasidagi vaziyatlarni tasniflashning yondashuvlaridan birini taqdim etadi.