پاورپوینت پاورپوینت ساختمان های گسسته (pptx) 35 اسلاید
دسته بندی : پاورپوینت
نوع فایل : PowerPoint (.pptx) ( قابل ویرایش و آماده پرینت )
تعداد اسلاید: 35 اسلاید
قسمتی از متن PowerPoint (.pptx) :
ساختمان های گسسته
2
مقدمه
زمینه هایی که مفاهیم ریاضیات گسسته در آنها به کار گرفته می شود:
Formal Languages (computer languages)
Compiler Design
Data Structures
Computability
Automata Theory
Algorithm Design
Relational Database Theory
Complexity Theory (counting)
Network Protocols Design
3
کتاب درس
1. Discrete Mathematics and Its Applications. K.H. Rosen. 6th edition. Mc Graw Hill 2007
2. ریاضیات گسسته و ترکیبیاتی، رالف پ. گریمالدی، ویرایش سوم، ترجمه: دکتر محمد علی رضوانی و دکتر بیژن شمس، انتشارات فاطمی (در چهار جلد)
4
بارمبندی درس
5
زمان امتحانات
امتحانات در ساعات غیر کلاس خواهد بود.
سرفصلهای امتحان ممکن است بر اساس میزان پیشروی برنامه تدریس تغییر کند اما تاریخ برگزاری تا حد امکان امتحان تغییر نخواهد کرد.
میان ترم 1 (فصلهای 1،2، 4 ) – 90/01/00
میان ترم 2 (فصلهای 5،8،9 ) – 90/02/00
پایان ترم (فصلهای 10،11،12و7)
ساختمان های گسسته فصل اول: پایه های منطق و اثبات بخش 1.1 منطق گزاره ای (Propositional Logic)
7
گزاره ها (Propositions)
جزء سازنده منطق می باشند
جملاتی (خبری) هستند که یا راست اند یا دروغ و نمی توانند نه راست باشند و نه دورغ و یا هر دو با هم
مانند:
تهران پایتخت ایران است (یک جمله راست یا true) (1 یا T)
1+1=3 (یک جمله دروغ یا false) (0 یا F)
یک متغیر که برای بیان یک گزاره به کار می رود را متغیر گزاره ای (propositional variable) یا متغیر جمله ای (statement variable) می نامند.
با کلمات کوچک نمایش داده شده (مانند p، q، r) و می تواند T یا F باشد.
8
حساب گزاره ای (Propositional Calculus)
مجموعه اعمال و عملگرهایی که می توان در حوزه منطق داشت را حساب گزاره ای و یا همان منطق گزاره ای می نامند.
این مباحث برای اولین بار توسط فیلسوفی یونانی به نام ارسطو (Aristotle) به صورت سیستماتیک مطرح گردید.
شامل تعدادی عملگر یگانی (Unary) و دوگانی (Binary) می شود
9
عملگر نقیض (negation)
این عملکر برای بیان نقیض (not) یک متغیر گزاره ای و یا نقیض یک گزاره به کار می رود
با فرض اینکه p یک متغیر گزاره ای باشد نقیض p را به صورت زیر نمایش می دهیم
p ، ~p یا p
جدول ارزش برای عملگر not