پاورپوینت ساختمان های گسسته فصل اول پایه های منطق و اثبات

پاورپوینت ساختمان های گسسته فصل اول پایه های منطق و اثبات

پاورپوینت ساختمان های گسسته فصل اول: پایه های منطق و اثبات فرمت فایل: پاورپوینت تعداد اسلاید: 35           مقدمه زمینه هایی که مفاهیم ریاضیات گسسته در آنها به کار گرفته می شود: Formal Languages (computer languages) Compiler Design Data Structures Computability Automata Theory Algorithm Design Relational Database Theory Complexity Theory (counting) Network Protocols Design کتاب درس 1. Discrete Mathematics and Its Applications. K.H. Rosen. 6th edition. Mc Graw Hill 2007 2. ریاضیات گسسته و ترکیبیاتی، رالف پ. گریمالدی، ویرایش سوم، ترجمه: دکتر محمد علی...

پاورپوینت کاربردهای منطق فازی در مدلسازی

پاورپوینت کاربردهای منطق فازی در مدلسازی

پاورپوینت کاربردهای منطق فازی در مدلسازی فرمت فایل: پاورپوینت تعداد اسلاید: 33             فهرست - مقدمه - مجموعه های فازی - عملیات روی مجموعه های فازی - قواعد زبانی - ساختار سیستم فازی - فازی ساز - پایگاه قواعد - موتور استنتاج - نافازی سازی - انواع سیستم های فازی - مثال بیولوژیکی - معرفی - روش کار - جمع آوری داده - ثبت داده - مدل فازی - مدل ARMA - تست مدل - نتایج - منابع...

دانلود پاورپوینت الکترونیک دیجیتال منطق TTL

دانلود پاورپوینت الکترونیک دیجیتال منطق TTL

پاورپوینت الکترونیک دیجیتال منطق TTL فرمت فایل: پاورپوینت تعداد اسلاید:29         بخشی از متن مقدمه منطق TTL با استفاده از ترانزیستورهای دو قطبی ساخته میشود که به عنوان سوئیچ اشباع عمل میکنند. تاخیر ناشی از خارج کردن سوئیچ از حالت اشباع یک عامل مهم در محدود کردن سرعت این منطق است که البته روشهائی برای غلبه بر آن ارائه شده است. امروزه مدارات Schottky TTL بصورت گسترده ای در کاربردهائی که نیاز به ارتباط با سرعت بالا با مدارات بیرونی دارند...

دانلود پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعی)

دانلود پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعی)

پاورپوینت استنتاج در منطق رتبه اول(هوش مصنوعی) فرمت فایل: پاورپوینت تعداد اسلاید:17           بخشی از متن استنتاج در منطق رتبه اول یکسان سازی (Unification ، تابع یکسان سازی است که دو عبارت را به عنوان ورودی دریافت می کند. این تابع، مقدار متغیرهای این دو عبارت را به گونه ای تغییر می دهد که دو عبارت یکسان شوند. خروجی این تابع، یک لیست جایگزینی است. مثال: Unify(knows(maryam, x), knows(y, zahra)) خروجی: Θ = {y/maryam, x/zahra}...