علوم نظری رایانه

علوم نظری رایانه مطالعات مربوط به تعاریف زبان‌ها، قابلیت‌ها و محدودیت‌های مربوط به محاسبات الگوریتمی، و نیز آنالیز و تحلیل پیچیدگی مسائل و راه حل‌ها را در بر می‌گیرد. این علوم مجموعه‌ای است از موضوعات علوم رایانه که تمرکز آن‌ها بر جنبه‌های محض، منطقی و ریاضی محاسبات رایانش است، مانند نظریه محاسبات، آنالیز الگوریتم‌ها و معناشناسی زبان‌های برنامه‌نویسی. اگرچه خودش یک عنوان مجزا نیست، پژوهشگران این بخش از علوم رایانه زیرگروهی متمایز در بین محققان علوم رایانه هستند. در علوم نظری رایانه ریاضیات گسسته، جبر محض، نظریه اعداد، نظریه گراف و دیگر زمینه‌های ریاضیات محض مورد استفاده قرار می‌گیرد.

از جمله گرایش‌های شناخته شده در این زمینه بهینه‌سازی ترکیبیاتی، نظریه گراف و کاربردها، رایانش کوانتومی، نظریه محاسبات، هندسه محاسباتی، الگوریتم‌های تصادفی و تقریبی، رمزنگاری، نظریه اتوماتا، نظریه الگوریتمی بازی، نظریه سیستم‌های توزیع شده و غیره است. نظریه دانان رایانه معمولاً به دنبال الگوریتم‌های بهینه و یافتن کران بالا و پایین برای زمان اجرای الگوریتم‌ها هستند. در برخی از زمینه‌ها سؤال فراتر مدنظر محاسبه پذیر بودن مسئله‌ها می‌باشد که به خصوص در نظریه محاسبه مورد مطالعه قرار می‌گیرد.

نظریه گراف

نظریه گراف شاخه‌ای از ریاضیات گسسته است که دربارهٔ گراف‌ها بحث می‌کند. این مبحث به زبان دقیق‌تر شاخه‌ای از توپولوژی است که با جبر و نظریه ماتریس‌ها پیوند مستحکم و تنگاتنگی دارد. نظریهٔ گراف برخلاف شاخه‌های دیگر ریاضیات نقطهٔ آغاز مشخصی دارد و آن انتشار مقاله‌ای از لئونارد اویلر، ریاضیدان سوئیسی است.

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

در علوم نظری رایانه، نظریهٔ زبان‌ها و ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر انتزاعی و توانایی‌های آن‌ها برای حل مسایل. به این ماشین‌های انتزاعی اتوماتا گفته می‌شود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. به‌طوری‌که اتوماتا اغلب توسط دستهٔ زبان‌های رسمی قابل تشخیص دسته‌بندی می‌شوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن ایفا می‌کند. زبان‌هایی که توسط این ماشین‌ها بررسی می‌شوند زبان‌های فرمال هستند. نوام چامسکی با طرح نظریه زبان زایشی از الهام‌بخشان این حوزه است.

تئوری محاسبات

مقاله اصلی: نظریه محاسبات

تئوری محاسبات زمینهٔ وسیعی است که امکان و کارایی حل مسائل گوناگون به وسیلهٔ مدل‌های محاسباتی، با استفاده از الگوریتم‌ها را مورد مطالعه قرار می‌دهد. که به بررسی محاسبه‌پذیری و بررسی پیچیدگی محاسبه تقسیم می‌شود.

منابع

Read other articles:

2012–14 concert tour by Zendaya Swag It Out Tour by CrystalTour by ZendayaLocationNorth AmericaAssociated albumZendayaStart dateAugust 5, 2012 (2012-08-05)End dateNovember 1, 2014 (2014-11-01)Legs3No. of shows44 Swag It Out Tour (also known as Zendaya: Live in Concert) is the debut concert tour by American actress and recording artist Zendaya. The tour spanned the course of two years, playing music festivals in state fairs in North America. Opening acts Liam Li...

 

Rhadamantus ist eine Weiterleitung auf diesen Artikel. Zum Walzer siehe Rhadamantus-Klänge. Siehe auch: Rhadamanthus. Die Totenrichter Minos, Aiakos und Rhadamanthys(Ludwig Mack: Die Unterwelt, um 1826) Rhadamanthys (altgriechisch Ῥαδάμανθυς Rhadámanthys), kretischer Herrscher und später Richter in der Unterwelt, ist eine Gestalt der griechischen Mythologie. Er wurde auch auf den ägäischen Inseln und in Boiotien verehrt. Mythen Nach Legenden, die möglicherweise noch aus minoi...

 

