Material Detail

Ne ne biti ali ne biti?

Ne ne biti ali ne biti?

This video was recorded at Solomon seminar. Klasične veje matematike, kot so geometrija, analiza in diferencialni račun, so mnogo starejše od računalniške znanosti. Zato ni presenteljivo, da ne ponujajo odgovorov na vprašanja, ki zanimajo računalničarje; na primer, kakšne podatkovne strukture so primerne za predstavitev realnih števil, diferenciabilnih preslikav, verjetnostnih porazredlitev in ostalih klasičnih matematičnih struktur. Teorija realizabilnosti ponuja en možen odgovor na ta vprašanja: celoten matematični svet zgradimo še enkrat in ga zasnujemo na računskem modelu kot je na primer programski jezik ali na stroj z RAM pomnilnikom. V tako prikrojenem matematičnem svetu je vsaka matematična konstrukcija avtomatično opremljena z ustrezno računalniško implementacijo. Računalniško... Show More

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.