Súčasná logika a výpočtová technika

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Contemporary Logic and Computing

Obsah knihy:

Tento zväzok vznikol na základe knižného návrhu, ktorý bol približne pred dvoma rokmi predložený vydavateľstvu College Publications v Londýne. Hlavnou myšlienkou bolo ilustrovať vzájomný vzťah medzi súčasnými prácami v logike a hlavným prúdom matematiky.

Rozdelenie zväzku na dve časti - témy z „logiky“ a témy z „informatiky“ - je viac-menej konvenčné. Niektoré príspevky sú zamerané na historické a technické detaily, ktoré majú priblížiť vplyv práce niektorých významných matematikov a filozofov na súčasný výskum v logike a informatike. Niektoré ďalšie príspevky, tiež s historickým nádychom, mali dokladovať puncované metódy výskumu a konkrétne pojmy alebo témy, ako napr. rozhodnuteľnosť, vypočítateľnosť, náhodnosť a výpočtová alebo deskriptívna zložitosť. Vo všeobecnosti boli príspevky určené ako špecifické prehľady výsledkov.

Ďalšie zväzky - ktoré budú vydané neskôr v tej istej sérii - snáď načrtnú aspekty súčasnej logiky, ktoré tu neboli zobrazené.

Predpokladaným publikom knihy sú študenti postgraduálneho štúdia matematickej logiky, základov matematiky a informatiky, ako aj filozofi, matematici a prípadne ďalší vedci, ktorí sa zaujímajú o najnovší výskum v oblasti logiky a informatiky.