دانلود تحقیق- مقاله-پروژه-کارآموزی

مرجع کامل خرید و دانلود گزارش کار آموزی ، گزارشکار آزمایشگاه ، مقاله ، پروژه و پایان نامه های کلیه رشته های دانشگاهی

دانلود تحقیق- مقاله-پروژه-کارآموزی

مرجع کامل خرید و دانلود گزارش کار آموزی ، گزارشکار آزمایشگاه ، مقاله ، پروژه و پایان نامه های کلیه رشته های دانشگاهی

فشرده سازی اطلاعات (DATA COMPRESSION )

فشرده سازی اطلاعات (DATA COMPRESSION )

فشرده سازی اطلاعات (DATA COMPRESSION )

دسته بندیریاضی
فرمت فایلdoc
حجم فایل32 کیلو بایت
تعداد صفحات18
برای دانلود فایل روی دکمه زیر کلیک کنید
دریافت فایل

فشرده سازی اطلاعات (DATA COMPRESSION )


در این روش ذخیره اطلاعات به شکلی است که فضای کمتری را اشغال کند. این عملکرد در ارتباطات بسیار مهم است ، چرا که این امکان را به تجهیزات می دهد تا همان مقدار اطلاعات را با bit کمتری ذخیره یا منتقل کنند. تکنیک های مختلفی برای انجام اینکار وجود دارد اما تنها چند مورد از آنها استاندارد هستند. CCITT یک تکنیک فشرده سازی اطلاعات برای انتقال فاکس ها استاندارد( Group 3 ) و یک استاندارد فشرده سازی برای تبادل اطلاعات از طریق مودم ها ( CCITT V.42 bis) تعریف نموده است. علاوه براین ، انواع فشرده سازی فایل از قبیل ARC و ZIP نیز وجود دارد. فشرده سازی اطلاعات بطور گسترده ای در برنامه های ایجاد نسخة پشتیبان ، برنامه های صفحه گسترده و سیستم های مدیریت بانک اطلاعاتی نیز استفاده می شود. انواع مختلفی از اطلاعات نظیر تصاویر bit-map را می توان به سایزهای کوچکتر فشرده کرد

