| Title: | Modaalilogiikan käyttö tietokoneohjelmien semantiikassa |
| Author: | Simola, Matti |
| Abstract: | 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 |
| Issue date: | 1981 |
| URN: | http://URN.fi/URN:NBN:fi:tty-200907102661 |
| Publication type: | Diplomityö |
| Language: | |
| Pages: | |
| Examiner: | prof.Timo Lepistö |
| University: | Tampereen teknillinen korkeakoulu |
| Faculty: | Sähkötekniikan osasto |
| Department: | Matematiikan laitos |
| Degree Programme: |
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||