Teoretisk datavetenskap
Teoretisk datavetenskap[1] ä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: [2]
| ” | Teoretisk datavetenskap täcker en vidd av ämnen som innefattar: algoritmer, datastrukturer, beräkningskomplexitet, paralell och distribuerad beräkningar, kvantberäkningar, automatteori, informationsteori, kryptografi, programsemantik och verifiering, maskininlärning, beräkningsbiologi, beräkningsekonomi, beräkningsgeometri och beräkningstalteori och algebra. Profession lägger stor vikt vid matematisk rigorositet. | „ |
Referenser
- ^ ”– Det satsas alldeles för lite på teoretisk datavetenskap”. Lum. 20 november 2014. https://www.lum.lu.se/det-satsas-alldeles-for-lite-pa-teoretisk-datavetenskap/. Läst 14 oktober 2019.
- ^ ”SIGACT”. SIGACT. https://www.sigact.org/. Läst 19 januari 2017.