937 resultados para Formal languages.


Relevância:

20.00% 20.00%

Publicador:

Resumo:

O presente estudo tem como objetivo analisar os efeitos do programa de educação não formal Jovem Aprendiz, desenvolvido na Costa do Sol do Estado do Rio deJaneiro, a partir da perspectiva dos jovens egressos e dos educadores. A investigação contempla a análise do Programa Jovem Aprendiz mediante a contextualização da Lei de Aprendizagem n 10.097/00 e uma discussão teórico-conceitual acerca da educação não formal, de acordo com Gohn (2003, 2005a, 2005b, 2006, 2009, 2010) e Trilla (1993; 2008), autores que contribuem com a caracterização desse tipo de educação. No que tange à abordagem das políticas públicas para a juventude, Sposito e Carrano (2003) e Corrochano (2002; 2008a; 2008b) fundamentaram a análise do objeto da pesquisa e, com base nos estudos de Sennett (2006; 2009), são analisadas as características e a heterogeneidade do mercado de trabalho na atualidade. Os resultados revelam que os jovens egressos possuem sentimento de saudosismo e uma ampliação da visão pessoal de si e agradecimento pela passagem no Programa. Os impactos do Programa foram em torno das aprendizagens para a formação humana, dentre as quais destacamos a social (GOHN, 2010), englobando valores, ética, escolhas, o aprender a ser que envolveu postura comportamental, aprender a trabalhar em grupo, saber conviver, ouvir, comunicar-se, sugerir (liberdade), proatividade; incentivou os participantes a ter objetivos, comprometimento e amadurecimento. Os educadores pontuaram as aprendizagens teórica, cultural (GOHN, 2010) e o impacto por trabalhar com a(s) juventude(s) como descobrindo na prática do dia a dia a ser educador, aprendendo a lidar com as incertezas, o processo de humanização, socialização e a singularização, o processo de escuta e acolhimento, o aprofundamento na legislação que embasa o Programa, a importância do treinamento adequado e de ter um pedagogo gerindo a equipe multidisciplinar, o aprender a otimizar o tempo. Dessa forma, a pesquisa vai ao encontro das abordagens sobre a educação não formal que a contemplam como um processo sociopolítico, cultural e pedagógico de formação para a cidadania.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

