رشته‌های علوم صوری در دنیا

 

رشته‌های علوم صوری در دنیا 

 

 

 

 

 

 

آمار

  • آمار رایانشی

  • داده‌کاوی

  • تحلیل رگرسیون

  • شبیه‌سازی

  • بوت‌استرپینگ

  • طراحی آزمایش

  • طراحی بلوک و تحلیل واریانس

  • روش سطح پاسخ

  • بررسی نمونه‌ای

  • نظریه نمونه‌گیری

  • مدل آماری

  • آمارزیستی

  • همه‌گیرشناسی

  • تحلیل چندمتغیره

  • مدل‌سازی معادلات ساختاری

  • سری زمانی

  • نظریه قابلیت اطمینان

  • کنترل کیفیت

  • نظریه آمار

  • نظریه تصمیم‌ها

  • آمار ریاضی

  • احتمالات

  • روش‌شناسی آمارگیری

ریاضیات

  • آنالیز

  • آنالیز حقیقی

  • حسابان

  • آنالیز مختلط

  • آنالیز تابعی

  • نظریه عمل‌گرها

  • آنالیز غیراستاندارد

  • آنالیز هارمونیک

  • آنالیز فوریه

  • آنالیز پی-ادیک

  • معادلات دیفرانسیل معمولی

  • معادله دیفرانسیل با مشتقات پاره‌ای

  • جبر

  • نظریه گروه‌ها

  • جانشینی گروه‌ها

  • نظریه حلقه‌ها

  • جبر جابجایی

  • جبر ناجابجایی

  • نظریه میدان‌ها

  • جبر خطی

  • جبر چندخطی

  • جبر لی

  • جبر شرکت‌پذیر

  • جبر غیرشرکت‌پذیر

  • جبر عمومی (Universal algebra)

  • جبر همولوژی

  • Differential algebra

  • نظریه توری (نظریه ترتیب)

  • Representation theory

  • نظریه کا (K-theory)

  • نظریه رده‌ها

  • نظریه توپوها (Topos theory)

  • ریاضیات کاربردی

  • آمار

  • آمار ریاضی

  • اقتصادسنجی

  • آکچوئری

  • جمعیت‌شناسی

  • نظریه تخمین

  • محاسبات عددی

  • تحقیق در عملیات

  • بهینه‌سازی ریاضی

  • برنامه‌ریزی خطی

  • برنامه‌ریزی پویا

  • Assignment problem

  • آنالیز تصمیم

  • Inventory theory

  • زمان‌بندی شغل-فروشگاه

  • ارزشیابی اختیارات طبیعی (Real options valuation)

  • تحلیل سامانه‌ها

  • فرایند تصادفی

  • نگهداشت بهینه

  • سامانه دینامیک

  • نظریه آشوب

  • برخال

  • فیزیک ریاضی

  • مکانیک کوانتوم

  • نظریه میدان‌های کوانتومی

  • گرانش کوانتومی

  • نظریه ریسمان

  • مکانیک آماری

  • نظریه محاسبات

  • نظریه پیچیدگی محاسباتی

  • نظریه اطلاعات

  • رمزنگاری

  • ترکیبیات

  • نظریه کدگذاری

  • نظریه گراف

  • نظریه بازی‌ها

  • منطق و بنیان‌های ریاضیات

  • منطق شهودی (Intuitionistic)

  • منطق موجهات

  • نظریه برهان

  • نظریه محاسبه‌پذیری

  • نظریه مجموعه‌ها

  • نظریه مدل

  • نظریه احتمالات

  • نظریه اندازه

  • Integral geometry

  • نظریه ارگودیک

  • فرایند تصادفی

  • نظریه اعداد

  • نظریه تحلیلی اعداد

  • نظریه جبری اعداد

  • نظریه هندسی اعداد

  • هندسه و توپولوژی

  • توپولوژی عمومی

  • توپولوژی جبری

  • توپولوژی هندسی

  • توپولوژی دیفرانسیل

  • هندسه جبری

  • هندسه دیفرانسیل

  • هندسه تصویری (Projective geometry)

  • هندسه آفین

  • هندسه نااقلیدسی

  • هندسه محدب

  • هندسه گسسته

  • هندسه انتگرال

  • هندسه منیفلد

  • هندسه ناجابجایی

