Informatica teorica

Abbozzo informatica
Questa voce sull'argomento informatica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento.
Una rappresentazione artistica della macchina di Turing

L'informatica teorica è una branca dell'informatica e della matematica che riguarda gli aspetti più astratti e matematici della computazione, come la teoria della computazione, la semantica della programmazione e la teoria della complessità computazionale. La prima studia cosa in generale possa essere calcolato tramite algoritmi, la seconda cosa e come sia calcolato da uno specifico algoritmo, la terza le risorse ad esso necessarie. Nonostante non abbia come oggetto un singolo argomento, i suoi ricercatori spesso formano un sottogruppo compatto all'interno degli informatici.

Descrizione

Definizione

Lo Special Interest Group on Algorithms and Computation Theory dell'ACM (SIGACT) definisce l'informatica teorica come "l'analisi formale della computazione efficiente e dei processi computazionali".[1]

Lo stesso SIGACT afferma che l'informatica teorica "include un'ampia varietà di temi fra cui algoritmi, strutture dati, complessità computazionale, computazione parallela e distribuita, computazione probabilistica, computazione quantistica, teoria degli automi, teoria dell'informazione, crittografia, semantica e verifica dei programmi, apprendimento automatico, biologia computazionale, economia computazionale, geometria computazionale, teoria dei numeri computazionale e algebra. Il lavoro in questo campo si caratterizza spesso per la sua enfasi su tecniche e rigore matematici."[1]

Organizzazioni

  • EATCS, l'Associazione europea per l'informatica teorica
  • SIGACT, Special Interest Group on Algorithms and Computation Theory

Pubblicazioni e newsletter

  • Chicago Journal of Theoretical Computer Science
  • Information and Computation
  • Formal Aspects of Computing
  • Journal of the ACM
  • SIAM Journal on Computing
  • SIGACT News
  • Theoretical Computer Science
  • Theory of Computing Systems

Conferenze

  • Annual ACM Symposium on the Theory of Computing (STOC)
  • IEEE Symposium on Foundations of Computer Science (FOCS)
  • Symposium on Discrete Algorithms (SODA)
  • International Colloquium on Automata, Languages and Programming (ICALP)
  • Symposium on Theoretical Aspects of Computer Science (STACS)
  • European Symposium on Algorithms (ESA)
  • Algebraic Methodology And Software Technology (AMAST)
  • IEEE Symposium on Logic in Computer Science (LICS)
  • International Symposium on Algorithms and Computation(ISAAC)
  • (APPROX/RANDOM)
  • Computational Complexity Conference (CCC)
  • Symposium on Parallelism in Algorithms and Architectures (SPAA)
  • Computability in Europe (CiE)

Note

  1. ^ a b SIGACT, ACM SIGACT, su sigact.org. URL consultato il 6 febbraio 2021.

Bibliografia

Altri progetti

Collegamenti esterni

Controllo di autoritàThesaurus BNCF 73807 · GND (DE) 4196735-5
  Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica

Read other articles:

Ander Iturraspe

Ander Iturraspe Ander Iturraspe dengan pendukung tim., 2015Informasi pribadiNama lengkap Ander Iturraspe DerteanoTanggal lahir 8 Maret 1989 (umur 35)Tempat lahir Abadiño, SpanyolTinggi 187 m (613 ft 6 in)Posisi bermain Gelandang bertahanInformasi klubKlub saat ini Athletic BilbaoNomor 8Karier junior1998–1999 CP Matiena1999–2003 Athletic Bilbao2003–2004 Abadiño2004–2007 Athletic BilbaoKarier senior*Tahun Tim Tampil (Gol)2007–2008 Baskonia 30 (1)2008–2010 Bilb...

 

 

Daftar roket peluncur orbital

Berikut ini adalah daftar roket peluncur orbital konvensional, mencakup roket peluncur dan sistem konvensional lainnya yang digunakan untuk menempatkan satelit ke orbit. Argentina ORBIT II - Pensiun[1] TRONADOR - Dalam Pengembangan [2] Australia AUSROCK IV - Dalam Pengembangan Brazil VLS-1 - Pensiun VLM - Dalam Pengembangan Republik Rakyat Tiongkok Beberapa roket dari keluarga Long March Long March 2F Feng Bao 1 - Pensiun Kaituozhe-1 - Pensiun Kuaizhou Long March Long 1 March ...

 

 

Independence Day (film 1996)

