[Solomonov Seminar] 141. Solomonov seminar

[Marko Grobelnik]

Vabim vas na 141. Solomonov seminar, ki bo v torek,
2. marca 2004 ob 13:00 uri v Veliki predavalnici IJS.

Na seminarju bo Damjan Bojazdijev predstavil 
formalni pogled na viruse.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Damjan Bojadzijev, IJS
     Racunalniski virusi in izrek o rekurziji

Teoreticna podlaga virusov je izrek o rekurziji (Kleene), ki zagotavlja  obstoj 
programov, ki racunajo svoje lastnosti. Zato obstajajo programi, ki izracunajo 
indeks svoje lastne kompozicije z nekim drugim programom. Ce ta drugi 
program konstruira programe iz njihovih indeksov prog(n)=Pn
bo kompozicija obeh programov virus, ki rekonstruira samega sebe.
 
Predavanje bo predstavilo obratno, hevristicno pot: od vprasanja, kako 
konstruirati program, ki rekonstruira samega sebe, do izreka o rekurziji.