علوم رایانه

  • الگوریتم

  • الگوریتم توزیعی

  • الگوریتم موازی

  • الگوریتم‌های تصادفی

  • امنیت رایانه‌ای

  • رمزنگاری

  • Fault-tolerant system

  • تعامل انسان و رایانه

  • رایانش توزیع‌شده

  • رایانش مشبک

  • رایانش در ریاضیات، علوم طبیعی و طب

  • ریاضیات رایانشی

  • زیست‌شناسی رایانشی

  • شیمی محاسباتی

  • علم محاسبه

  • علوم محاسباتی اعصاب

  • فیزیک محاسباتی

  • Computational number theory

  • محاسبات عددی

  • محاسبات نمادین

  • مهندسی مبتنی بر رایانه

  • دینامیک محاسباتی سیالات

  • روش اجزاء محدود

  • رایانش در علوم اجتماعی، هنر و علوم انسانی

  • اقتصاد رایانشی

  • جامعه‌شناسی رایانشی

  • علوم انسانی دیجیتال

  • مهندسی مالی

  • رایانش موازی

  • ابررایانه

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

  • رایانه و جامعه

  • انفورماتیک اجتماعی

  • انفورماتیک انسانی

  • پیشینه سخت‌افزار رایانه

  • پیشینه علوم رایانه

  • زبان‌های برنامه‌نویسی

  • پارادایم‌های برنامه‌نویسی

  • برنامه‌نویسی تابعی

  • برنامه‌نویسی چندپارادایمی

  • برنامه‌نویسی دستوری

  • برنامه‌نویسی شیءگرا

  • برنامه‌نویسی منطقی

  • مترجم‌ها

  • معناشناسی برنامه

  • نظریه نوع‌ها

  • سیستم‌عامل

  • شبکه رایانه‌ای

  • اینترنت، وب جهان‌گستر

  • رایانش ابری

  • رایانش فراگیر

  • شبکه بی‌سیم

  • نظریه اطلاعات

  • علوم اطلاعات

  • بازیابی اطلاعات

  • پایگاه داده

  • پایگاه داده توزیعی

  • پایگاه داده شی‌گرا

  • پایگاه داده‌های رابطه‌ای

  • چندرسانه‌ای، فرارسانه

  • داده‌کاوی

  • مدیریت اطلاعات

  • مدیریت داده

  • مدیریت دانش

  • گرافیک رایانه‌ای

  • پردازش تصویر

  • مصورسازی

  • معماری کامپیوتر

  • طراحی VLSI

  • مهندسی نرم‌افزار

  • روش‌های صوری

  • نظریه محاسبات

  • نظریه پیچیدگی محاسباتی

  • نظریه محاسبه‌پذیری

  • نظریه ماشین‌ها

  • نظریه هم‌روندی

  • هندسه محاسباتی

  • هوش مصنوعی

  • رباتیک

  • سامانه‌های خبره

  • علوم شناختی

  • استدلال خودکار

  • بینایی رایانه‌ای

  • پردازش زبان‌های طبیعی

  • یادگیری ماشینی

  • شبکه عصبی مصنوعی

  • ماشین بردار پشتیبانی

علوم سامانه‌ها(سیستم‌ها)

  • سامانه‌های پیچیده

  • سایبرنتیک

  • نظریه کنترل

  • مهندسی کنترل

  • سامانه کنترل

  • سامانه دینامیک

  • تحقیق در عملیات

  • پویایی‌شناسی سامانه‌ها

  • مهندسی سامانه‌ها

  • تحلیل سامانه‌ها

  • نظریه سامانه‌ها

  • نظریه سامانه‌های روبه‌رشد

  • نظریه سامانه‌های عمومی

  • نظریه سامانه‌های پویا

