منطق بول و کاربرد آن - word (..DOC) - عمران -

قسمتی از متن :

‏طرح ابتداي بودن منطق بول و كاربر‏د‏ ‏آن‏

2

‏در نوشته هاي محققان دانش اطلاع رساني، بخصوص در بحث از نظامهاي بازيابي پس هما‏نا‏.1

‏ اشاره‌هايي به منطق بول مي شود. منطق بول، كه از نوآوريهاي جور‏ي‏ بول

[3]‏ دانشمند انگليسي است، ساختاري رياضي است كه به اعتبار ساخت صوري آن تعبيري گوناگون مي پذيرد. جاي بحث منطق بول در منطق رياضي و رياضيات جديد است. از اين روست كه محققان ‏بسياري‏ در نوشته هاي خود اغلب با اشاره كوتاهي به اين منطق از آن مي گذرند و خواننده براي آگاهيهاي بيشتر خود بايد به كتابهاي مناسب مراجعه كند.

‏هدف ما در اين مقاله طرح رياضي منطق بول نيست. مي خواهيم مف‏وهمهايي‏ از اين نظريه را كه دانستن آن براي علاقمندان به دانش اطلاع رساني لازم مي نمايد با بياني ساده شرح دهيم و آنگاه به كاربرد آن در يكي از نظامهاي ساده بازيابي بپردازيم. اين نوشته، زمينه را براي طرح دقيق منطق بول و نظريه‌هاي تازه تري كه در نظامهاي بازيابي كاربرد پيدا كرده اند و فهم آنها به دانستن مباني نظري بالاتري دارد، فراهم مي آورد. يكي از اين نظريه ‏هاي‏، نظريه مجموعه ‏ها‏ي‏ست‏ كه مرز روشني

[4]‏ ندارند. اين نظريه اثر يكي از محققان ايراني، پروفسور لطفي زاده است كه بخصوص در رفع پاره اي از دشواريهاي نظامهاي بازيابي كه مبتني بر منطق بول هستند ، اهميت يافته است. درباره اين نظريه در شماره هاي آينده سخن خواهيم گفت.

‏ 

‏مجموعه‏:

‏مجموعه، مفهومي چنان بديهي و بنيادي مي نمايد كه نمي توان آن را با مفهومي ساده تر از آن تعريف كرد. اين كه بگوييم:

‏به هر دسته از ‏شيرها‏ يا به هر گروه از چند شيء مجموعه مي گويند.

‏تعريفي از مجموعه نكرده ‏ا‏يم‏. "دسته"، "گروه"، و "چند" خود واژه هاي ديگري براي مجموعه هستند و از اين رو براي فهم مفهومي كه اين واژه ‏ها‏ي بيان مي كنند، بايد از پيش مفهوم مجموعه را دانسته باشيم. اين گونه مفهومها را كه از تعريف مي‌گريزند تعريف

‏طرح ابتداي بودن منطق بول و كاربر‏د‏ ‏آن‏

3

‏ما‏ ‏پذير

[5]‏ مي نامند. مجموعه يكي از تعريف نا ‏پذيري هاي نظريه مجموعه ‏هلست.

‏مجموعه اي از چند شيء را با قراردادن نام آن چند شيء در داخل ابرو نشان مي دهيم. براي مثال:

‏{حسن، سيب، ايران،2}

‏مجموعه اي ست با چهار عضو:

[6]‏ حسن، سيب، ايران و 2. مجموعه هاي كه شماره عضوهاي آنها بينهايت يا نامعلوم باشد هميشه نمي توان آنها را به روش بالا نشان داد. عضوهاي چنين مجموعه ‏هاي‏ اغلب در صفتي يا صفتهايي همانند ‏نده‏. براي مثال :

‏{000000، 8، 6، 4، 2}

‏ مجموعه عددهايي‌ست كه همه زوج هستند. ‏از اي‏ن رو، اين مجموعه را با مفهوم "عدد زوج" مي نمايانيم و مجموعه عددهاي زوج را بنا به قرارداد با يك منحني بسته بيشتر دايره نمايش مي دهيم:

‏هر نقطه اي از اين دايره نماينده عددي است زوج و هر عدد زوج عضوي است از اين مجموعه.

‏ در بنياد، هر واژه اي كه مفهومي را برساند- مفهوم- واژه

[7]-‏ مجموعه اي را مي نماياند كه عضوهاي آن در آن مفهوم همانندند. براي مثال هر كدام از مفهوم-‏ واژه هاي

‏انسان، حيوان، زن دار، تهران، ايران و ...

‏نماينده مجموعه اي هستند. اين مجموعه را مصداقهاي يا دايرة مصاديق آن مفهوم هم مي نامند.

‏كار ما از اين پس بررسي مفهومها و بستگيهاي آنها با يكديگر است. اما پيش از اين كار، تذكر چند نكته بي فايده نخواهد بود.

‏1) هر مفهوم واژه معنايي]‏ دارد و مصداقي]‏ (يا مصداقهايي) براي مثال مي دانيم كه سه نيمساز ‏هر مثل‏ث در يك نقطه همديگر را قطع مي كنند، هم چنانكه سه ميانه هر مثلث و نقطه اول در هر مثلث همان نقطه دوم است. بنابر اين عبارتهاي

دانلود,مقاله,منطق,بول,و,کاربرد,آن,دانلود

تصاویری از چند صفحه نخست فایل :

توجه فرمایید بدلیل تهیه ی تصویر با نرم افزار های خارجی متن نمایش داده شده در تصاویر ممکن است دارای اشکالاتی در نمایش برخی حروف باشد که در فایل اصلی بدون مشکل است