IA073 GEB - meze formálních systémů

Seminář byl opět věnován knize D. Hofstadtera

Gödel, Escher, Bach: An Eternal Golden Braid







Vzpomínky na seminář z podzimního semestru akademického roku 2001/2002:

seminář vedli doc. RNDr. Luboš Brim, CSc. a doc. RNDr. Ivana Černá, CSc.

- - - - -

Účastníci semináře:

Oldřich Stražovský, Ivana Černá, Roman Rožník, Jaroslav Műller, Martin Hanzálek, Tomáš Hanžl, Pavel Krčál
Tomáš Bázdil, Pavel Šmerk, Vojta Řehák, Radek Pelánek, Luboš Brim
(Michal Marciniszyn - mimo záběr)

Ukázky vzorových algoritmů:

- - - - -

- - - - -

- - - - -

Atmosféra semináře byla opět velmi specifická:

- - - - -


- - - - -


- - - - -


- - - - -

Pro zájemce o další běh semináře je zde několik námětů k zamyšlení (připravil Pavel Kčál):

- - - - -


- - - - -


- - - - -


- - - - -