"Il presente volume contiene gli atti di Logic at Botik '89, un simposio sui fondamenti logici dell'informatica organizzato dall'Istituto dei Sistemi di Programmazione dell'Accademia delle Scienze dell'URSS e tenutosi a Pereslavl-Zalessky, URSS, dal 3 all'8 luglio 1989. Lo scopo del simposio era molto ampio; gli argomenti di interesse erano: complessità dei sistemi formali, matematica costruttiva nell'informatica, semantica denotazionale e operativa dei programmi, complessità descrittiva, logica e schematologia dinamica e algoritmica, strumenti formali per descrivere calcoli simultanei, lambda calcolo e argomenti correlati, fondamenti della programmazione logica, fondamenti logici della teoria dei database, logica per la rappresentazione della conoscenza, logica modale e temporale, teoria dei tipi nella programmazione e verifica dei programmi. Pertanto, gli articoli contenuti in questo volume rappresentano molte tendenze interessanti nei fondamenti logici dell'informatica, che vanno dalla ricerca puramente teorica alle applicazioni pratiche della teoria."--Sito web dell'editore.
caricamento...
