See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus
"Eesti Teadusfondi uurimistoetus (ETF)" projekt ETF5567
ETF5567 (ETF5567) "Mitteklassikalised loogikad ja programmeerimisteooria (1.01.2003−31.12.2006)", Tarmo Uustalu, Tallinna Tehnikaülikool, TTÜ Küberneetika Instituut.
ETF5567
Mitteklassikalised loogikad ja programmeerimisteooria
Non-classical logics and programming theory
1.01.2003
31.12.2006
Teadus- ja arendusprojekt
Eesti Teadusfondi uurimistoetus (ETF)
ETIS klassifikaatorAlamvaldkondCERCS klassifikaatorFrascati Manual’i klassifikaatorProtsent
4. Loodusteadused ja tehnika4.4. MatemaatikaP110 Matemaatiline loogika, hulgateooria, kombinatoorika1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)34,0
4. Loodusteadused ja tehnika4.6. ArvutiteadusedT121 Signaalitöötlus 1.1. Matemaatika ja arvutiteadus (matemaatika ja teised sellega seotud teadused: arvutiteadus ja sellega seotud teadused (ainult tarkvaraarendus, riistvara arendus kuulub tehnikavaldkonda)33,0
4. Loodusteadused ja tehnika4.7. Info- ja kommunikatsioonitehnoloogia601 2.2. Elektroenergeetika, elektroonika (elektroenergeetika, elektroonika, sidetehnika, arvutitehnika ja teised seotud teadused)33,0
PerioodSumma
01.01.2003−31.12.2003180 000,00 EEK (11 504,10 EUR)
01.01.2005−31.12.2005189 411,00 EEK (12 105,57 EUR)
01.01.2004−31.12.2004195 000,00 EEK (12 462,77 EUR)
01.01.2006−31.12.2006193 200,00 EEK (12 347,73 EUR)
48 420,17 EUR

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).
The project focusses on the theory and applications of intuitionistic and related logics with relevance for programming theory. Specifically, proof systems, categorical semantics and term calculi are studied for intuitionistic systems with fixedpoint operators and with modalities admitting a respectable categorical interpretation, dual intuitionistic logic, and various intermediate logics. Term calculi for these systems are basic functional languages featuring inductive, coinductive types, abstract computation types, and control operators. The goal is to obtain new theoretical results about the logics and to develop new applications in programming languages and programming methodology. The project is a continuation to ETF project 4155 (2000-02).