Lagica De Computador
Mostrando 1-5 de 5 artigos, teses e dissertações.
-
1. Uma LÃgica de DescriÃÃo Default / A Description Logic for Default
A formalizaÃÃo do conhecimento e a automatizaÃÃo do raciocÃnio sÃo assuntos centrais de pesquisa da InteligÃncia Articial. A LÃgica de Primeira Ordem tem sido tradicionalmente utilizada para tais propÃsitos. No entanto, ela à mais adequada para lidar com conhecimento completo em circunstÃncias ideais. Em situaÃÃes reais, nas quais o conhecimento
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/08/2011
-
2. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
3. A AvaliaÃÃo da Aprendizagem: aplicaÃÃo de um Modelo Fuzzy para se obter notas mais justas na disciplina de LÃngua Portuguesa. / The Learning Assessment: the application of fuzzy model to obtain fair grades in Portuguese.
This study involves one of the most important themes in the educational field: the learning assessment. From everything that is discussed about it, there is something that is always in evidence: the qualitative proposal that is recommended to the assessment process. So, the aim of this study was to comprehend its meaning from the vision of the elementary sch
Publicado em: 2007
-
4. O algoritmo polinomial de Shor para fatoraÃÃo em um computador quÃntico
Sistemas de criptografia largamente difundidos como o RSA fundamentam a sua eficiÃncia na suposiÃÃo de que, em termos prÃticos, à impossÃvel fatorar nÃmeros inteiros suficientemente grandes em uma escala de tempo aceitÃvel. Mais precisamente, nÃo existem, atà o momento, algoritmos de fatoraÃÃo em tempo polinomial que possam ser implementados nos
Publicado em: 2003
-
5. ContribuiÃÃes para o dimensionamento de fontes de freqÃÃncia sintetizadas.
Fontes sintetizadas sÃo subsistemas presentes em muitos sistemas de microondas empregados em Ãreas como telecomunicaÃÃes, instrumentaÃÃo e lÃgica rÃpida. Estes subsistemas sÃo responsÃveis pela geraÃÃo de sinais com alta estabilidade em freqÃÃncia, senoidais ou nÃo, e sÃo formados por diversos circuitos interconectados. Dentre estes circuitos
Publicado em: 1998