Academy in East Didsbury, Greater Manchester, EnglandParrs Wood High SchoolLocationEast Didsbury, Greater ManchesterEnglandInformationTypeAcademyMotto‘’Community Creativity Achievement‘’ and ‘’Believe. Achieve. Succeed.‘’[4]Established1967Local authorityManchesterTrustGreater Manchester Learning TrustDepartment for Education URN143260 TablesOfstedReportsPrincipalD. OwenHeadteacherMark McElwee [1][2]Staff250GenderCoeducationalAge11 to 18Enrolment1,96...

Super League 2016-2017 Généralités Sport Football Édition 2e Date de 27 août 2016 à 5 mai 2017 Participants 7 Palmarès Vainqueur Standard de Liège Navigation Saison précédente Saison suivante modifier Cette page présente les participants de la Super League belge de football féminin lors de la saison 2016-2017. Clubs de la saison 2016-2017 Composition du championnat de Belgique féminin Nom du club Entraîneur DC Stade Capacité Nb T. Standard de Liège Hamide Lamara 1971 Académie...

 

Perkiraan Agama di Asia (2021)[1]   Islam (26.0%)  Hindu (25.7%)  Tidak Beragama (20%)  Buddhisme (11.3%)  Kekristenan (7.2%)  Tradisional/Lainnya (9.8%) Agama di Asia sangat beragam karena benua Asia merupakan benua terbesar dan terpadat di dunia. Asia menjadi tempat kelahiran beberapa agama yaitu: Buddha, Hindu, Kristen, Islam, kepercayaan-kepercayaan Tradisional seperti: Kepercayaan Tradisional Tionghoa (Konfusianisme/Kong...

 

برة سهر  - city -  تقسيم إداري البلد  إيران المحافظة غيلان المقاطعة مقاطعة رودبار الناحية Khorgam إحداثيات 36°47′12″N 49°48′02″E / 36.78667°N 49.80056°E / 36.78667; 49.80056 السكان التعداد السكاني 1508 نسمة (إحصاء 2006)   • الذكور 795 (2016)[1]    • الإناث 817 (2016)[1]  معلو...

Jack KerouacLahir12 Maret 1922Lowell, MassachusettsMeninggal21 Oktober 1969St. Petersburg, FloridaPekerjaanNovelis, penyairKebangsaanAmerikaAliran sastraGenerasi BeatWebsiteSitus resmi Jack Kerouac Jack Kerouac (dibaca [dʒæk ˈkɛɹəwæk]) (12 Maret 1922 – 21 Oktober 1969) adalah seorang novelis, penulis, penyair, seniman Amerika, dan bagian dari Generasi Beat. Bibliografi Prosa Atop an Underwood: Early Stories and Other Writings (ISBN 0-670-88822-2) Visions of Gerard ...

 

Restaurant chain Miznon restaurant located at Chelsea Market in New York City Miznon (Hebrew: מזנון; English: Canteen), stylised as MIZNON, is an Israeli chain of contemporary casual restaurants created by chef Eyal Shani, with branches around the world. The first Miznon opened in Tel Aviv in 2011.[1] Cuisine Miznon puts a spotlight on pita bread, served fresh from the oven with inventive fillings such as moussaka, ratatouille, and lobster with crème fraîche.[2] Respons...

 

Dutch painter and sculptor (1898–1997) Charlotte van Pallandt, c. 1938. Charlotte van Pallandt receiving the Singer Prize from Princess Juliana of the Netherlands in 1977 Charlotte van Pallandt (24 September 1898 – 30 July 1997), was a Dutch painter and sculptor. Biography Nude (Truus-beeldje) with an appel, 1957 She was born in Arnhem to a wealthy family of Dutch nobility, and grew up in Schaarsbergen with her three sisters and brother.[1] In 1910 her older sister died of per...

Man habituated to immoral conduct Roué redirects here. For sauce, see roux. The Tavern Scene from A Rake's Progress by William Hogarth In a historical context, a rake (short for rakehell, analogous to hellraiser) was a man who was habituated to immoral conduct, particularly womanizing. Often, a rake was also prodigal, wasting his (usually inherited) fortune on gambling, wine, women, and song, and incurring lavish debts in the process. Cad is a closely related term. Comparable terms are liber...

 

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Longton, Staffordshire – news · newspapers · books · scholar · JSTOR (September 2020) (Learn how and when to remove this template message) Human settlement in EnglandLongtonLongton Town HallLongtonLocation within StaffordshirePopulation27,214 OS grid&...

 

This article is about the modern city in Mexico. For the Postclassic Maya province, see Chetumal Province. For the archaeological site proposed as the location of the Postclassic Maya city of Chetumal, see Santa Rita, Corozal. This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Chetumal – news · newspapers · books · s...

Cảnh tượng bình nguyên Hoa Bắc vào mùa đông Bình nguyên Hoa Bắc hay đồng bằng Hoa Bắc (giản thể: 华北平原; phồn thể: 華北平原; bính âm: Huáběi Píngyuán, Hán Việt: Hoa Bắc bình nguyên) được tạo thành từ trầm tích của Hoàng Hà và là đồng bằng phù sa lớn nhất tại Đông Á, đây là nơi phát tích và phát triển của dân tộc và văn minh của Trung Quốc. Bình nguyên có giới hạn ở...

 

The Power Station, Fengate, Peterborough. The power station, as seen from the central tower of Peterborough Cathedral. Peterborough Power Station is a 360MW gas-fired power station at Eastern Industry, Fengate in the city of Peterborough, Cambridgeshire in the United Kingdom. It employs around forty people. The power station was commissioned in December 1993 with construction starting in January 1991. It is currently owned by Whitetower Holdings UK Limited, an affiliate of Rockland Capital, L...

 

Medication taken to relieve cold symptoms TheraFlu redirects here. Not to be confused with TamiFlu. Cough Syrup redirects here. For the Young the Giant song, see Cough Syrup (song). Cold medicineCough medicine often contains cough suppressants and expectorants.Other namesCough and cold medicine, cough syrup, lin, lean[edit on Wikidata] Cold medicines are a group of medications taken individually or in combination as a treatment for the symptoms of the common cold and similar conditions of...

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (نوفمبر 2022) شركة الحفر العربيةمعلومات عامةالتأسيس 07-04-1964مموقع الويب www.arabdrill.comالمنظومة ال...

 

Юкка высокая Научная классификация Домен:ЭукариотыЦарство:РастенияКлада:Цветковые растенияКлада:МонокотыПорядок:СпаржецветныеСемейство:СпаржевыеПодсемейство:АгавовыеРод:ЮккаВид:Юкка высокая Международное научное название Yucca elata Engelm. (1882) Синонимы Систематикав ...

 

Defence ForcesDirectorate of Military IntelligenceIrish: Stiúrthóireacht na FaisnéiseBadge of the Irish Defence ForcesCountry IrelandBranchDFHQTypeMilitary intelligenceRoleCounterintelligenceCounter-terrorismSecurity of critical infrastructureSizeUnknownPart of Defence ForcesGarrison/HQMcKee Barracks, Dublin[1]CommandersDirector of Military Intelligence (D J2)Currently unknownInsigniaAbbreviationJ2[2] / INT[3]Military unit The Directorate of Military Intel...

Iraqi Shia militia Kata'ib Sayyid al-Shuhadaكتائب سيد الشهداءKata'ib Sayyid al-Shuhada flag and logoLeadersAbu Ala al-Walai[1]Abu Mustafa al-Sheibani[2]Dates of operation2013–present[3]Allegiance IraqGroup(s) Liwa al-Sayyida Ruqayya (The Ja'afari Force)[4] Active regionsSaladin Governorate[5]Damascus Governorate[3]Daraa Governorate[3]IdeologyShia IslamismWilayat al Faqih[6]Qutbism–KhomeinismAnti-Zioni...

 

Medical conditionAngiofibromaAngiofibroma, Hematoxylin and eosin stain, magnification ×10.SpecialtyOncology SymptomsItchiness and sometimes bleeding.[1]ComplicationsFacial disfigurement and stigmatization.[1]CausesLocal overgrowth of collagen, fibroblasts, and blood vessels.[1]Risk factorsTuberous sclerosis, Birt-Hogg-Dubé syndrome, and Multiple endocrine neoplasia type 1.[1]Diagnostic methodSkin biopsy.[1]Differential diagnosisIntradermal melano...

 

Strategi Solo vs Squad di Free Fire: Cara Menang Mudah!