Historické úryvky z vývoja konceptov a pojmotvorby v informatike

FMFI UK a FIIT STU pozývajú na prvú zo série prednášok

28. februára 2017 o 17.45 hod.
v Aule Magne
(-1.61 na 1.PP) FIIT STU v Bratislave, Ilkovičova 2.

Sylabus prednášky:

1. Význam pojmotvorby vo vede a rola matematiky a informatiky v kontexte vývoja vedy.
2. Čo je informácia? Od Shannona ku Kolmogorovi a čo sme vlastne dosiahli a čo nie.
3. Čo je algoritmus a ako definovať hranice automatickej vyčísliteľnosti. Od Turinga po kvantové počítače.
4. Čo je nekonečno a teória vyčísliteľnosti ako redukovateľnosť alebo neredukovateľnosť nekonečnej mnohotvárnosti v špecifikácii problémov na konečnú veličinu a hranice matematiky ako výskumného nástroja.
5. Ako merať výpočtovú obtiažnosť problémov.
6. Ako definovať hranicu praktickej vypočítateľnosti alebo je tato hranica vôbec robustne definovateľná?
7. Senzibilita problémov, ako čarovať v algoritmike a ako sa povzniesť sa nad fyzikálne nerealizovateľné množstvo práce.

Literatúra:
Základ pre technické záležitosti ako dôkazy: J. Hromkovič. Theoretical Computer Science. Springer.

Doplnková literatúra pre prehĺbenie v analýzach a dôkazoch:
J. Hromkovič: Design and Analysis of Randomized Algorithms, Springer.
J. Hromkovič: Berechenbarkeit , Springer, Vieweg, Teubner, nemecky.
J. Hromkovič: Algorithmics for Hard Problems, Springer.

Literatúra pre pojmotvorbu a kontextové úvahy:
J. Hromkovič: Algorithmics Adventures. From knowledge to magic. Springer.
J. Hromkovič: Sedem divov informatiky (slovensky preklad)

Predpoklady pre poslucháčov:
známe pojmy a koncepty: abeceda, slová, jazyky, rozhodnuteľné problémy, optimalizačné úlohy, elementárna logika, diskrétna matematika (kombinatorika, grafy), elementárna pravdepodobnosť v spočítateľných pravdepodobnostných priestoroch