Kortárs logika és számítástechnika

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Contemporary Logic and Computing

Könyv tartalma:

A jelen kötet egy körülbelül két évvel ezelőtt a londoni College Publicationsnek tett könyvjavaslatból született. A fő gondolat az volt, hogy a kortárs logikai munkák és a mainstream matematika közötti kölcsönhatást illusztrálja.

A kötet két részre osztása - a „logika” és a „számítástechnika” témái - többé-kevésbé hagyományos. Néhány hozzászólás történeti és technikai részletekre összpontosít, amelyek célja, hogy perspektívába helyezzék néhány kiemelkedő matematikus és filozófus munkájának hatását a logika és a számítástechnika kortárs kutatásaira. Néhány más, szintén történeti vonatkozású írás célja az volt, hogy bizonyítsa a pontos kutatási módszereket és konkrét fogalmakat vagy témákat, mint például a határozhatóság, a kiszámíthatóság, a véletlenszerűség és a számítási vagy leíró komplexitás. Általánosságban a dolgozatokat eredmények konkrét áttekintésének szánták.

Más - ugyanebben a sorozatban később megjelenő - kötetek remélhetőleg a kortárs logikai tájkép olyan aspektusait fogják körülhatárolni, amelyek itt nem kerültek bemutatásra.

A könyv célközönsége a matematikai logika, a matematika alapjai és a számítástechnika területén végzett hallgatók, valamint filozófusok, matematikusok és esetleg más, a logika és a számítástechnika legújabb kutatásai iránt érdeklődő tudósok.