Poster Film Independence Day Independence Day ( juga dipromosikan sebagai ID4 ) adalah sebuah film aksi fiksi ilmiah Amerika tahun 1996 yang ditulis, disutradarai, dan diproduksi eksekutif oleh Roland Emmerich, ditulis bersama dan diproduksi oleh Dean Devlin. Film ini dibintangi oleh pemeran ansambel yang terdiri dari Will Smith, Bill Pullman, Jeff Goldblum, Mary McDonnell, Judd Hirsch, Margaret Colin, Randy Quaid, Robert Loggia, James Rebhorn, dan Harvey Fierstein. Film ini berfokus pada kel...

Kaulig Racing

Kaulig RacingPemilikMatt KauligKantor pusatWelcome, North CarolinaSeriNASCAR Cup Series, NASCAR Xfinity SeriesNo. mobil10, 11, 16, 31PembalapCup Series:16. Daniel Hemric, AJ Allmendinger, Noah Gragson31. Justin Haley Xfinity Series:10. Landon Cassill 11. Daniel Hemric 16. AJ AllmendingerSponsorCup Series:16. Heritage Pool Supply, Poppy Bank, South Point Hotel & Casino, Majestic Steel, Action Industries, Chevrolet Accessories, CURE Token31. LeafFilter Xfinity Series:10. Voyager, Carnomaly,...

 

 

Gerakan antitembakau di Jerman Nazi

Sebuah iklan antimerokok Nazi berjudul Rantai-perokok mengatakan Dia tidak melahap itu [rokok], tapi itu melahap dia Gerakan antitembakau di Jerman Nazi adalah kampanye publik antimerokok pertama dalam sejarah modern,[1] yang dilakukan oleh Jerman Nazi.[2] Gerakan ini muncul setelah para dokter Jerman menjadi yang pertama berhasil menemukan hubungan antara merokok dan kanker paru-paru,[3] Gerakan antitembakau tumbuh di banyak negara sejak awal abad ke-20,[4]&#...

 

 

Nasser Khalili

SirNasser David KhaliliKCSS PhDNama asalناصر داوود خلیلیLahir18 Desember 1945 (umur 78)Isfahan, IranAlmamaterQueens College, City University of New York School of Oriental and African StudiesPekerjaanScholarArt collectorPhilanthropistSuami/istriMarion EastonAnak3Situs webNasser Khalili Sir Nasser David Khalili KCSS PhD ( Persia: ناصر داوود خلیلی, lahir 18 Desember 1945) adalah seorang sarjana, kolektor, dan pegiat filantrofi Inggris-Iran. Ia lahir di...

Out of Time (album)

1991 album by R.E.M. Out of TimeCover to the standard release of Out of TimeStudio album by R.E.M.ReleasedMarch 12, 1991 (1991-03-12)[1]RecordedMid-1990StudioBearsville (Woodstock, New York)John Keane Studios (Athens, Georgia) (recording)Soundscape (Atlanta, Georgia) (strings)Paisley Park (Chanhassen, Minnesota) (mixing)GenreAlternative rock[2]folk rock[3]Length44:08LabelWarner Bros.ProducerScott LittR.E.M.R.E.M. chronology Green(1988) Out of Time(19...

 

 

Northern Provinces

South African biogeographical area For Northern Province, see Northern Province (disambiguation). WGSRPD areas of South Africa; TVL = Northern Provinces The Northern Provinces of South Africa is a biogeographical area used in the World Geographical Scheme for Recording Plant Distributions (WGSRPD). It is part of the WGSRPD region 27 Southern Africa. The area has the code TVL.[1] It includes the South African provinces of Gauteng, Mpumalanga, Limpopo (Northern Province) and North West,...

 

 

Charandas Chor

1975 film 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: Charandas Chor – news · newspapers · books · scholar · JSTOR (February 2024) (Learn how and when to remove this message) Charandas ChorMovie posterDirected byShyam BenegalWritten byShyam Benegal Shama Zaidi (Screen Adaptation)Story byVijaydan DethaBas...

Riudecanyes

Municipality in Catalonia, SpainRiudecanyesMunicipalityRiudecanyes Coat of armsRiudecanyesLocation in CataloniaCoordinates: 41°7′50″N 0°57′45″E / 41.13056°N 0.96250°E / 41.13056; 0.96250Country SpainCommunity CataloniaProvince TarragonaComarcaBaix CampGovernment • MayorJosep Maria Tost Borràs (2015)[1]Area[2] • Total17.1 km2 (6.6 sq mi)Population (2018)[3] • Tota...

 

 

Timeline of the Donald Trump presidency (2018 Q4)

This article is part of a series aboutDonald Trump Business and personal Business career The Trump Organization wealth tax returns Media career The Apprentice bibliography filmography Eponyms Family Foundation American football Golf Honors Public image in popular culture SNL parodies handshakes Legal affairs Sexual misconduct allegations Nicknames pseudonyms Racial views Comments on John McCain Conspiracy theories Residences Rhetoric 45th President of the United States Presidency timeline Tr...

 

 

美国众议院

此條目需要补充更多来源。 (2021年7月4日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：美国众议院 — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 美國眾議院 United States House of Representatives第118届美国国会众议院徽章 众议院旗...

1900年美國總統選舉

1900年美國總統選舉 ← 1896 1900年11月6日 1904 → 447張選舉人票獲勝需224張選舉人票投票率73.2%[1] ▼ 6.1 %   获提名人 威廉·麥金利 威廉·詹寧斯·布賴恩 政党 共和黨 民主党 家鄉州 俄亥俄州 內布拉斯加州 竞选搭档 西奧多·羅斯福 阿德萊·史蒂文森一世 选举人票 292 155 胜出州/省 28 17 民選得票 7,228,864 6,370,932 得票率 51.6% 45.5% 總統選舉結果地圖，紅色代表�...

 

 

François II Rákóczi

Pour les articles homonymes, voir François II. François II Rákóczi Portrait réalisé par Ádám Mányoki en 1712 à Gdańsk. Fonctions Prince de Transylvanie 8 juillet 1704 – février 1711 Prédécesseur gubernium autrichien Successeur Charles Ier de Habsbourg Biographie Nom de naissance felsővadászi II. Rákóczi Ferenc Date de naissance 27 mars 1676 Lieu de naissance Borsi Date de décès 8 avril 1735 (à 59 ans) Lieu de décès Tekirdağ, Empire ottoman Sépulture Cathédral...

 

 

Shooting at the 1896 Summer Olympics – Men's 30 metre pistol

Olympic shooting event Men's 30 metre pistolat the Games of the I OlympiadShooting pictogramVenueKallithea shooting rangeDateApril 11Competitors5 from 3 nationsWinning score442Medalists Sumner Paine United States Holger Nielsen Denmark Ioannis Frangoudis Greece1900 → Shooting at the1896 Summer OlympicsRifle200 m military riflemen300 m free rifle, 3 pos.menPistol25 m military pistolmen25 m muzzle-loading pistolmen30 m pistolmenvte The men's 30 metre individu...

Weeks v. United States

Weeks v. United StatesMahkamah Agung Amerika SerikatDisidangkan pada 2 Desember–3, 1913Diputus pada 24 Februari, 1914Nama lengkap kasusFremont Weeks v. United StatesKutipan232 U.S. 383 (lanjut)Versi sebelumnyaTerdakwa divonisAmar putusanPenyitaan tanpa surat izin dari kediaman pribadi melanggar Amendemen Keempat yang melarang penyelidikan dan penyitaan yang tidak berdasar, dan bukti yang diperoleh dengan cara ini tidak dapat digunakan di pengadilan pidana.Hakim yang memutusPendapatMayoritas...

 

 

Electrical transcription

Phonograph recordings made for radio broadcasting Electrical transcription disc of The War of the Worlds radio broadcast by Orson Welles with this dubbed copy created ten years after the original broadcast Electrical transcriptions are special phonograph recordings made exclusively for radio broadcasting,[1] which were widely used during the Golden Age of Radio. They provided material—from station-identification jingles and commercials to full-length programs—for use by local stat...

 

 

112-я стрелковая дивизия (2-го формирования)

У этого термина существуют и другие значения, см. 112-я дивизия. 112-я стрелковая дивизия (2-го формирования) Вооружённые силы ВС СССР Вид вооружённых сил РККА (сухопутные) Род войск (сил) пехота Вид формирования стрелковая дивизия Почётные наименования «Рыльская» «Коростень�...

日本人口

日本人口出生率與死亡率的變化。1966年出生率降低是由於許多人認為「丙午」年出生的女性結婚後會給丈夫帶來不幸，而該年度出生的人數要比上一年少約1/4 日本人口密度 日本是世界人口第十一大國，在发达国家中排名第二，仅次于美国。根據總務省統計局資料，截至2024年1月1日，日本人口为1.241亿（124,143,000）[1]，人口集中在以东京、大阪、名古屋为中心的三大都�...

 

 

Bramberģe Manor

Manor house in Latvia Bramberģe ManorZemgale, Latvia Bramberģe ManorCoordinates56°34′46.2″N 23°35′08.6″E / 56.579500°N 23.585722°E / 56.579500; 23.585722TypeManor Bramberģe Manor (Latvian: Bramberģes muiža, German: Brandenburg[1]) is a manor in Bramberģe, Glūda parish, Jelgava Municipality in the historical region of Zemgale, in Latvia.[2] History The manor complex with the park was formed in the end of 16th century. In 1645 Duke Jaco...