Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Gomes, Leandro Rafael Moreira"'
Doctoral programme in Computer Science
Esta tese debruça-se sobre computações pesadas ou, por outras palavras, programas e asserções sobre estes cuja execução ou avaliação tem alguma forma de peso associado. Por peso queremos dizer um v
Esta tese debruça-se sobre computações pesadas ou, por outras palavras, programas e asserções sobre estes cuja execução ou avaliação tem alguma forma de peso associado. Por peso queremos dizer um v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::c706b764eec5ca26a3af5e6609de64a8
https://hdl.handle.net/1822/77908
https://hdl.handle.net/1822/77908
Fuzzy programming languages, such as the Fuzzy Arden Syntax (FAS), are used to describe behaviours which evolve in a fuzzy way and thus cannot be characterized neither by a Boolean outcome nor by a probability distribution. This paper introduces a se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::9a2227c1a90167f2ccd7f799f9ce2bbb
https://hdl.handle.net/1822/78051
https://hdl.handle.net/1822/78051
Dynamic logic is a powerful framework for reasoning about imperative programs. This paper extends previous work [9] on the systematic generation of dynamic logics from the propositional to the equational case, to capture `full- edged' imperative prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______307::e8df7cec41d5285a4e8e8ab39f41babe
https://hdl.handle.net/1822/69204
https://hdl.handle.net/1822/69204
Publikováno v:
Repositório Científico de Acesso Aberto de Portugal
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Repositório Científico de Acesso Aberto de Portugal (RCAAP)
instacron:RCAAP
Mestrado em Ensino de Matemática no 3º ciclo do Ensino Básico e no Secundário Este trabalho tem como objetivo analisar de que forma o uso de uma ferramenta como a calculadora gráfica na resolução de tarefas de natureza exploratória contribui
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d7b8d71d058f2d13104ce96a7621cb44
http://hdl.handle.net/10773/10425
http://hdl.handle.net/10773/10425