علوم کامپیوتر: الگوریتم‌ها، نظریه‌ها و ماشین‌ها

این دوره به افرادی که آشنایی اولیه با برنامه نویسی جاوا دارند، رشته وسیع تری از علوم کامپیوتر را معرفی می کند. این بخش نیمه دوم کتاب علوم کامپیوتر: یک رویکرد بین رشته‌ای را پوشش می‌دهد (نیمه اول در دوره آموزشی Coursera ما شامل علوم کامپیوتر: برنامه‌نویسی با هدف است که در پاییز 2018 منتشر خواهد شد). هدف ما ابهام زدایی از محاسبات و ایجاد آگاهی در مورد زیربنای فکری اساسی و تاریخ غنی حوزه علوم کامپیوتر است. ابتدا الگوریتم‌های کلاسیک را همراه با تکنیک‌های علمی برای ارزیابی عملکرد، در زمینه کاربردهای مدرن معرفی می‌کنیم. در مرحله بعد، مدل‌های نظری کلاسیک را معرفی می‌کنیم که به ما امکان می‌دهد به سؤالات اساسی در مورد محاسبات، مانند محاسبه‌پذیری، جهانی بودن و غیرقابل حل بودن بپردازیم. ما با معماری ماشین (شامل برنامه نویسی به زبان ماشین و رابطه آن با کدنویسی در جاوا) و طراحی منطقی (شامل طراحی کامل CPU ساخته شده از ابتدا) نتیجه گیری می کنیم. این دوره بر روابط بین برنامه‌نویسی برنامه‌ها، تئوری محاسبات، رایانه‌های واقعی و تاریخچه و تکامل این رشته، از جمله ماهیت مشارکت‌های بول، شانون، تورینگ، فون نویمان و دیگران تأکید می‌کند. تمامی امکانات این دوره به صورت رایگان در دسترس است. افرادی که علاقه مند به کاوش عمیق تر در محتوا هستند ممکن است بخواهند کتاب درسی علوم کامپیوتر: یک رویکرد بین رشته ای (که دوره بر اساس آن است) را دریافت کنند یا برای انبوهی از مطالب اضافی از وب سایت introcs.cs.princeton.edu دیدن کنند. این دوره پس از اتمام مدرک ارائه نمی دهد.