Higher Order Logics
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Docência no ensino superior: interpelando os sentidos e desafios dos espaços institucionais de formação
RESUMO O texto problematiza os sentidos e desafios dos espaços institucionais de apoio ao docente que atua no ensino superior; toma como foco o debate sobre necessidades formativas dos professores, interpelando as lógicas que as definem e que lhes emprestam direção; e, ressalta o risco de soluções neotecnicistas. O uso de narrativas é acionado como re
Educ. rev.. Publicado em: 29/07/2019
-
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. The public, the private and the State under the logic of the capital: the expansion of higher education in Southwestern Paraná / O PÚBLICO, O PRIVADO E O ESTADO SOB A LÓGICA DO CAPITAL: A EXPANSÃO DO ENSINO SUPERIOR NO SUDOESTE DO PARANÁ
of Paraná in the period of 1967 to 2009. The political and economical determinants of the process of expansion of higher education in this region are analyzed, considering the social organization of work (capitalist relationships of production) and the function of the State in the formation of educational politics. The cutting of the object indicates the or
Publicado em: 2009
-
4. Incompletude e auto-organização : sobre a determinação de verdades logicas e matemáticas
Gödel s Incompleteness Theorems have been mentioned in the studies on self-organization as providing examples of non-mechanical and truly self-organized processes. One of the fundaments of these studies is related to the analyses that assert that Gödel s results, associated to Church s Thesis/Definition on calculability, imply the impossibility of complete
Publicado em: 2003