[ES] Este trabajo se dedica fundamentalmente a revisar la interpretación usual de los tipos irlandés antiguo "·berar" y umbro "ferar" como provenientes de una forma originaria que es caracterizada por lo común como 3.ª sg. con desinencia medio-pasiva sin dental. Con este fin, se analizan las hipótesis hasta ahora propuestas, tanto en su vertiente formal como semántica (§§4-6), se valoran otras posibles explicaciones para formas de otras lenguas indoeuropeas que han sido aducidas como apoyo para tal reconstrucción (§§7-9) y, por último, se propone que el tipo irl.a. "·berar" es producto de una innovación céltica (insular) (§§10-19) y que no hay desinencias en "-r" sin dental en itálico (§§20-25).

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta tese de doutorado parte da perspectiva inicial de que a gramaticalização se restringe a tratado sobre itens lexicais ou discursivos que se tornam itens gramaticais (o que a enquadraria dentro da Teoria da Variação, inserta esta dentro da Pesquisa Sociolinguística), mas segue em direção a um salto epistemológico que remodele aquela perspectiva, ampliando-a a patamar do qual ela pode ser observada como teoria autônoma, investigativa de fenômenos limítrofes e nem sempre discretos entre linguagem e língua, discurso e texto, descrição e prescrição, oralidade e escrita, léxico e gramática. Desse modo, propugna-se pela visão epistemológica do tema, conduzido, até aqui, de modo puramente ontológico, circunscrito a um (e apenas um) dos muitos espectros que se podem alcançar com a aludida ampliação àquele que vem sendo perquirido como tratado, porém que, segundo se pretende demonstrar, pode e deve ser expandido à malha de uma teoria geral, qual seja a Teoria Geral da Gramaticalização: trata-se, aqui, de seu objetivo geral. Para esse propósito, vale-se a tese de filósofos da linguagem que atuaram sobre essa faculdade ou capacidade humana de forma direta ou indireta desde os seus primórdios ocidentais (como Sócrates, Platão e Aristóteles), passando pelos pensadores mais incisivamente preocupados com os aspectos cognitivos e interativos da linguagem e da língua (como Hegel, Husserl, Saussure, Sapir, Bloomfield, Wittgenstein, Derrida, Chomsky, Labov, Charaudeau, Maingueneau, Ducrot, Coseriu), além de ser necessária a incursão à Gramaticografia mais estrita (como a empreendida por Dionísio da Trácia, Varrão, Arnault e Lancelot, Nebrija, Jerônimo Soares Barbosa, Eduardo Carlos Pereira, Said Ali, Bechara), e, naturalmente, a contribuição filosófica dos pesquisadores sobre a gramaticalização (como Meillet, Vendryès, Bréal, Kurilowicz, Traugott, Heine, Hopper, Lehmann). Uma vez que se tenha mostrado ser verossímil aceitar-se a gramaticalização como teoria autônoma, esta tese pretende legar-lhe o papel instrumental de metodologia auxiliar a muitas entre as que ora se empreendem quando se trata de pesquisas em campos cuja ocupação é a linguagem e a língua: trata-se, aqui, de seu objetivo específico. Para essa duplicidade de metas ou objetivos, será necessário compreender conceitos, categorias e protótipos oriundos da Filosofia da Ciência (Epistemologia), do contraste entre ciências da linguagem e outros ramos do saber, da imersão em Gramaticologia e Gramaticografia (e, em alguns aspectos, em Gramatização e Gramatologia) referentes à Língua Portuguesa, da defesa, enfim, de que o ensino da Gramática Formal (ou Normativa) do idioma privilegia a acepção reflexiva e ativa (plena) dos usos ou atos a que a linguagem só pode chegar por meio do domínio da língua em toda a sua tessitura epistemológica, que gera comunicação e expressividade, raciocínio e emotividade, indo da concretude do discurso ou da oralidade à abstração da entidade pouco ou nada material, que, por sua vez, é mais nitidamente representada pela escrita, seu estágio por assim dizer de forma ainda mais pura, conquanto não excludente da substancialidade com que dialoga de modo incessante no seu constante e dialético passado-futuro ou diversidade-homogeneidade (tese e antítese) de onde emerge o seu presente ou a sua unidade (síntese)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta pesquisa tem por objetivo geral analisar a dinâmica de funcionamento das atividades não formais do Colégio Estadual Guadalajara e apontar para possíveis pontes-diálogo entre educação formal e não formal nesse espaço escolar. Para atingir esse objetivo a dissertação contemplou: a) a descrição das atividades do Núcleo de Cultura do Guadá desde a sua implementação, b) a análise das possíveis relações estabelecidas entre as atividades não formais e as atividades oferecidas pela instituição a partir do proposto pela rede oficial de ensino e c) a influência do Programa Mais Educação na promoção das atividades não formais de ensino pela escola. Nesse sentido, a investigação em foco, ressalta o regime colaborativo entre o ideal de educação integral proposto pelo programa e a perspectiva de formação holística do indivíduo presente nas atividades não formais do C.E. Guadalajara. Para isso conta com aporte teórico de autores como Gohn (2010), Trilla (2008), Gadotti (2005) e Libâneo (2010) para conceituar e categorizar educação formal e não formal. E, com Ferreira (2007), Guará (2006), Cavaliere (2002) e Coelho (s/d) para esclarecer a perspectiva de educação integral e problematizá-la. Os procedimentos metodológicos adotados foram: observação não-participante, análise documental, história oral e aplicação de entrevistas semi-estruturada realizadas com as duas animadoras culturais do Núcleo de Cultura. Os resultados revelam que, de fato existem articulações pontuais entre educação formal e não formal na escola pesquisada. Este aspecto está relacionado com a participação de professores no planejamento das atividades não formais e a melhoria do rendimento dos alunos nas disciplinas formais em virtude da participação nas oficinas ofertadas pelo núcleo. No tocante a colaboração do Programa Mais Educação para a promoção das atividades não formais da escola foi constatado que o programa serviu como auxílio para subsidiar atividades que já ocorriam no espaço escolar sem seu financiamento.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Esta tese tem por objetivo analisar as transformações socioeconômicas, com ênfase na dinâmica do mercado de trabalho, que ocorreram no município de Macaé, principalmente após a promulgação da Lei n 9.478, de 06/08/1997. Esta lei acabou com o monopólio da petrobras no que concerne a prospecção de petróleo atraindo para a região inúmeras empresas multinacionais. A importância do estudo deste municípío se deve ao fato de Macaé exercer um importante papel economico na retomada do crescimento da economia do Estado do Rio de Janeiro em funçaõ da indústria petrolífera e seus impactos estarem além de suas fronteiras, repercurtindo em toda a região norte fluminense e municípios da baixada litorãnea. Outro aspecto abordado é a forma como a região norte fluminense sempre esteve ligada aos projetos de desenvolvimento de nosso país, principalmente no que diz respeito a políticas energéticas, como o proálcool e o petróleo. Macaé tornou-se um pólo econômico muito forte para o capital porém, as contradições do sistema capítalista caminham na mesma proporção que o dinheiro do petróleo, logo as desigualdades sociais despontam de maneira muito forte e o mercado de trabalho local reflete esta contradição.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Historically, waste pickers around the globe have utilised urban solid waste as a principal source of livelihood. Formal waste management sectors usually perceive the informal waste collection/recycling networks as backward, unhygienic and generally incompatible with modern waste management systems. It is proposed here that through careful planning and administration, these seemingly troublesome informal networks can be integrated into formal waste management systems in developing countries, providing mutual benefits. A theoretical framework for integration based on a case study in Lahore, Pakistan, is presented. The proposed solution suggests that the municipal authority should draw up and agree on a formal work contract with the group of waste pickers already operating in the area. The proposed system is assessed using the integration radar framework to classify and analyse possible intervention points between the sectors. The integration of the informal waste workers with the formal waste management sector is not a one dimensional or single step process. An ideal solution might aim for a balanced focus on all four categories of intervention, although this may be influenced by local conditions. Not all the positive benefits will be immediately apparent, but it is expected that as the acceptance of such projects increases over time, the informal recycling economy will financially supplement the formal system in many ways.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Historically, waste pickers around the globe have utilised urban solid waste as a principal source of livelihood. Formal waste management sectors usually perceive the informal waste collection/recycling networks as backward, unhygienic and generally incompatible with modern waste management systems. It is proposed here that through careful planning and administration, these seemingly troublesome informal networks can be integrated into formal waste management systems in developing countries, providing mutual benefits. A theoretical framework for integration based on a case study in Lahore, Pakistan, is presented. The proposed solution suggests that the municipal authority should draw up and agree on a formal work contract with the group of waste pickers already operating in the area. The proposed system is assessed using the integration radar framework to classify and analyse possible intervention points between the sectors. The integration of the informal waste workers with the formal waste management sector is not a one dimensional or single step process. An ideal solution might aim for a balanced focus on all four categories of intervention, although this may be influenced by local conditions. Not all the positive benefits will be immediately apparent, but it is expected that as the acceptance of such projects increases over time, the informal recycling economy will financially supplement the formal system in many ways. © The Author(s) 2013.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider systems of equations of the form where A is the underlying alphabet, the Xi are variables, the Pi,a are boolean functions in the variables Xi, and each δi is either the empty word or the empty set. The symbols υ and denote concatenation and union of languages over A. We show that any such system has a unique solution which, moreover, is regular. These equations correspond to a type of automation, called boolean automation, which is a generalization of a nondeterministic automation. The equations are then used to determine the language accepted by a sequential network; they are obtainable directly from the network.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A type checking method for the functional language LFC is presented. A distinct feature of LFC is that it uses Context-Free (CF) languages as data types to represent compound data structures. This makes LFC a dynamically typed language. To improve efficiency, a practical type checking method is presented, which consists of both static and dynamic type checking. Although the inclusion relation of CF.languages is not decidable,a special subset of the relation is decidable, i.e., the sentential form relation, which can be statically checked.Moreover, most of the expressions in actual LFC programs appear to satisfy this relation according to the statistic data of experiments. So, despite that the static type checking is not complete, it undertakes most of the type checking task. Consequently the run-time efficiency is effectively improved. Another feature of the type checking is that it converts the expressions with implicit structures to structured representation. Structure reconstruction technique is presented.