منطق

  • منطق ریاضی

  • منطق شهودی (Intuitionistic)

  • منطق موجهات

  • نظریه برهان

  • نظریه محاسبه‌پذیری

  • نظریه مجموعه‌ها

  • نظریه مدل

  • منطق فلسفی

  • استدلال منطقی

  • منطق موجهات

  • منطق تکلیفی (Deontic)

  • منطق اعتقادی (Doxastic)

  • منطق در علوم رایانه

  • برنامه‌نویسی منطقی

  • روش‌های صوری (درست‌سنجی صوری)

  • معناشناسی زبان‌های برنامه‌نویسی

  • منطق‌های چندارزشی

  • منطق فازی

  • نظریه نوع‌ها

مطالب پیشنهادی دیگر  :

طرح پرسپوليس ترمه رضايی روی میز کاخ سفید

رازهای موفقیت بزرگان

قدرت برنامه ریزی برایان تریسی

هنر صحبت کردن و فن بیان (برایان تریسی)

مدیریت بحران برایان تریسی

چگونه خلاق باشید برایان تریسی

40 نکته کلیدی از سخنان برایان تریسی در همایش تهران

مدیریت چیست؟

۱۰۰ راه حل فرار از خستگی و سستی در زندگی!

قورباغه ات را قورت بده برایان تریسی - ۲۱ روش عالی برای مبارزه با تنبلی و انجام کارهای بیشتر در زم

فروشنده حرفه ای شوید - ۲۱ روش عالی برای اینکه تبدیل به یک فروشنده فوق ستاره شوید – برایان 

روش های عالی برای میلیونر شدن

مهارت های زندگی چیست ؟

۱۰۱ نکته کاربردی در ارتباط مؤثر - نفوذ در دیگران

راه نفوذ در دلها (برایان تریسی)

قدرت و نیروی جذبه – جذب دیگران – نفوذ در دیگران – جذاب بودن (برایان تریسی)

66 نکته DBA از نگاه برایان تریسی

رازهای موفقیت بزرگان

اهمیت ظاهر شخصی در کارتان !

۱۰ نکته برای شروع یک کار جدید

درخت بازاریابی اینترنتی

کسب و کار الکترونیک (تجارت الکترونیک) از طریق موبایل

تنگناهای کسب و کار الکترونیک در ایران

گوگل ترندز چیست؟

نکاتی برای شروع بازاریابی محتوا - Content Marketing

چگونه-یک-کسب-وکار-اینترنتی-راه-اندازی-کنیم؟

نكاتي در مورد كسب و كار ، كار آفريني و شكست در كسب و كار

طرح كسب و كار (Business Plan)

چگونه با کمترین ریسک کسب وکار راه اندازی کنیم؟

دلایل مهم شکست کسب و کارها

نگران دزدیده شدن ایده‌هایتان توسط دیگران نباشید!

نکات امنیتی هنگام استفاده از ATM

امنیت کاربران در کافی نت

یاهو پروتکل SSL را برای سرویس ایمیل خود فعال کرد

آشنایی با 10 سایت برتر آموزشی

جستـجوهای 14 گانـه ویـژه سایـت گوگـل

 

 

 
·  نظر دهی 
· اشتراک گذاری :


برچسب ها   :










برای ارسال نظر ‎‏ ، همین امروز در وب سایت رایان طبیب ثبت نام کنید.

ورود


مقالات طراحی سایت

مقالات سئو و بهینه سازی سایت

مقالات علمی

کلیه حقوق متعلق به رایان طبیب می باشد.
طراحی سایت،بهینه سازی سایت،طراحی وب سایت،بهینه سازی وب سایت،سئو,صابر فضلی احمدی,Saber Fazli Ahmadi
طراحی سایت حرفه ای،طراحی وب،طراحی وب سايت،فروشگاه،بهینه سازی،طراحی وب سایت،سئو,صابر فضلی احمدی,Saber Fazli Ahmadi
طراحی و توسعه سایت رایان طبیب | 2018 ©