Protocol
شکل پذیرفته شده ای برای تبادل ارتباطات میان دو دستگاه است. پروتکل موارد زیر را تعریف می کند :
• روش مورد استفاده برای کنترل خطا
• شیوه فشرده سازی اطلاعات ، درصورت وجود
• شیوة اعلام و نمایش ارسال پیام توسط دستگاه فرستنده
• شیوة اعلام و نمایش دریافت پیام توسط دستگاه گیرنده
برنامه نویسان می توانند انواع مختلفی از پروتکل های استاندارد را انتخاب کنند. هریک از آنها دارای مزایا و معایب مخصوص به خود است ؛ مثلاً برخی از آنها ساده تر ، برخی قابل اطمینان تر و برخی سریعتر هستند. از نقطه نظر کاربر ، تنها جنبه جالب پروتکل ها ، قابلیت برقراری ارتباط کامپیوترشان با سایر کامپیوترها است. پروتکل را می توان در سخت افزار یا نرم افزار بکار برد.
CCITT
خلاصه نام موسسه Comite Consultatif International Telephonique et Telegraphique می باشد که استانداردهای ارتباطی بین المللی را تنظیم می کند. CCITT اکنون بعنوان ITU شناخته شده و استانداردهای مهمی را برای تبادل اطلاعات تعریف کرده است :
• Group 3 : پروتکل جهانی برای ارسال اسناد فاکس از طریق خطوط تلفن است. پروتـــــــکل Group 3 CCITT T.4 را برای فشرده سازی اطلاعات و حداکثر میزان انتقال ( baud9600 ) را مشخص کرده است. دو درجه وضوح تصویر وجود دارد: 203 x 98 و 203 x 196
• Group 4: پروتکلی برای ارسال اسناد فاکس از طریق شبکه های ISDN است. این گروه 400 پروتکل را پشتیبانی می کند که شامل تصاویر با وضوح بیش از dpi 400 می شوند
STAND-ALONE
به دستگاههایی اطلاق می شود که به تنهایی کارکرده و نیاز به تجهیزات دیگر ندارند. مثلاً دستگاه فاکس از این دسته است ؛ چرا که برای کارکردن نیاز ، به کامپیوتر ، چاپگر ، مودم یا سایر تجهیزات ندارد. به همین دلیل نیز چاپگرها STAND-ALONE محسوب نمی شوند چراکه برای فعالیت و تغذیه اطلاعات نیاز به کامپیوتر دارند.
تا آخر سال 2000، یعنی درست 4 سال پس از عرضه دی.وی.دی، مصرف‌کنندگان، 14 میلیون دستگاه پخش خریده و آن را به پرفروش‌ترین دستگاه الکترونیکی خانگی تبدیل کرده بودند.
امروزه با پیشرفت روزافزون فناوری در دستگاه‌های الکترونیکی خانگی بخصوص دی.وی.دی، این دستگاه مجهزتر می‌شود و روزبه‌روز کاربرد آن رو به افزایش است. مدیر مرکز تحقیقات و توسعه شرکت صنایع نماالکترونیک پیام با اشاره به مطلب فوق افزود: هم‌اکنون دی.وی.دی‌های موجود در بازار دارای امکانات متداول هستند.
در حال حاضر این شرکت سعی نموده است. دی.وی.دی‌ را بامشخصات بهتر و امکانات بیشتر در اختیار مصرف‌کنندگان قرار دهد. این دی.وی‌.دی در دو مدل DV-3500 و DV-3131 می‌باشد که فقط از لحاظ ظاهر متفاوت و از لحاظ عملکرد شبیه به هم هستند. این دستگاه مجهز به خروجی VGA برای اتصال به مانیتور برای دریافت تصاویر بهتر است و مجهز به مدار Progresive Scan که روش مدرنی است برای بدست آوردن تصویر مطلوب و با کیفیت، بدین معنا که برخلاف Interlace Scan که اسکن معمولی تصویر است این مدار بصورت اسکن متوالی تصویر برای وضوح بیشتر بکار می‌رود.
همچنین این دستگاه مجهز به قفل ایمنی دیسک‌های درجه‌بندی شده‌است. همچنین قابلیت کارائوکه(حذف صدای خواننده از روی موسیقی) و ورودی میکروفن و قابلیت پخش دیسک‌های عکس و اسلاید با فرمت‌های CD/JPEG Kodak Picture را دارد.
از ویژگی‌های دیگر این دستگاه می‌توان به حافظه روی دیسک Marking یا علامت‌گذاری دی.وی.دی و تبدیل سیستم NTSC به پال برای تلویزیون‌هایی که قابلیت پخش سیستم NTSC را ندارد، اشاره نمود.
همچنین این دی.وی.دی دارای استانداردهای ایمنی و کیفیت از قبیل Class 1 (‌اشعه لیزر مورد استفاده در این دستگاه نوع ضعیف شده است و در نتیجه خطر تشعشع به بیرون دستگاه وجود ندارد) و دارای نشان CEاست،که نشان‌دهنده انطباق این دستگاه با استانداردهای کشورهای اروپایی می‌باشد.
با تنظیم اکولایزر این دستگاه صدای موسیقی Rock-pop-live-Dance-Techno-Classic-Soft را می‌توان انتخاب کرد و هنگام اجرای دیسک‌ها حالت مربوط به پخش صدای محیطی را انتخاب نمود.
درپایان برای آشنایی بیشتر خوانندگان با دستگاه دی.وی.دی توضیحی مختصر آمده است:
DVDکه نام کوتاه و متداول دیسک ویدئویی دیجیتال Digital Video Disc و یا دیسک چندمنظوره دیجیتال Digital Versatile Disc می‌باشد نسل جدید تکنولوژی ذخیره اطلاعات بر روی دیسک نوری بوده و این تکنولوژی قابلیت ذخیره یک فیلم سینمایی بر روی دیسک با کیفیت بالا و صدای عالی و یا ذخیره حجم اطلاعات کامپیوتری بیشتر از CD معمولی را دارد.

