Współczesna logika i informatyka

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Contemporary Logic and Computing

Zawartość książki:

Niniejszy tom powstał w wyniku propozycji książkowej złożonej około dwa lata temu wydawnictwu College Publications w Londynie. Główną ideą było zilustrowanie wzajemnego oddziaływania między współczesnymi pracami z zakresu logiki i głównego nurtu matematyki.

Podział tomu na dwie części - tematy z zakresu „logiki” i tematy z zakresu „informatyki” - jest mniej lub bardziej konwencjonalny. Niektóre artykuły koncentrują się na szczegółach historycznych i technicznych, mających na celu ukazanie wpływu prac niektórych wybitnych matematyków i filozofów na współczesne badania w logice i informatyce. Inne artykuły, również o charakterze historycznym, miały na celu wykazanie punktowych metod badawczych i konkretnych pojęć lub tematów, takich jak np. rozstrzygalność, obliczalność, losowość i złożoność obliczeniowa lub opisowa. Ogólnie rzecz biorąc, artykuły były pomyślane jako konkretne przeglądy wyników.

Inne tomy - które zostaną wydane w późniejszym czasie w tej samej serii - mają nadzieję nakreślić aspekty współczesnego krajobrazu logiki, które nie zostały tutaj zilustrowane.

Docelowymi odbiorcami książki są studenci logiki matematycznej, podstaw matematyki i informatyki, a także filozofowie, matematycy i ewentualnie inni naukowcy zainteresowani najnowszymi badaniami nad logiką i informatyką.