زبان های برنامه نویسی چک کننده ی ایستا و پویا دو نوع از “typing” هستند که کنترل نوع(typing control) چند وظیفه دارد: تعیین کردن نوع بیان تعیین ارزش ها و متغیرهای استفاده شده رفع ابهام توسط ترجمه کردن  

کامپیوترها میتوانند به جای یکCPU چندین CPU داشته باشند که در اینصورت به آنها سیستم multiprocessing میگویند.جهت استفاده از این سیستمهای نیاز به یک سیستم عامل خاص میباشد که بتواند چندین برنامه یانخهای یک فرایند را به صورت موازی واقعی روی آنها اجرا کند . در سیستم چند پردازنده ای متقارن(symmetric Multi Processing = ASMP) […]

یک مفسر یک دستورالعمل (instruction) یا یک خط (line) را در واحد زمان میخواند ، وبعد از تبدیل کردن آن به کد ماشین (machine code)، آن را اجرا میکند . در هنگامی که دارد این کد توسط ماشین اجرا میشود، مفسر خط بعدی را خوانده و آن را تبدیل به کد ماشین میکند. مزیت این […]

جان فون نویمن،در۲۸ دسامبر ۱۹۰۳ در بوداپست، پایتخت مجارستان دیده به جهان گشود. او  کارهای مهمی در نظریه  کوانتم، نظریه  مجموعه‌ها، آنالیزتابعی، علم کامپیوتر، اقتصاد و نظریه بازی‌ها انجام داده است. او یکی از دست اندر کاران پروژه  مانهاتان بود (که منجر به ساخت اولین بمب اتمی گردید) بود. وی همچنین از نخستین کسانی است که در طراحی و ساخت اولین کامپیوتر  بنام انیاک سهم […]

یک فایل در خصوص اتاماتاها و نمادهایش در اختیار شما میگذارم،امید این است که راهنمای خوبی برایتان باشد. جزوه نظریه زبانها و ماشینها

دانشجویان عزیز درس مباحث ویژه (امنیت سیستمهای کامپیوتری )لازم است به منظور هماهنگی هر چه بیشتر جزوه زیر که از مجموعه انتشارات صدا و سیما می باشد دانلود نموده و نسبت به چاپ و استفاده آن در کلاس استفاده نمایند دانشجویان عزیز برای دانلود بر روی Network Security کلیک کنید