بی نظمی (chotic)

بی نظمی (chotic)

بی نظمی (chotic)

دسته بندیریاضی
فرمت فایلdoc
حجم فایل241 کیلو بایت
تعداد صفحات13
برای دانلود فایل روی دکمه زیر کلیک کنید
دریافت فایل

بی نظمی (chotic)

بی نظمی را با اتفاقی بودن اشتباه نگیرید :

ویژگی های موضوعات اتفاقی :
1-تجدیدنشدنی و غیرقابل تولید دوباره
2-غیرقابل پیشگویی

ویژگیهای سیستم های بی نظم :
1-بی‌اختیار بودن (مثل حالتهایی که به همان حالتهای نهایی BUT منجر می شود و حالت نهایی برای تغییرات کوچک که با حالت نخستین بسیار متفاوت است)
2-بسیار مشکل یا غیرممکن بودن برای پیشگویی کردن
مطالعه سیستم های بی نظم اکنون یکی از رشته های موردتوجه و محبوب فیزیک است که در این زمینه تا قبل از اینکه کامپیوتر بتواند پاسخگوی مشکلات باشد اطلاعات کمی وجود داشت .
بی نظمی در خیلی از سیستم های فیزیکی دیده می شود برای مثال :
1-دینامیک سیالات (هواشناسی)
2-بعضی واکنشهای شیمیایی
3-لیزرها
4-ماشینهایی که می تواند با سرعت بالا ذره های ابتدایی را بسازد (شتابدهنده ها)

شرایط لازم و ضروری برای سیستم های بی نظم :
1-این سیستم ها دارای 3 متغیر مستقل دینامیکی اند
2-معادلات حرکت یا مسیر حرکت که غیرخطی می باشند
از معادلات یک آونگ که دارای حرکت میرا می باشد برای شرح دادن و ثابت کردن طرحهای بی نظمی استفاده می شود که دارای معادلات حرکت به صورت

می باشد . ما بجای این از یک شکل بدون بعد با معادله

استفاده می کنیم .
متغیرهای دینامیکی در معادله بالا عبارتند از t و و و دوره غیرطولی .
ما قبلاً دیدیم که آونگ فقط برای نمادهای q و و بی نظم است که از این موضوع در مثالهای زیر استفاده می کنیم .
برای مشاهده آغاز بی نظمی (وقتی که کاهش یافته) به مسیر حرکت سیستم در مرحله ای از فضا و فاصله گرفتن ذرات از هم توجه می کنیم که یکدفعه به صورت زودگذر محو می شوند . توجه کنید دوره دو برابر یا مضاعف بدست آمده قبل از آغاز بی نظمی ها است .
حالت منحنی های فضایی که دیدیم دومین مرحله از تمام سه مرحله‌ی حالتهای فضایی است که به طور کامل آونگ را توصیف می کند . این طرح ها جزئیات پیچیده سطح بی نظم آونگ را پنهان می کنند .
قسمت PoinCare قسمتی از سومین مرحله فضایی در یک قاعده ثابت است . این ها آنالوگهایی برای دیدن پیشرفت حالت فضایی حالت آونگ می باشد که یک قسمتی از یک دوره با نیروی محرک می باشد . تناوب مسیر حرکت در یک مرحله انجام می شود و تناوب مضاعف شدن نیرو و نیز در 2 مرحله انجام می شود .
Attractors : سطوحی که آونگ در حالت حرکت در فضا از آن پیروی می کند و بعد از مسیر زودگذر ضعیف می شود .
یک Attractors در یک آونگ ثابت (بدون بعد حرکت) دارای یک نکته خاصی می‌باشد که می باشد . یک Attractors تناوب آونگ یک خط منحنی می‌باشد که در اولین مرحله و سومین مرحله در فضای حرکت می باشد)
Attractor بی نظم گاهی Attractor قوی نامیده می شود که در این حالت اندازه ها بین 2 تا 3 می باشد ( ) .
اندازه و گنجایش یک مربع و خط

