جزوه ساختمان گسسته رشته مهندسی کامپیوتر

جزوه ساختمان گسسته رشته مهندسی کامپیوتر

توضیحات محصول : کتاب های خلاصه منابع  رشته مهندسی
کامپیوترگرایش هوش مصنوعی برای
آمادگی آزمون دکتری دانشگاه آزاد به همراه مجموعه تست با پاسخنامه تشریحی برای
کنکوریهاتوجه:در پاسخ گویی به سوالات کنکور
علاوه بر بار علمی نیاز به یک مهارت خاص در تست زنی نیز می باشد در فروشگاه

Normal
0

false
false
false

EN-US
X-NONE
FA

/* Style Definitions */
table.MsoNormalTable
{mso-style-name:’Table Normal’;
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:”;
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin-top:0cm;
mso-para-margin-right:0cm;
mso-para-margin-bottom:10.0pt;
mso-para-margin-left:0cm;
line-height:115%;
mso-pagination:widow-orphan;
font-size:11.0pt;
font-family:’Calibri’,’sans-serif’;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;}دانشجویی
بهار سعی شده برای مطالب کتابهای خلاصه منابع تمام رشته ها این موضوع اجراگرد د.
پس مطالب این کتابها طوری برنامه ریزی و تالیف شده که دانشجو هم مطالب کتاب را خوب
یاد می گیرد وهم در تست زنی مهارت کافی پیدا می کند. دانلود جزوه
ساختمان گسسته رشته مهندسی کامپیوتر

فصل اول: حساب گزارهها 
تعریف: در یک استدلال هر یک از عبارات استفاده شده براي
رسیدن به نتیجه را فرض یا مقدم و عبارت آخر را نتیجه یا تالس . مینامیم * یک استدلال زمانی معتبر است که اگر فرضهاي آن درست باشد
نتیجه درست است. 
* جملات یا راست هستند یا دروغ ولی هرگز نمیتوانند هم درست
باشند هم دروغ. چنین جملاتی را گزاره می . نامیم 
قاعده طرد شق ثالث گزارهاي که دروغ نیست، پس راست است و
برعکس. 
گزاره: یک جمله خبري است که یا راست است یا دروغ ولی نه هر
دو. 
قضیه: گزارهاي که راست بودن آن را در یک سیستم ریاضی بتوان
ثابت کرد. 
تشکیل گزارههاي جدید از روي گزارههاي قبلی (حروف پیوندي
مبنا): 
 – حرف پیوندي «و»، «عطف»،
« Ù »: زمانی راست است که هر دو راست باشد.  – حروف پیوندي «یا»، «فصل»،
« Ú »: زمانی راست است که یکی از گزار . هها
راست باشد 
 – نقیض «~»، یا نفی یک گزارهها: ارزش گزاره اول را
نفی . میکند 
 – جدول درستی: روشی براي تجزیه و تحلیل ارزشهاي
گزارهها 
n نکته: در نوشتن جدول درستی اگر گزارهاي مبنا داشته باشیم
2 . ترکیب داریم 
مراحل : ارزیابی 
 -1 داخلیترین پرانتز 
 -2 عمل 
 Ú و Ù عمل 3- 
گزاره راستگو: ارزش درستی گزارههاي مبناي تشکیل دهنده آنها
همواره راست باشد. 
نکته: دو گزاره را به طور منطقی هم ارز گوییم اگر به ازاي
هر ترکیب همسان از ارزش گزارههاي مبناي تشکیل دهنده آنها مقـادیر
درستی داشته باشد. (با گزار ه هاي همارز میتوان گزارههاي
پیچیده را با گزارههاي ساده جایگزین کرد) = p q 
گزاره ( هاي شرطی R p q ): گزاره ي p را مقدم و
q را تالی مینامیم و این گزاره زمانی نادرست است که مقدم
درست ولی تالی
نادرست باشد. 
 p ® q º~ p Ú q º~ q ® Ù ~ p(p ~ q) :قضیه
تعاریف شرطی: 
اگر p آنگاه
q 
 p اگر q
 q اگر p
