"L'induzione è uno strumento pervasivo in informatica e matematica per definire oggetti e ragionare su di essi. La coinduzione è il duale dell'induzione e come tale porta con sé strumenti abbastanza diversi. Oggi è ampiamente utilizzata nell'informatica, ma anche in altri campi, tra cui l'intelligenza artificiale, le scienze cognitive, la matematica, la logica modale, la filosofia e la fisica. L'esempio più noto di coinduzione è la bisimulazione, utilizzata principalmente per definire e dimostrare uguaglianze tra oggetti potenzialmente infiniti: processi, flussi, insiemi non ben fondati, ecc. Questo libro presenta bisimulazione e coinduzione: i concetti e le tecniche fondamentali e la dualità con l'induzione. Ogni capitolo contiene esercizi e soluzioni selezionate, che consentono agli studenti di collegare la teoria con la pratica. Un'enfasi particolare è posta sulla bisimulazione come equivalenza comportamentale per i processi. Pertanto il libro funge da introduzione ai modelli per esprimere i processi (come i calcoli di processo) e alle tecniche associate di analisi operativa e algebrica"-- "L'induzione è uno strumento pervasivo in informatica e matematica per definire oggetti e ragionare su di essi duale dell'induzione, e come tale introduce strumenti abbastanza diversi. Oggi è ampiamente utilizzato nell'informatica, ma anche in altri campi, tra cui l'intelligenza artificiale, le scienze cognitive, la matematica, la logica modale, la filosofia e la fisica. L'esempio più noto di coinduzione è la bisimulazione, utilizzata principalmente per definire e dimostrare uguaglianze tra oggetti potenzialmente infiniti: processi, flussi, insiemi non ben fondati, ecc.
caricamento...