به عنوان مثال دستگاه Cantor تشکیل شده توسط پردازش interactive اندازه کسری یک Attractor بی نظم به دلیل حساسیت زیاد آن از حالتهای نخستین می باشد .
توانها Lyapunov اندازه گیری هستند از میزان متوسط واگرایی nigh bouring مسیر گلوله در یک Attractor بدست می آید .

الگوریتم STR کلی (تعمیم یافته)

الگوریتم STR کلی (تعمیم یافته)

الگوریتم STR کلی (تعمیم یافته)

دسته بندیریاضی
فرمت فایلdoc
حجم فایل176 کیلو بایت
تعداد صفحات25
برای دانلود فایل روی دکمه زیر کلیک کنید
دریافت فایل

الگوریتم STR کلی (تعمیم یافته)

داده ها: پارامتر d مرتبه رگولاتور یعنی درجه R* ، و درجه S* را بدانیم. چند مجموعه ای روبتگر Ao* به جای چند جمله ای C* که نامعلوم است (تقریب C*)
چند جمله ایهای پایدار P* و Q*
سیگنالهای فیلتر شده زیر بایستی معرفی شوند:

گام 1 : تخمین ضرایب R* و S* بروش LS:

( C* : note)
گام 2 : سیگنال کنترل را از روی محاسبه می کنیم
تکرار گامهای فوق در هر پریود نمونه برداری
در صورت همگرایی تخمین : S* و R* گام بعدی با قبلی برابر است)

=

ویا:
فرم کلی در صورت عدم حذف همه صفرهای فرآیند
اتحاد (2) به شکل زیر نوشته می شود:
C*Q*=A*P*R'*+q-dB-*S* R'* از این رابطه بدست می آید.
و سیگنال کنترل می شود:

کنترل فید فوردوارد (پیشخور) – STR (دانستن دینامیک فرایند لازم است)کنترل پیشخور برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود
مثالهایی از اغتشاش قابل اندازه گیری (معلوم): درجه حرارت و غلظت در فرایندهای شیمیایی درجه حرارت خارجی در کنترل آب و هوا – ضخامت کاغذ در سیستمهای milling machinc
مدل فرضی :
چند جمله ایهای ، S* و T* بایستی تخمین زده شوند و آنگاه:

مثال : تاثیر فیلتر کردن (همان فرایند مثالهای قبل را در نظر بگیرید) {رفتار الگوریتم تصمیم یافته توضیح داده می شود}
Y(t)+ay(t-1)=bu(t-1)+e(t)+ce(t-1)
مقادیر واقعی پارامتر : a = -0.9 b=3 c=-0.3
فیلترها را بصورت زیر در نظر بگیرید

اتحاد: C * Q*=A*P*R'*+q-dB-*S*
در این مثال : از مدل فرآیند داریم
اتحاد

قانون کنترل:
R*P*=R'*P*B+*


فیلتر باید پیش فاز باشد که در نتیجه سیستم حلقه بسته بصورت پایین گذر فیلتر خواهد شد.
سئوال P1 و q1 را چگونه انتخاب کنیم؟
جواب: یک روش انتخاب بررسی اثر آنها بر روی واریانس y و u است. فرض کنید e(t) دارای واریانس 1 است.


حالت (a): no filtering P"q1=0


این حالت همان وضعیت کنترل حداقل واریانس است بدون هیچگونه فیلتر کردن .
حالت q1=-0.3 p1=0(b)

سه مبدا