p شرط کافی براي q . است q شرط لازم براي p . است.مطالب تکمیلی فصل اول 
منطق ریاضی 
منطق: به مجموع ۀ قواعدي که به کمک آنها بتوان اعتبار یک
استدلال را مشخص نمود «منطق» گفته میشود. در منطـق صـحبت
از مطالبی است که درست (True) و یا نادرست (False ) میباشند. در
جبر عادي، متغیرها روي دامنهاي از اعداد تعریـف مـیشـوند
ولی در منطق، متغیرها دامن هشان مجموعۀ
{F,T} میباشد که مخفف کلمات True و False . هستند 
گزاره: جملهاي خبري که بتوان به آن ارزش درست یا نادرست داد
گزاره نامیده میشود. گزارهها معمولاً با حروف بـزرگ انگلیسـی
بجز F,T نشان داده میشوند
و به آنها «گزاره نما» (متغیر گزارهاي) گفته می . شود 
جبر گزارهها 
گزارة ساده: گزارهاي که قابل تجزیه به گزارههاي کوچکتر
نبوده و خود مستقلاً داراي ارزش T یا
F . باشد 
گزارة مرکب: از دو یا چند گزار ة ساده تشکیل میشود که با
«رابطهاي منطقی» با هم ترکیب شد . هاند 
رابط منطقی (لفظ پیوند دهنده): مجموعهاي از عملگرها میباشند
که برخی بر روي یک گزاره عمل میکنند و بعضی بین دو یا
چند گزاره واقع شده و بسته به T یا F بودن هر گزاره، حاصل
T یا F را براي ترکیب بدست
آمده، تعیین می . نمایند . تستهاي فصل اول 
 -1 براي فرمول گزاره اي (P « Q) « (P ÙQ) Ú Ù
(P ~ Q) مجموع مینترم ( ها PDNF) و حاصل ضرب ماکسـترمهـا
(PCNF) چیست؟ 
 ندارد وجود . PCNF و å(o,1,2 3, ) (2 ندارد وجود
. PDNF و Õ(o,1,2 3, ) (1
 Õ(1 3, ) و å(o, )2 (4 å(0,2) ,
=Õ(1 3) (3
 -2 در منطق گزارهها ………. 
1) هر گزاره راستگو (tautology) یک قضیه نیست. 
2) هر قضیه یک گزاره راستگو (tautology) است و بالعکس. 
3) هر قضیه یک گزاره راستگو (tautology) نیست. 
4) در مورد راستگویی یک قضیه چیزي نم . یتوان گفت  -3 فرض کنید {h : p , ®{o 1 یک تابع ارزش باشد. و A گزار هاي باشد که
h(A) =1 . در این صورت: 
A (1 همیشه صادق است. A ~ (2 همیشه صادق نیست. 
A (3 ~ همیشه صادق است. 4 ) نمیتوان چیزي درباره
A ~ . گفت 
 ………. ~ (p ®~ p) گزاره 4- 
1) همیشه صادق است. 2 ) با p . معادل است 3) همیشه کاذب است. 4) با p ~ . معادل است 
 -5 صورت نرمال عطفی (CNF) فرمول (p « q) ~ عبارتست از: ……… . 
 ~ p q Ù (2 ~ ((p ® q) Ù ®(q p)) (1
 (p Ú q) Ù Ú (~ p ~ q) (4 (p ® q) Ù ® (~ p ~ q) (3
 {po o ® p1,p1® p2,p2® ® p3 3 ,p p } ههاي گزار
مجموعه 6- 
1) سازگار نیست. 
2) بستگی به صدق یا کذب ات مهاي p1 و p2 و p3 . دارد 
.3) سازگار است 
4) بستگی به صدق یا کذب اتم p o دارد. 
 -7 علامت [p[x / t یعنی در
فرمول p، در صورت امکان، ترم
t را به جاي متغیـر x جانشـین کنیـد. در ایـن صـورت
 :از عبارتست ($ < x(y x))[y/ x] ‘ < y(y x) (4 ‘ < y(x y) (3 $ < x(x x) (2 $ < x(y
x) (1
  برای
خرید دیگر منابع رشته ها به فروشگاه

Normal
0

false
false
false

EN-US
X-NONE
FA

/* Style Definitions */
table.MsoNormalTable
{mso-style-name:’Table Normal’;
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:”;
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin-top:0cm;
mso-para-margin-right:0cm;
mso-para-margin-bottom:10.0pt;
mso-para-margin-left:0cm;
line-height:115%;
mso-pagination:widow-orphan;
font-size:11.0pt;
font-family:’Calibri’,’sans-serif’;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;}دانشجویی
بهار لینک پایین مراجعه نمایید.     http://stufile.ir/profile/٤٣٩  http://stufile.ir/?ref=439 http://yourpadideh.forushgahfile.com