Računalniški virusi in izrek o rekurziji

author: Damjan Bojadžijev, Condensed Matter Physics, Jožef Stefan Institute

Description

Teoretična podlaga virusov je izrek o rekurziji (Kleene), ki zagotavlja obstoj programov, ki računajo svoje lastnosti. Zato obstajajo programi, ki izračunajo indeks svoje lastne kompozicije z nekim drugim programom. Če ta drugi program konstruira programe iz njihovih indeksov prog(n)=Pn bo kompozicija obeh programov virus, ki rekonstruira samega sebe. Predavanje bo predstavilo obratno, hevristično pot: od vprašanja, kako konstruirati program, ki rekonstruira samega sebe, do izreka o rekurziji.

You might be experiencing some problems with Your Video player.

Lecture rating

People found this lecture:
Worth seeing
because it is:
Valuable and informative
Well presented
Easily understandable
Acceptably recorded
You need to login to cast your vote.

Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our ticket system to describe your request and upload the data.
Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.