الگوریتم STR کلی( تعمیم یافته):
داده ها: پارامترd، مرتبه رگولاتور یعنی درجه و درجه را بدانیم. چند جمله ای رویتگر ( بجای چند جمله ای که نامعلق است
( تقریب ) و چند جمله ای پایدار و سیگنالهای فیلترشده زیر بایستی معرفی شوند:
و
گام 1: تخمین ضرایب و به روش LS:

) Note: )
گام 2: سیگنال کنترل را از روی محاسبه می کنیم.
تکرار گامهای فوق در هر پریود نمونه برداری:
( گام بعدی با قبلی برابر است)
در صورت همگرایی تخمین:



و یا
فرم کلی در صورت عدم حذف همه صفرهای فرآیند اتحاد(2) به شکل زیر نوشته می شود: از این رابطه بدست می آید:
و سیگنال کنتر ل می شود ( مثال در پائین آمده نحوه انتخاب P Q فیلتر ) کنترل فیدفور وارد( پیشخور)STR-( دانستن دینامیک فرآیند لازم است)
کنترل پیشخوری برای کاهش یا حذف اغتشاش معلوم بکار می رود. خود سیگنال فرمان می تواند برای STR ، یک اغتشاش معلوم فرض شود.
( مثالهایی از اغتشاش قابل اندازه گیری(معلوم): در جه حرارت و غلظت در فرآیندهای شیمیایی در جه حرارت خارجی در کنترل آب و هوا- مشخصات کاغذ در سیستمهایmilling machine ).
مدل فرضی:
اغتشاش معلوم
چند جمله ایهای و و بایستی تخمین زده شود و آنگاه:

مثال: تأثیر فیلتر کردن( همان فرآیندهای مثالهای قبل را در نظر بگیرید) (رفتار الگوریتم تعمیم یافته توضیح داده می شود.)

مقادیر پارامتر: ، ،

ایده آل های خطی به ترتیب کوهن-مکوالی

ایده آل های خطی به ترتیب کوهن-مکوالی

ایده آل های خطی به ترتیب کوهن-مکوالی

دسته بندیریاضی
فرمت فایلdoc
حجم فایل111 کیلو بایت
تعداد صفحات22
برای دانلود فایل روی دکمه زیر کلیک کنید
دریافت فایل

ایده آل های خطی به ترتیب کوهن-مکوالی

چکیده- G را یک نمودار غیرمستقیم ساده n راسی در نظر بگیرید و بگذارید برایده آل خطی مرتبطش دلالت کند. مانشان می دهیم که تمام نمودارهای و تری G ، به ترتیب کوهن- مکوالی هستند ، دلیل ما بر پایه نشان دادن این است که دوگانه الکساندر I(G) ،خطی و ازمولفه است.
نتیجه ما فرضیه فریدی را که می گوید ایده آل درخت ساده شده به ترتیب کوهن- مکوالی، هرزوگ، هیبی، می باشد، وفرضیه ژنگ که می گوید یک نمودار وتری کوهن-مکوالی است اگر و تنها اگر ایده آل خطی اش در هم ریخته نباشد، را تکمیل می کند. ما همچنین ویژگی های دایره های مرتب کوهن- مکوالی را بیان می کنیم و نمونه‌هایی از گراف های مرتب غیروتری کوهن- مکوالی را هم ارائه می کنیم.

