
حجم فایل : 864.7 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 227
بنام خدا نظریه زبانها و ماشینها شناسنامه منبع عنوان منبع: نظریه زبانها و ماشینها
مترجم: مهندس سید حجت الله جلیلی
انتشارات: پژوهشهای فرهنگی(1380)
منبع اصلي:
Languages & machines
Written By: Thomas A.Sudkamp جايگاه درس در رشته کامپيوتر ضرورت اين درس:
ضرورت نياز به زبانهای سطح بالا
ضرورت ترجمه برنامه های نوشته شده با زبان سطح بالا به برنامه به زبان ماشين
تنوع زبانهای برنامه نويسی سطح بالا
دروس پيش نياز:
نوع درس:
تعدادکل ساعات تدريس:
تعداد جلسات تدريس: فصل اول: ریاضیات مقدماتی اهداف رفتاري:
دانشجو پس از مطالعه اين فصل با مفاهيم زير آشنا خواهد شد:
مفاهیم نمادگذاری و مفهوم تابع
نظریه مجموعه ها
مفهوم استقراء ریاضی
گراف و انواع آن 1-1 نمادگذاری نماد ┌x┐: اشاره به کوچکترین عدد صحیح بزرگتر یا مساوی عدد حقیقی x دارد. ┌-3.7┐=-3
┌4.5┐= 5
نماد ┌x┐ را جزء صحیح بالای x می نامیم.
نماد └x┘: اشاره به بزرگترین عدد صحیح کوچکتر یا مساوی عدد حقیقی x دارد. └-3.7┘=-4
└4.5┘= 4
نماد └x┘ را جزء صحیح پایین x می نامیم. 1-2 توابع تابع f: تشکیل شده از یک متغیر با قاعده و قانون می باشد که به ازاء یک مقدار x ، مقدار منحصر به فردی را به f(x) نسبت می دهد. نمودار یک تابع: مجموعه ای است از کلیه زوجهای مرتب که بوسیله تابع تعیین می شوند. دامنه یک تابع: مجموعه مقادیری است که تابع به ازاء آنها تعریف می شود 1-2 توابع تابع جامع: تابعی که از XبهY یک رابطه دودویی روی X*Y را داراست. تابع جزئی: رابطه بین X*Yاست وقتی که
єf [x,y2]و єf [x,y1] تابع یک به یک: تابعی که در آن هر عنصر xبه یک عنصر مجزا در برد تصویر شود. 1-3 نظریه مجموعه ها نمادهای مجموعه : نماد є به معنای عضویت است. بطوریکه x є X مشخص می کند که x یک عضو یا عنصر مجموعه Xاست. از دو براکت{ } برای تعریف یک مجموعه استفاده می شود.
X= { 1,2,3 } مجموعه هایی که تعداد زیاد یا تعداد نامتناهی عضو دارند بایستی به صورت ضمنی تعریف شوند.
{n l n=m² for some natural number m} 1-3 نظریه مجموعه ها یک مجموعه با اعضایش مشخص می شود. اگرY یک زیر مجموعه از Xباشد و X≠Yآنگاه به Yیک زیر مجموعه کامل X میگوئیم. 1-3 نظریه مجموعه ها اجتماع دو مجموعه به صورت زیر تعریف می شود:
XυY = { z l z є X or z є Y} اختلاف دو مجموعه به صورت زیر تعریف می شود:
X-Y = { z l z є X and z є Y} ...