کاهش مرتبه مدل (MOR) کاهش پیچیدگی محاسباتی از مدل های ریاضی در شبیه سازی عددی

مدل‌های محاسباتی (Computational models) مدل‌های ریاضی مورد کاربرد در علوم محاسباتی

نظریه رایانش یا نظریهٔ محاسبات

نظریهٔ رایانش یا نظریهٔ محاسبات ( Theory of computation) زمینهٔ وسیعی است که امکان و کارایی حل مسائل گوناگون به وسیلهٔ مدل‌های محاسباتی، با استفاده از الگوریتم‌ها را مورد مطالعه قرار می‌دهد.

این نظریه را به دو شاخهٔ عمده به‌صورت زیر تقسیم می‌کنند:

 

نظریهٔ محاسبه‌پذیری یا قابلیت محاسبه

 

نظریهٔ پیچیدگی

 

هر دو شاخهٔ فوق با مدل‌های صوری محاسبات سر وکار دارد.

تز چرچ-تورینگ

ماشین تورینگ ( Turing machine)

رایانه کوانتومی

کامپیوتر کوانتومی ( Quantum computer) ماشینی است که از پدیده‌ها و قوانین مکانیک کوانتوم مانند برهم نهی (Superposition) و درهم تنیدگی (Entanglement) برای رایانش استفاده می‌کند. رایانه‌های کوانتومی با رایانه‌های فعلی که با ترانزیستورها کار می‌کنند تفاوت اساسی دارند. ایده اصلی که در پس رایانه‌های کوانتومی نهفته‌است این است که می‌توان از خواص و قوانین فیزیک کوانتوم برای ذخیره‌سازی و انجام عملیات روی داده‌ها استفاده کرد. یک مدل تئوریک و انتزاعی از این ماشین‌ها، ماشین تورینگ کوانتومی ( Quantum Turing Machine) است که رایانه کوانتومی جهانی ( Universal Quantum Computer) نیز نامیده می‌شود.

نورشناسی کوانتومی

نورشناسی موجی

نورشناسی هندسی

سید جلال‌الدین تهرانی (زاده ۱۵ مرداد ۱۲۷۵ تهران – درگذشته ۱۰ مرداد ۱۳۶۶ پاریس) اخترشناس، ریاضی‌دان