1-مقدمه
G را یک گراف ساده n راسی در نظر بگیرید پس G هیچ حلقه یا خطوط چندگانه ای پهن دو راس ندارد.) رئوس ومجموعه های خطی G توسط EG VG را به ترتیب نشان دهید. ما ایده آل تک جمله ای غیر مربع چهارگانه با K که یک میزان است و جایی که را به G ارتباط می دهیم.ایده ال ایده آل خطی Gنامیده می شود.
توجه اولیه این مقاله ایده آل های خطی گراف های وتری است. یک گراف G وتری است اگر هر دایره طول یک وتر داشته باشد. اینجا اگر ،خطوط یک دایره طول n باشند، ما می گوییم که دایره وری یک وتر دارد اگر دو راس xj xi در دایره به نحوی وجود داشته باشند که یک خط برای G باشند اما خطی در دایره نباشد.
ما می گوییم که یگ گراف G کوهن –مکوالی است اگر کوهن-مکوالی باشد. چنانکه هرزوگ، هیبی و ژنگ اشاره می کنند، طبقه بندی تمام گراف های کوهن-مکوالی شاید اکنون قابل کشیدن نباشند، این مسئله به سختی طبقه بندی کردن تمام مجموعه های ساده شده کوهن-مکوالی است.]9[.البته هرزوگ، هیبی و ژنگ در ]9[ ثابت کردند که وقتی G یک گراف وتری باشد،پس G در هر میدانی کوهن-مکوالی است اگر وفقط اگر به هم نریخته باشد.
ویژگی کوهن –مکوالی به ترتیب بودن، که شرایطی است ضعیف تر از کوهن-مکوالی بودن، توسط استنلی ]14[ در ارتباط با تئوری قابلیت جدا شدن غیرخالص معرفی شد.
تعریف 1-1- را در نظر بگیرید. یک M معیار B درجه دار کوهن –مکوالی به ترتیب نامیده می شود اگر یک تصفیه معین از معیارهای R درجه بندی وجود داشته باشد.


به نحوی که کوهن –مکوالی باشد، و ابعاد کرول خارج قسمت در حال افزایش باشند:


ما میگوییم یک گراف G کوهن-مکوالی به ترتیب است و در K اگر کوهن-مکوالی به ترتیب باشد. ما می توانیم به نتیجه هرزوگ، هیبی و ژنگ بر سیم البته با استفاده از این تضعیف شرایط کوهن-مکوالی. نتیجه اصلی ما فرضیه زیر است (که مستقل از خاصیت (K) است.
فرضیه 2-1 فرضیه 2-3.تمام گراف های وتری کوهن-مکوالی به ترتیب هستند.
بنابراین حتی گراف های وتری که ایده آل های خطی نشان در هم نریخته نیستند نیز هنوز یک ویژگی جبری را دارا هستند.فرضیه 2-3 همچنین حالت یک بعدی کار فردی در توده های ساده شده ]3[ را نیز عمومیت می بخشد.
مقاله ما به صورت زیر سازمان می یابد. در قسمت بعدی ، ما نتایجی از این ادبیات درباره دوگانگی الکساندر ودرباره گراف های وتری جمع می کنیم. در بخش 3،فرضیه 2.3 را ثابت می کنیم.
ما برخی از گراف های غیروتری در قسمت 4 را که دایره های کوهن-مکوالی را به ترتیب طبقه بندی می کنند بررسی می کنیم و در مورد برخی ازویژگی های گراف‌های شامل دایره های –n برای n>3 تحقیق می کنیم.
همچنین شرایط کافی را برای گرافی که نمی تواند کوهن-مکوالی به ترتیب باشد ،ارائه می کنیم.
2-اجزا مورد نیاز
درطول این مقاله، G بر یک گراف ساده روی رئوس n با مجموعه نقطه ای VG ومجموعه خطی EG دلالت می کند. ایده آل خطی ،جایی که را به G مربوط می سازیم.
گراف کامل در رئوس n که بر Kn دلالت شده است،گرافی است با مجموعه خطی ، یعنی گراف این ویژگی را دارد که خطی بین هر جفت رئوس وجود دارد. اگر x نقطه ای در G باشد باید بنویسیم N(x) که بر همسایه‌های x دلالت کند،یعنی آن رئوسی که خطی را با x شریکند. ما ابتدا باید به حالتی توجه کنیم که G یک گرافی وتری است.گراف های وتری ویژگی زیر را دارند:
لم 21- G [6 7 12 15] را یک گراف وتری در نظر بگیرید، x را یک زیر نمودار کامل از G در نظر بگیرید.اگر ،پس نقطه ای به نام وجود داردکه زیرگراف به وجود آمده توسط مجموعه همسایه مربوط به x، یک گراف کامل باشد. این امر همچنین زیر نمودار به وجود آمده در را وادار می کند که یک زیر گراف کامل باشد.
یک پوشش راس گراف G یک زیر مجموعه از VG است به نحوی که هر خط G حداقل به یک راس A برخوردار داشته باشد. توجه کنیدکه ما هیچ وقت به داشتن یک راس مجزا در پوشش راس نیاز نداریم.
مثلا ، اگر ما گرافی در سه راس داشته باشیم و تنها خط موجود باشد، پس هر دو پوشش های راس هستند. پوشش های راس یک گراف G به دو گانه الکساندر مربوطند.
تعریف 2-2- I را یک ایده آل تک جمله ای غیرمربع در نظر بگیرید. دوگانه الکساندر غیرمربع ایده آل
است.

پس نتیجه ساده ای گرفته می شود:
لم 3-2- G را یک گراف ساده با ایده آل خطی در نظر بگیرید.پس

یک پوشش راس برای G است.

یک تجزیه درجه بندی شده آزاد حداقل به هر ایده آل همگون I از R مرتبط است.

که در آن R(j) بر معیار R به دست آمده از تغییر درجات R توسط j دلالت می کند.

تحقیق آشنایی با ریاضیات

تحقیق آشنایی با ریاضیات

تحقیق آشنایی با ریاضیات

دسته بندیریاضی
فرمت فایلdoc
حجم فایل94 کیلو بایت
تعداد صفحات23
برای دانلود فایل روی دکمه زیر کلیک کنید
دریافت فایل

آشنایی با ریاضیات

مقدمه: آشنایی با ساختمان منطقی جمله هایی که مطالب ریاضی بوسیله آنها بیان می شوند مستلزم مفاهیم گزاره، گزاره نما، و اسم نماست. این مفاهیم که بخشی از منطق ریاضی مقدماتی محسوب می شوند می توانند مفاهیم و احکام ریاضی را قابل فهم و قابل توضیح نمایند. در عصر حاضر ایفای نقش منطق ریاضی در توجیه و قابل انتقال نمودن مفاهیم در پیشرفت و تکامل کامپیوتر بر هیچکس پوشیده نیست.
2.1 حساب گزاره ها
1.2.1 تعریف: گزاره جمله ای خبری است که یا راست است یا دروغ اگرچه راست یا دروغ بودن آن معلوم نباشد.
برای هر گزاره یک ارزش راستی یا دروغی یا مختصراً یک ارزش قائل می شویم. مثلاً هر یک از جملات«عدد 3 فرد است»،«عدد 6 زوج است» و« اصم است» گزاره هستند. هر یک از گزاره های اول و دوم راست هستند ولی راست یا دروغ بودن گزاره سوم یا مقدمات کنونی، برایمان معلوم نیست ولی در هر حال یا راست است یا دروغ.گزاره ها بطورکلی به سه دسته تقسیم می شوند: گزاره شخصی، گزاره کلی و گزاره جزئی( یا وجودی) نوع اول گزاره ای است که از شیء معینی خبر می دهد. و در این بخش مورد بحث ماست. نوع دوم و سوم را در بخش آینده تعریف و بررسی خواهیم کرد.
از ترکیب گزاره ها گزاره های مرکب حاصل می شود این عمل با رابطهای گزاره ای امکان پذیر است.
2.2.1 رابطهای گزاره ای: گزارها را با حروف p ، q ،v ،s و یا با حرف اندیس دار نظیر ، ،... نشان می دهیم و هر نوع ترکیبی از آنها با الفاظ زیر که رابطهای گزاره ای نامیده می شوند امکان پذیر است.
«چنین نیست که»،«و»،«یا»،« اگر»،« اگر و فقط اگر»
علایم ~ ، &، ، ( یا )، ( یا ) نیز به ترتیب برای این رابط ها بکار خواهند رفت. اینک به توضیح آنها می پردازیم:
3.2.1 نقیض: اگر Pگزاره ای باشد«چنین نیست کهP» را نقیض P می گوییم و با علامت ~P نشان میدهیم. علامت ~ را ناقص و گزاره ای را که ناقص در آن عمل می کند دامنة عمل ناقص می نامیم. پیداست که اگر گزاره ای راست(دروغ) باشد نقیض آن دورغ( راست) است.
بعنوان مثال نقیض گزاره«6 عدد اول است» گزارة«چنین نیست که 6عدد اول است.» و گزاره«6 عدد اول نیست» خواهد بود.
4.2.1 ترکیب عطفی: اگر pو q دو گزاره باشد گزاره«p q » را ترکیب عطفی p با q می گوییم و با علامت نشان میدهیم. علامت& را عاطف و p وq را مؤلفه های
عاطف نامیم. ترکیب عطفی فقط و فقط وقتی راست است که هر دو مؤلفه آن گزاره های راستی باشند.
از الفاظی که از نظر منطقی مترادف عاطف است لفظ« ولی= اما» است مثلاً گزاره«6 زوج است ولی اول نیست» به معنی« 6 زوج است و 6اول نیست» خواهد بود که البته گزاره ای راست است.
5.2.1 ترکیب فصلی: اگرp وq دو گزاره باشند گزارة«p یاq » را ترکیب فصلی p با q نامیده به علامت p v q نشان میدهیم. این گزاره فقط و فقط وقتی دروغ است که هردو مؤلفه آن دروغ باشند. توجه کافی به تفاوت این« یا» که یاء منطقی نامیده می شود با لفظ عادی« یا» که در استعمال عادی برای ترکیب گزاره ها بکار میرود مبذول دارید. در استعمال عادی لفظ«یا» گزارة ترکیب شده فقط وفقط وقتی راست است که یکی از مؤلفه ها راست و دیگری دروغ باشد این نوع«یا» را یاء مانع جمع می نامیم.
در منطق لفظ«یا» همواره به معنی منطقی بکار می رود و «یای» مانع جمع را با تکرار لفظ«یا» و نیز با لفظ« الا» مشخص می کنند. مثلاً گزاره های
« یا 5 فرد یا 5ز وج است»
« 5 فرد است والا زوج است»
به یک معنی هستند که مشخص کننده یای مانع جمع است.
6.2.1 ترکیب شرطی: اگر p و q دو گزاره باشند گزارة« اگر p آنگاه q » را ترکیب شرطی p باq می نامیم و آنرا به علامت ( یا ) نشان می دهیم.
در اینجا مؤلفه p مقدم و مؤلفه q تالی گفته می شود . ترکیب شرطی فقط وقتی دروغ است که pگزارة راست و q گزارة دروغ می باشد.
تذکر1: ارزشهای گزارة عطفی و گزاره از ترتیب مؤلفه ها مستقل است ولی ارزش گزارة شرطی چنین نیست، یعنی ممکن است راست ولی دروغ باشد و یا بالعکس دروغ و راست باشد
تذکر 2: بیان ترکیب شرطی« اگر p آنگاه q » در ریاضیات و نیز در زبان عادی به صورت های متنوعی امکان پذیر است که عبارتند از:
اگر p ، q ؛
هرگاه p آنگاه q ؛
در حالتی که p ، q ؛
q اگر p ،
q به شرطی p ؛
P و فقط وقتی که q ؛
P شرط کافی برای q است؛
q شرط لازم برای p است ؛
شرط کافی برای q آن است که p ؛
شرط لازم برای p آن است که q ؛
P مستلزم q است؛
q از p لازم می آید؛
.
7.2.1 ترکیب دو شرطی : گزارة
« اگر p آنگاه q و اگر q آنگاه p » (1)
ترکیب عطفی دو گزارة شرطی و است که می توان آن را به صورت زیر
نوشت: