Vad är teoretisk datalogi?

teoretisk datalogi är till stor del en abstrakt matematisk disciplin som syftar till att bättre förstå hur beräkningen. Men som forskning inom fysik, framsteg inom teoretisk datalogi sluta ge praktiska bidrag till området för datorer i allmänhet. Disciplinen för teoretisk datalogi kan delas upp i flera underkategorier.

prototypiska underkategori i teoretisk datalogi är läran om abstrakta komplexitet, som innebär algoritmer, automater, komplexitet och spel. Till exempel, vad generaliseringar kan vi göra om beteendet för vissa algoritmer som de närmar sig en oändlig mängd datorkraft i gränsen? Vad är det utrymme för möjliga program som kan beskrivas med mindre än 50 bitar? Vilka statistiska metoder kan användas för att avgöra om en viss algoritm eller ett program att utföra sin uppgift på bästa sätt?

En annan underkategori i teoretisk datalogi är logik, semantik, och teorin om programmering. Denna kategori tenderar att vara lite mer konkret än ovanstående. Till exempel, hur kan vi avgöra vilka programmeringsspråk har en fördel i att ta itu med en viss datoriserad problem? Hur kan vi använda programspråk för att skriva automatiserade sats provers? Hur kan vi validera koden som innehar information som lämnats-teoretiska egenskaper?

En sista allmänna kategori i teoretisk datalogi är läran om beräkningsvetenskap processer som förekommer i naturen, och konstgjorda beräkningsproblem processer inspirerade av naturen. Till exempel evolutionära data, neurala nätverk, molekylära data och kvantmekaniska beräkningar. Det är ett försök att besvara frågor som: vad som pågår, dator, under arbetet med utvecklingen och det naturliga urvalet? Är verkligheten själv i grunden beräkningsvetenskap? Och så vidare.

teoretisk datalogi sitt ursprung i 1940-talet och 50-talen med snillen som Jon von Neumann och Alan Turing. Ytterligare mål i teoretisk datalogi är att förena till synes separata fält av data-, avgöra huruvida vissa problem är i princip olösbart, vilka tekniker kan användas för att faktorn stora mängder eller upptäck det största primtal, en så vidare.


Kommentarer

  • Om oss
  • Reklam
  • Kontakta redaktören
  • Få nyhetsbrev
  • RSS-feed

Redaktör: Beáta Megyesi
Nyheter redaktör: Christiane Schaefer

Kundservice: Mats Schaefer,
Helena Löthman

Tel: +46 00 79 22 00
Fax: +46 00 79 22 01

© Copyright 2014 Debok.net - All rights reserved.