| teema: | Mitteklassikalised loogikad ja programmeerimisteooria |
|---|---|
| tunnusnumber: | ETF5567 |
| projekti tüüp: | Eesti Teadusfondi grant |
| erialad: |
1.1-1.5. Täppisteadused 2.9. Süsteemitehnika ja infotehnoloogia |
| seisund: | käimasolev |
| asutus: | TTÜ Küberneetika Instituut |
| projekti juht: | Tarmo Uustalu |
| kestus: | 01.01.2003 - 31.12.2006 |
| kirjeldus: | Projekt keskendub programmeerimisteooria jaoks huvipakkuvate intuitsionistlike ja seonduvate loogikate teooriale ning rakendustele. Uuritakse püsipunktioperaatoritega ja sisukat kategoorset interpretatsiooni omavate modaalsustega intuitsionistlike süsteemide, duaalse intuitsionistliku loogika ning mitmesuguste intermediaarloogikate tõestussüsteeme, kategoorset semantikat ja termiarvutusi. Niisuguste loogikate termiarvutused on käsitletavad induktiivseid, koinduktiivseid tüüpe, abstraktseid arvutustüüpe ja juhtimisoperaatoreid toetavate baasfunktsionaalkeeltena. Eesmärgiks on saada uusi teoreetilisi tulemusi vaadeldavate loogikasüsteemide kohta ning arendada rakendusi programmikeeltes ja programmeerimismetoodikas. Projekt jätkab ETFi projekti 4155 (2000-02). |
| projektiga seotud isikud | ||||
|---|---|---|---|---|
| nr | nimi | asutus | amet | |
| 1. | Marko Kääramees | TTÜ Kübern. Inst. | teadur | |
| 2. | Peep Küngas | TTÜ Kübern. Inst. | insener | |
| 3. | Jaan Penjam | TTÜ Kübern. Inst. | direktor | |
| 4. | Jelena Sanko | TTÜ Kübern. Inst. | insener | |
| 5. | Tanel Tammet | TTÜ infotehn.-tk. | professor | |
| 6. | Tarmo Uustalu | TTÜ Küberneetika Instituut | vanemteadur | |
| 7. | Varmo Vene | TÜ mat.-inf.-tk. | dotsent | |