Teoretisk datavetenskap: Skillnad mellan sidversioner
Innehåll som raderades Innehåll som lades till
Räddar 1 källor och märker 0 som döda.) #IABot (v2.0.9.5 |
Länkförslagsfunktion: la till 2 länkar. |
||
| Rad 1: | Rad 1: | ||
[[Fil:Maquina.png|miniatyr| En konstnärlig avbildning av en [[Turingmaskin|Turing-maskin]]. Turingmaskiner används för att modellera generella beräkningsenheter.]]{{För|huvudgrenen|Datavetenskap||||}} |
[[Fil:Maquina.png|miniatyr| En konstnärlig avbildning av en [[Turingmaskin|Turing-maskin]]. Turingmaskiner används för att modellera generella beräkningsenheter.]]{{För|huvudgrenen|Datavetenskap||||}} |
||
'''Teoretisk datavetenskap'''<ref>{{Webbref|titel=– Det satsas alldeles för lite på teoretisk datavetenskap|url=https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/|verk=Lum|datum=2014-11-20|hämtdatum=2019-10-14|språk=sv-SE|arkivurl=https://web.archive.org/web/20191014200952/https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/|arkivdatum=2019-10-14}}</ref> eller '''teoretisk datalogi'''<ref>{{Webbref|titel=Knuth-priset till framstående svensk datalog|url=http://etn.se/index.php/nyheter/64915-knuth-priset-till-framstaende-svensk-datalog.html|verk=etn.se|hämtdatum=2019-10-14}}</ref> är en delmängd av allmän [[datavetenskap]] och [[matematik]] som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin. |
'''Teoretisk datavetenskap'''<ref>{{Webbref|titel=– Det satsas alldeles för lite på teoretisk datavetenskap|url=https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/|verk=Lum|datum=2014-11-20|hämtdatum=2019-10-14|språk=sv-SE|arkivurl=https://web.archive.org/web/20191014200952/https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/|arkivdatum=2019-10-14}}</ref> eller '''teoretisk datalogi'''<ref>{{Webbref|titel=Knuth-priset till framstående svensk datalog|url=http://etn.se/index.php/nyheter/64915-knuth-priset-till-framstaende-svensk-datalog.html|verk=etn.se|hämtdatum=2019-10-14}}</ref> är en [[delmängd]] av allmän [[datavetenskap]] och [[matematik]] som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin. |
||
Det är svårt att beskriva de teoretiska områdena exakt. [[Association for Computing Machinery|ACM]]:s särskilda intressegrupp för algoritmer och beräkningsteori (SIGACT) ger följande beskrivning:<ref>{{webbref|titel=SIGACT|url=https://www.sigact.org/|hämtdatum=2017-01-19}}</ref> |
Det är svårt att beskriva de teoretiska områdena exakt. [[Association for Computing Machinery|ACM]]:s särskilda intressegrupp för algoritmer och [[beräkningsteori]] (SIGACT) ger följande beskrivning:<ref>{{webbref|titel=SIGACT|url=https://www.sigact.org/|hämtdatum=2017-01-19}}</ref> |
||
{{Citat|Teoretisk datavetenskap täcker en vidd av ämnen som innefattar: [[algoritmer]], [[datastruktur]]er, [[beräkningskomplexitet]], parallella och [[distribuerad beräkning|distribuerade beräkningar]], kvantberäkningar, [[automatteori]], [[informationsteori]], [[kryptografi]], [[Kompilator#Språkberoende_analys|programsemantik]] och verifiering, [[maskininlärning]], beräkningsbiologi, beräkningsekonomi, beräkningsgeometri och beräkningstalteori och algebra. Professionen lägger stor vikt vid matematisk rigorositet.|||position=|ram=|citattecken=}} |
{{Citat|Teoretisk datavetenskap täcker en vidd av ämnen som innefattar: [[algoritmer]], [[datastruktur]]er, [[beräkningskomplexitet]], parallella och [[distribuerad beräkning|distribuerade beräkningar]], kvantberäkningar, [[automatteori]], [[informationsteori]], [[kryptografi]], [[Kompilator#Språkberoende_analys|programsemantik]] och verifiering, [[maskininlärning]], beräkningsbiologi, beräkningsekonomi, beräkningsgeometri och beräkningstalteori och algebra. Professionen lägger stor vikt vid matematisk rigorositet.|||position=|ram=|citattecken=}} |
||
Nuvarande version från 25 november 2023 kl. 15.30
Teoretisk datavetenskap[1] eller teoretisk datalogi[2] är en delmängd av allmän datavetenskap och matematik som fokuserar på mer matematiska ämnen för datoranvändning och inkluderar beräkningsteorin.
Det är svårt att beskriva de teoretiska områdena exakt. ACM:s särskilda intressegrupp för algoritmer och beräkningsteori (SIGACT) ger följande beskrivning:[3]
| ” | Teoretisk datavetenskap täcker en vidd av ämnen som innefattar: algoritmer, datastrukturer, beräkningskomplexitet, parallella och distribuerade beräkningar, kvantberäkningar, automatteori, informationsteori, kryptografi, programsemantik och verifiering, maskininlärning, beräkningsbiologi, beräkningsekonomi, beräkningsgeometri och beräkningstalteori och algebra. Professionen lägger stor vikt vid matematisk rigorositet. | „ |
Referenser
[redigera | redigera wikitext]- ^ ”– Det satsas alldeles för lite på teoretisk datavetenskap”. Lum. 20 november 2014. Arkiverad från originalet den 14 oktober 2019. https://web.archive.org/web/20191014200952/https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/. Läst 14 oktober 2019.
- ^ ”Knuth-priset till framstående svensk datalog”. etn.se. http://etn.se/index.php/nyheter/64915-knuth-priset-till-framstaende-svensk-datalog.html. Läst 14 oktober 2019.
- ^ ”SIGACT”. https://www.sigact.org/. Läst 19 januari 2017.