Modaalilogiikan käyttö tietokoneohjelmien semantiikassa
Näytä kaikki kuvailutiedot
Tiedostot
|
Tähän julkaisuun ei ole liitetty tiedostoja.
|
|
URN:
|
http://URN.fi/URN:NBN:fi:tty-200907102661
|
|
Nimeke:
|
Modaalilogiikan käyttö tietokoneohjelmien semantiikassa |
|
Tekijä:
|
Simola, Matti |
|
Julkaisun tyyppi:
|
Diplomityö |
|
Julkaisuaika:
|
1981 |
|
Yliopisto:
|
Tampereen teknillinen korkeakoulu |
|
Tiedekunta:
|
Sähkötekniikan osasto |
|
Laitos:
|
Matematiikan laitos |
|
Tiivistelmä:
|
Työssä esitellään eräs tapa todistaa ohjelmia formaalisesti. Ohjelman todistaminen palautetaan ohjelman teorian teoreemojen todistamiseen. Ohjelman teoria muodostetaan erikoisesta modaalilogiikan systeemin S4 laajennuksesta (seuraajasysteemistä) liittämällä sen aksioomiin kyseistä ohjelmaa luonnehtivat ei-loogiset aksioomat. /Kir10 |
Viite kuuluu kokoelmiin:
Näytä kaikki kuvailutiedot