Zpět na domovskou stránku.

Logika programů

Předmět není v současné době aktivní.

Ke stažení:
  1. Text k přednášce (109 stran, verze 7.6.1999, klikací PDF )

    Z obsahu: procesy a akční struktury, Hennessyho-Milnerova modální logika, věta o korespondenci a modální definovatelnost, parciální korektnost programů, modální mu-kalkulus, jazyk komunikujících systémů (CCS).

Poslední změna: 26.9.2007