Teoretsko računarstvo

Izvor: Wikipedija
Skoči na: orijentacija, traži

Teoretsko računarstvo je skup tema računarstva koje se uglavnom fokusiraju na apstraktne, logičke i matematičke aspekte računanja, kao što je teorija računanja, analiza algoritama te semantika programskih jezika. Iako nije jedinstvena tema, njeni praktičari oblikuju istaknutu grupu unutar istraživača u računarstvu.

Djelokrug[uredi VE | uredi]

Nije lako precizno opisati teoretska područja; ACM-ov SIGACT, a koji opisuje svoju zadaću kao promociju teoretskog računarstva, veli

"Polje teoretskog računarstva je shvaćeno toliko široko, da obuhvaća algoritme, podatkovne strukture, računsku teoriju složenosti, raspodijeljeno računarstvo, paralelno računarstvo, VLSI, strojno učenje, računsku biologiju, računsku geometriju, teoriju informacije, kriptografiju, kvantno računarstvo, računsku teoriju brojeva i algebru, programsku semantiku i verifikaciju, teoriju automata te proučavanje slučajnosti. Rad u ovom polju je često istaknut naglaskom na matematičku tehniku i rigor."

Čak i tad "teoretičari" u računarstvu sebe vide na razne načine. Neki svoj rad doživljavaju kao "'znanost' koja leži u podlozi računarstva"[1], iako ovo zanemaruje eksperimentalnu znanost u neteoretskim područjima kao što je istraživanje programskog inženjerstva.

Organizacije[uredi VE | uredi]

  • EATCS, European Association for Theoretical Computer Science
  • SIGACT
  • Nizozemsko udruženje za teoretsko računarstvo [2]

Časopisi i novinske brošure[uredi VE | uredi]

Konferencije[uredi VE | uredi]

  • Godišnje 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)
  • ACM Symposium on Principles of Distributed Computing (PODC)
  • Computability in Europe (CiE)

Vidi još[uredi VE | uredi]

Izvori[uredi VE | uredi]

Vanjske poveznice[uredi VE | uredi]