Buscar
Mostrando ítems 1-10 de 234
Verificação de projetos de controle de veículos aéreos autônomos
(Universidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃOPrograma de Pós-Graduação em Ciência da ComputaçãoUFMG, 2020-11-26)
Flight systems formal checking became necessary once automatic control systems became widely applied, as they are complex, interdisciplinary and have highly dependent
components. Failures are resposible from financial to ...
Propostas para o ensino de números complexos no ensino médio
(Universidade Federal de Santa MariaBrasilMatemáticaUFSMPrograma de Pós-Graduação em Matemática em Rede NacionalCentro de Ciências Naturais e Exatas, 2014-08-29)
This work explored the geometric properties of complex numbers. It presents a brief histor-
ical contextualization, formalize the concepts, passing through the presentation of its algebraic
form to its polar form and its ...
Aspectos do primeiro teorema da incompletude de Kurt Gödel e uma análise da prova teorético informacional de Gregory Chaitin
(Universidade Federal de Santa MariaBrasilFilosofiaUFSMPrograma de Pós-Graduação em FilosofiaCentro de Ciências Sociais e Humanas, 2022-05-20)
The work seeks to elucidate and understand relevant aspects in the structure of paradoxical
undecidable sentences in consistent formal systems that contain Dedekind-Peano Arithmetic.
The first chapter exposes the ...
Feira do ver-o-peso: um espaço não formal e interdisciplinar de educação
(Universidade Federal do ParáBrasilInstituto de Educação Matemática e CientíficaUFPAPrograma de Pós-Graduação em Docência em Educação em Ciências e Matemáticas, 2018)
Nas vozes de um mesmo tempo: a educação física institucionalizada no período da ditadura militar em Cacequi
(Universidade Federal de Santa MariaBREducaçãoUFSMPrograma de Pós-Graduação em Educação, 2006-03-22)
This study is set as a proposal to the historical reestablishment about the institutionalized Physical Education in the municipal district of Cacequi during the period of the Dictatorial Military Government. It is an attempt ...
A SysML profile for smart city applications
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2021)
Números complexos: um estudo acerca dos conhecimentos prévios e das noções de aplicabilidade na perspectiva dos alunos do 3º ano do ensino médio
(Universidade Federal de Juiz de ForaBrasilICE – Instituto de Ciências ExatasMestrado Profissional em Matemática (PROFMAT)UFJF, 2016)