Logică și calcul contemporan

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Contemporary Logic and Computing

Conținutul cărții:

Volumul de față provine dintr-o propunere de carte făcută în urmă cu aproximativ doi ani către College Publications, Londra. Ideea principală a fost aceea de a ilustra interacțiunea dintre lucrările contemporane în domeniul logicii și matematicile principale.

Împărțirea volumului în două secțiuni - subiecte în „logică” vs subiecte în „informatică” - este mai mult sau mai puțin convențională. Unele contribuții sunt axate pe detalii istorice și tehnice menite să pună în perspectivă impactul activității unor matematicieni și filosofi remarcabili asupra cercetării contemporane în logică și informatică. Alte lucrări, de asemenea cu o aromă istorică, au fost menite să evidențieze metode punctuale de cercetare și concepte sau subiecte specifice, cum ar fi, de exemplu, decidabilitatea, calculabilitatea, aleatoriul și complexitatea computațională sau descriptivă. În general, lucrările au fost concepute ca studii specifice ale rezultatelor.

Alte volume - care vor fi publicate ulterior în aceeași serie - vor delimita, sperăm, aspecte ale peisajului logic contemporan care nu au fost ilustrate aici.

Publicul vizat de carte include studenți absolvenți de logică matematică, fundamentele matematicii și știința calculatoarelor, precum și filosofi, matematicieni și, eventual, alți oameni de știință interesați de cercetările recente privind logica și calculul.