Relevant bibliographies by topics / Programas em lógica extendidos

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Programas em lógica extendidos'

Author: Grafiati
Published: 9 September 2021
Last updated: 29 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programas em lógica extendidos.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Programas em lógica extendidos"

1

Oliveira, Elizabeth Cardoso. "Os Programas de Transferência Condicionada de Renda e a Proteção Social: os casos do Brasil, Argentina e Chile." Argumentum 7, no. 2 (2015): 128. http://dx.doi.org/10.18315/argumentum.v7i2.10566.

Full text
Abstract:
<p>Este artigo objetiva comparar e analisar os principais Programas de Transferência Condicionada de Renda (PTCR) vigentes no Brasil, Argentina e Chile. Os programas tratados são: o Programa Bolsa Família (PBF), do Brasil; a <em>Asignación Universal por Hijo</em> (AUH), da Argentina; e, do Chile, o <em>Ingreso Ético Familiar</em> (IEF). Busca-se inferir se a inserção dos PTCR nesses países alterou a lógica de seus respectivos sistemas de proteção social. Conclui-se que a inserção dos PTCR nos três países não implicou uma alteração consistente na lógica de seus sis
APA, Harvard, Vancouver, ISO, and other styles
2

Alves, Pâmela Nische, Neuza Maria de Fátima Guareschi, and Oriana Holsbach Hadler. "OS PROGRAMAS DE PROTEÇÃO A TESTEMUNHAS NO BRASIL:." Psicologia em Revista 27, no. 1 (2021): 93–111. http://dx.doi.org/10.5752/p.1678-9563.2021v27n1p93-111.

Full text
Abstract:
Este artigo tem como objetos o Programa Estadual de Proteção a Vítimas e Testemunhas Ameaçadas do Estado do Rio Grande do Sul e sua relação com a importância do testemunho para a produção de provas judiciais. Com base em um referencial foucaultiano, busca-se interrogar as condições de possibilidade de emergência dessa política pública nos moldes pelos quais é concebida e pensar sobre as racionalidades de Estado que produzem efeitos no governo das vidas que tal programa intenciona proteger. É utilizado como disparador para a discussão o filme “Quanto vale ou é por quilo?”, tratado como material
APA, Harvard, Vancouver, ISO, and other styles
3

Sierra, Jamil Cabral, and Dagmar Estermann Meyer. "Entre capturas biopolíticas e estratégias de resistência LGBT: um ensaio sobre a lógica fármaco-moralizante na profilaxia pré-exposição – PrEP." Revista Interinstitucional Artes de Educar 6, no. 3 (2020): 1018–37. http://dx.doi.org/10.12957/riae.2020.54592.

Full text
Abstract:
Apoiando-se nos estudos foucaultianos, este artigo discute processos de inclusão social da população LGBT, na interface educação e saúde, especialmente no que diz respeito às estratégias biopolíticas de controle das sexualidades LGBT. Para isso, tomamos como objeto de análise enunciados em torno da Profilaxia Pré-exposição – PrEP. Nossa aposta é a de que programas como a PrEP podem ser pensados em um duplo analítico. De um lado, tais programas ajustam-se ao contexto da governamentalidade biopolítica neoliberal, a partir de um deslocamento, na atualidade, na forma de prevenção de doenças: de um
APA, Harvard, Vancouver, ISO, and other styles
4

Bufrem, Leilah Santiago, and Sônia Maria Breda. "Presença da lógica no domínio da organização do conhecimento: aspectos interdisciplinares no currículo do ensino superior." Perspectivas em Ciência da Informação 16, no. 1 (2011): 185–94. http://dx.doi.org/10.1590/s1413-99362011000100011.

Full text
Abstract:
Reflexão acerca da presença curricular da lógica no domínio da organização do conhecimento, particularmente no campo da Ciência da Informação (CI). Identifica, em programas de 72 escolas de CI no Brasil, o espaço curricular destinado à disciplina. Observa que os programas voltam-se à análise das formas de raciocínio e à representação do conhecimento. Analisa conteúdos disciplinares associados aos aspectos da lógica no currículo de CI e salienta a relevância da disciplina para os grandes domínios, nos quais se apoiam os processos de informação e enfatiza a necessidade de uma concepção transdisc
APA, Harvard, Vancouver, ISO, and other styles
5

Cormick, María Daniela, and Carla Pierri. "El acuario de-Clara." Ética y Cine Journal 7, no. 1 (2017): 61. http://dx.doi.org/10.31056/2250.5415.v7.n1.19724.

Full text
Abstract:
<span>Este ensayo busca compartir debates, contradicciones e interrogantes que nos generó el film </span><em>Aquarius</em><span>, a partir de nuestras trayectorias y experiencias como trabajadoras del sistema público de salud. Desde la construcción interdisciplinaria, reflexionamos sobre temáticas y conceptos como género, clase social, etnia, raza, identidad/ alteridad, lógicas y subjetividades de época, gentrificación. El resultado fue la apertura de preguntas e interpretaciones diversas de las historias que se entrecruzan en una compleja trama a partir de la fig
APA, Harvard, Vancouver, ISO, and other styles
6

Moser, Liliane. "A nova geração de políticas sociais no contexto europeu: workfare e medidas de ativação." Revista Katálysis 14, no. 1 (2011): 68–76. http://dx.doi.org/10.1590/s1414-49802011000100008.

Full text
Abstract:
Este artigo problematiza, no âmbito dos estados-nações que constituem a União Europeia, a configuração de uma nova geração de políticas sociais governadas pela lógica da ativação, voltadas prioritariamente para a inserção das pessoas no mercado de trabalho. Para tanto, realizou-se uma revisão de literatura com base em autores europeus que analisam a temática a partir de transformações ocorridas em seus sistemas de proteção social. Constatou-se que essa lógica reúne uma série de características que, entre outras, vão fundamentar programas, projetos e ações marcados por conteúdos disciplinadores
APA, Harvard, Vancouver, ISO, and other styles
7

Lopes, Felisbela. "Dos excessos da TV generalista: Retratos da informação semanal emitida em horário nobre." Comunicação e Sociedade 11 (June 20, 2007): 135–48. http://dx.doi.org/10.17231/comsoc.11(2007).1136.

Full text
Abstract:
Apesar de a esfera pública da nossa sociedade ter sofrido várias metamorfoses, de modo a incorporar novas realidades, a programação jornalística não soube acompanhar estas evoluções. Este artigo pretende analisar a programação informativa dos vários canais generalistas, emitida em horário nobre, e a sua evolução desde 1993 até 2005. Debater-se-ão algumas das tendências em termos de oferta televisiva, como a clonagem de formatos televisivos, a oferta monotemática, a submissão dos programas informativos a uma lógica comercial de luta pelas audiências. Perante este panorama, qual o futuro do jorn
APA, Harvard, Vancouver, ISO, and other styles
8

Batista, Sueli Soares dos Santos, Daniel Capella Pereira, Claudia Barcelos De Moura Abreu, and Monique Rufino da Silva Pessoa. "Profissionalização e a reforma do ensino médio." Retratos da Escola 16, no. 35 (2022): 483–503. http://dx.doi.org/10.22420/rde.v16i35.1482.

Full text
Abstract:
Os movimentos normativos do Estado brasileiro a partir de 2017 buscam consolidar políticas educacionais pela lógica neoliberal, que ganhou espaço nos anos 1990. O presente estudo põe em questão muitos pontos dessas políticas: formação integral versus educação para o trabalho, qualidade versus quantidade, público versus privado e centralização versus descentralização. Tem-se como enfoque da pesquisa a experiência no estado de São Paulo, que avança rapidamente na implantação do M-tec e do Novotec, programas que representam um redirecionamento da educação profissional, com parcerias interinstituc
APA, Harvard, Vancouver, ISO, and other styles
9

Aparecida Behrens, Marilda, and Rosane De Melo Nicola. "Contribuições da teoria da complexidade para a inovação no planejamento pedagógico do ensino superior." Revista Diálogo Educacional 17, no. 52 (2017): 357. http://dx.doi.org/10.7213/1981-416x.17.052.ds03.

Full text
Abstract:
Este artigo visa a identificar elementos que apontam para uma postura interdisciplinar de 18 docentes de uma instituição privada de ensino superior, expressos nos programas de disciplina produzidos durante oficinas de formação continuada institucional, com apoio da Finep – Inovação e Pesquisa, em 2016. Nesse contexto, os docentes são desafiados a superar a visão tradicional de ensino e buscar metodologias de aprendizagem ativa para inovar sua prática pedagógica. Trata-se de uma pesquisa qualitativa do tipo estudo exploratório que, com base na teoria da complexidade (MORIN, 2000), realiza uma a
APA, Harvard, Vancouver, ISO, and other styles
10

Ribeiro, Anelize. "O Programa Jovem Aprendiz: o impacto do neoliberalismo nas Políticas Públicas de aprendizagem profissional." Estudos de Sociologia 2, no. 31 (2025): 177–201. https://doi.org/10.51359/2317-5427.2025.263686.

Full text
Abstract:
O presente estudo analisa o desenvolvimento dos programas de Jovem Aprendiz, em funcionamento na cidade de Campos dos Goytacazes-RJ, com o objetivo de compreender em que medida essas políticas atuam na produção dos indivíduos como empreendedores de si, a partir de uma lógica neoliberal. Busca-se a partir da análise do discurso e práticas dos profissionais dos programas, conferir como as transformações neoliberais impactam nos programas de aprendizagem profissional e são impulsionadas por eles, a partir do processo de formação dos Aprendizes. Para isso, adota-se os referenciais metodológicos da
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Programas em lógica extendidos"

1

Alferes, José Júlio. "Semantics of logic programs with explicit negation." Doctoral thesis, FCT-UNL, 1993. http://hdl.handle.net/10362/1056.

Full text
Abstract:
After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing
APA, Harvard, Vancouver, ISO, and other styles
2

Lourenço, João. "Mecanismos de suporte à execução concorrente de programas em lógica." Master's thesis, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 1994. http://hdl.handle.net/10362/2313.

Full text
Abstract:
Dissertacção apresentada para a obtenção do Grau de Mestre em Engenharia Informática pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.<br>A evolução do hardware dos computadores para arquitecturas paralelas, incentivou a concepção de novos modelos de programação e o desenvolvimento dos sistemas de suporte à execução correspondentes, de forma a conseguir uma melhor exploração do paralelismo. A linguagem de programação Prolog, pelas suas características declarativas e operacionais, tem vindo a ser objecto de estudo nesta área, através de adaptações da linguagem e/ou da
APA, Harvard, Vancouver, ISO, and other styles
3

ANDRADE, Erivan Alves de. "Indução de programas lógicos orientados a objetos." Universidade Federal de Pernambuco, 2003. https://repositorio.ufpe.br/handle/123456789/2489.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:58:45Z (GMT). No. of bitstreams: 2 arquivo4690_1.pdf: 1106541 bytes, checksum: e0ee713e84c20db1b16b0bd3c706218a (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2003<br>Em muitas de suas aplicações práticas tais como Processamento de Linguagem Natural(PLN), CASE, sistemas especialistas em domínios complexos, ontologias de Web semântica e Descoberta de conhecimento em banco de dados(KDD) - Programação em Lógica Indutiva(PLI) não é usada para substituir, mas para complementar aquisição de con
APA, Harvard, Vancouver, ISO, and other styles
4

Palazzo, Luiz Antonio Moro. "Representação de conhecimento : programação em lógica e o modelo das hiperredes." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1991. http://hdl.handle.net/10183/24180.

Full text
Abstract:
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a p
APA, Harvard, Vancouver, ISO, and other styles
5

Silva, Neto Paulo Penteado de Faria e. "Estratégias argumentativas em torno da política de cotas étnico-raciais na universidade pública : elementos de lógica informal e teoria da argumentação." reponame:Repositório Institucional da UnB, 2007. http://repositorio.unb.br/handle/10482/5619.

Full text
Abstract:
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Humanas, Departamento de Filosofia, 2007.<br>Texto parcialmente liberado pelo autor. Conteúdo: Resumo.<br>Submitted by Mariana Fonseca Xavier Nunes (nanarteira@hotmail.com) on 2010-09-17T11:12:30Z No. of bitstreams: 1 2006-Paulo Penteado de Faria e Silva.pdf: 12535 bytes, checksum: 847f237f411bb66ea45c496ecd2ff044 (MD5)<br>Approved for entry into archive by Lucila Saraiva(lucilasaraiva1@gmail.com) on 2010-10-08T23:31:48Z (GMT) No. of bitstreams: 1 2006-Paulo Penteado de Faria e Silva.pdf: 12535 bytes, checksum: 847f237
APA, Harvard, Vancouver, ISO, and other styles
6

Sade, Priscila Meyenberg Cunha. "Avaliação de um programa de educação permanente em enfermagem no contexto hospitalar : análises estratégica, lógica e dos efeitos." reponame:Repositório Institucional da UFPR, 2017. http://hdl.handle.net/1884/45738.

Full text
Abstract:
Orientadora: Profª. Drª. Aida Maris Peres<br>Tese( (doutorado) - Universidade Federal do Paraná, Setor de Ciências da Saúde, Programa de Pós-Graduação Mestrado Profissional em Enfermagem. Defesa: Curitiba, 14/02/2017<br>Inclui referências : f.106-115<br>Área de concentração: Prática Profissional de enfermagem<br>Linha de pesquisa: Gerenciamento de serviços de saúde e enfermagem<br>Resumo: A avaliação de programas educacionais por meio de métodos científicos válidos e reconhecidos é atividade recente, que pode contemplar o uso de diferentes tipos de análises. Esta pesquisa teve por objetivo ava
APA, Harvard, Vancouver, ISO, and other styles
7

MACIEL, Christiano do Carmo de Oliveira. "Estratégia de redução de consumo de energia em redes de sensores sem fio heterogêneas utilizando lógica fuzzy." Universidade Federal do Pará, 2012. http://repositorio.ufpa.br/jspui/handle/2011/3373.

Full text
Abstract:
Submitted by Irvana Coutinho (irvana@ufpa.br) on 2013-01-23T15:09:34Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstrategiaReducaoConsumo.pdf: 2434652 bytes, checksum: bf2428fb8f0caeaf3737a7f0ba4cd7e5 (MD5)<br>Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-01-23T17:11:16Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_EstrategiaReducaoConsumo.pdf: 2434652 bytes, checksum: bf2428fb8f0caeaf3737a7f0ba4cd7e5 (MD5)<br>Made available in DS
APA, Harvard, Vancouver, ISO, and other styles
8

Faleiros-Martins, Anna Carolina 1986. "Desenvolvimento e avaliação de um software de controle de atendimentos e apoio à decisão, para diagnóstico diferencial de disfunções do trato urinário inferior, baseado em lógica fuzzy." [s.n.], 2011. http://repositorio.unicamp.br/jspui/handle/REPOSIP/308969.

Full text
Abstract:
Orientador: Maria Helena Baena de Moraes Lopes<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Ciências Médicas<br>Made available in DSpace on 2018-08-18T17:44:45Z (GMT). No. of bitstreams: 1 Faleiros-Martins_AnnaCarolina_M.pdf: 2173162 bytes, checksum: 2171667e1b5412ab6e9151b0e03ed497 (MD5) Previous issue date: 2011<br>Resumo: Introdução: O uso de ferramentas de informática é visto como facilitador dos processos de compilação, registro e análise de dados. Na competência do enfermeiro, auxilia o Processo de Enfermagem proporcionando cuidado individualizando ao pac
APA, Harvard, Vancouver, ISO, and other styles
9

BARBOSA, Ana Emília Victor. "Detecção automática de violações de propriedades de sistemas concorrentes em tempo de execução." Universidade Federal de Campina Grande, 2007. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/1532.

Full text
Abstract:
Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-22T19:52:23Z No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5)<br>Made available in DSpace on 2018-08-22T19:52:23Z (GMT). No. of bitstreams: 1 ANA EMÍLIA VICTOR BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 1669761 bytes, checksum: f47054507fe9200c8d1d56d2848ae276 (MD5) Previous issue date: 2007-04-20<br>Capes<br>Neste trabalho propomos uma técnica que visa detectar violações de propriedades comportamentais automaticamente durante a execu
APA, Harvard, Vancouver, ISO, and other styles
10

Santos, Vitor Alexandre. "Caso de estudo de sistema de emulação em hardware para aplicação com controlador lógico programável." Universidade Tecnológica Federal do Paraná, 2016. http://repositorio.utfpr.edu.br/jspui/handle/1/2720.

Full text
Abstract:
Este trabalho consiste em um caso de estudo de um emulador de planta industrial implementado em FPGA (Field Programmable Gate Array), a fim de simulação de sistemas em conjunto com um CLP (Controlador Lógico Programável). Com isso, fundamentado na indústria de manufatura, são confrontados resultados práticos de um protótipo de processo industrial com os resultados de um modelo aplicado em FPGA. Dessa maneira, tem-se como objetivo o auxílio em testes em níveis de validação de aplicação em desenvolvimento, aproximação de condições de chão de fábrica, otimização de controle de processo e treiname
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Programas em lógica extendidos"

1

ROBERSON DA ROCHA, BUSCIOLI. O ESTADO, O PLANEJAMENTO E O DESENVOLVIMENTO DA ATIVIDADE TURÍSTICA EM MATO GROSSO DO SUL: o BID e as ações do PRODETUR em Mato Grosso do Sul. TOTALBOOKS, 2022. http://dx.doi.org/10.52632/978.65.88393.29.1.

Full text
Abstract:
Este livro analisa questões envolvendo o planejamento e o desenvolvimento de atividades turísticas no estado do Mato Grosso do Sul. O autor procura mostrar que a atividade turística no espaço sul-mato-grossense decorre de uma política de Estado, com a participação decisiva de agências de desenvolvimento. Seu escopo centra-se no papel do Banco Interamericano de Desenvolvimento (BID) no processo de ajustamento do território nacional, orientado pela Política Nacional de Turismo em programas como o PRODETUR, objeto central dessa análise. O autor demonstra que tais programas estão em consonância co
APA, Harvard, Vancouver, ISO, and other styles
2

Paz, Rosangela, Tânia Diniz, Isabel Cardoso, et al. Serviço Social e Trabalho Social em Habitação: requisições conservadoras, resistências e proposições. Mórula Editorial, 2020. http://dx.doi.org/10.48073/sstsh.

Full text
Abstract:
Este livro representa um esforço coletivo de um grupo de pesquisadores, docentes e profissionais que se organizaram, mobilizando pesquisas e ensaios produzidos em torno da temática — trabalho social na política de habitação — com o objetivo de oferecer contribuições ao debate da formação e do exercício profissional, contribuições essas tangenciadas pela sua inscrição na totalidade histórica e pela necessária reflexão sobre o seu caráter político. Os doze artigos que constituem essa coletânea estabelecem um diálogo profícuo com a política de habitação, uma política que, pela sua natureza (afina
APA, Harvard, Vancouver, ISO, and other styles
3

Viana, Enaildo Gonçalves. Crítica política no humor de Chico Anysio: Uma análise de narrativas humorísticas na televisão. Edited by Marcia Alessandra Arantes Marques. Bookerfield Editora, 2021. http://dx.doi.org/10.53268/bkf21090800.

Full text
Abstract:
Recebi com alegria o convite da senhora Marcia Arantes Marques, editora chefe da editora Bookerfield, para publicação de minha dissertação de mestrado na Universidade Católica de Brasília, UCB, cuja defesa da banca se deu em 10 de abril de 2015. Foi motivo de satisfação para mim por considerar reconhecimento de um trabalho árduo de quase três anos de muito estudo, pesquisa e tudo o mais, contudo, compreendo que o reconhecimento maior é para o protagonista que compôs o corpus da pesquisa do mestrado, o humorista Chico Anysio, com a personagem Salomé de Passo Fundo, com incisiva crítica política
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Programas em lógica extendidos"

1

Arruda Sanglard, Demerson, Ana Carolina Ataide Silveira, Jefferson Joe Moreira Alves, et al. "PROGRAMAS DE MELHORAMENTO GENÉTICO COM ENFOQUE PARTICIPATIVO." In Agroecologia e a Preservação do Meio Ambiente. Editora Science, 2022. http://dx.doi.org/10.56001/22.9786500451016.04.

Full text
Abstract:
Esta proposta visa promover o desenvolvimento de agricultores familiares do município de Montes Claros-MG, a partir do manejo da diversidade genética de milho com enfoque na agrobiodiversidade, levando em conta critérios de sustentabilidade ambiental. No contexto de um agroecossistema funcional, ambientes marginais possuem uma lógica própria no estabelecimento de espécies e que não se repete em um centro de pesquisa. Portanto, esta proposta prevê a execução de estratégias de avaliação, produção e melhoramento participativo em milho visando o desenvolvimento de variedades adaptadas aos ambiente
APA, Harvard, Vancouver, ISO, and other styles
2

Silva, Graziela Lucchesi Rosa da, and Vilson Aparecido da Mata. "16. Bullying como Expressão da Incivilidade e Barbarização das Relações Sociais sob a Lógica do Capital." In Materialismo Histórico-Dialético e Psicologia Histórico-Cultural: refletindo sobre as contradições no interior do capitalismo. Edufatecie, 2020. http://dx.doi.org/10.33872/edufatecie.materialismoepsicologia.cap16.

Full text
Abstract:
Bullying é um termo amplamente difundido nas últimas décadas no campo da educação e ganhou, na mesma proporção, uso cotidiano. Este termo é utilizado, conforme aponta Nagel (2007, p. 2), para atos repetitivos “que tem poder psicológico para intimidar, implicar, humilhar, negar atenção, fazer pouco caso, perseguir o outro (colega, professor, funcionário) com chacotas, ironias, ameaças e, até mesmo, com agressões físicas, sem contar com o uso da internet para tais perversidades”. Além do mais, tais atos expressam alto grau de incivilidade que, dramaticamente, vem crescendo e se complexificando d
APA, Harvard, Vancouver, ISO, and other styles
3

Higuchi, Agnaldo Keiti, and Ricardo Teixeira Veiga. "PROPOSTA DE MODELO BASEADO NA LÓGICA DOMINADA POR SERVIÇO E NO MODELO HIERÁRQUICO GERAL PARA O GERENCIAMENTO DE PROGRAMAS SOCIAIS." In Pesquisas em Administração, Contabilidade e Marketing no Brasil. Stricto Sensu Editora, 2019. http://dx.doi.org/10.35170/ss.ed.9786580261154.18.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

OLIVEIRA SANTOS, LAÍS ALICE, and MARIA SIMONE FERRAZ PEREIRA. "O MODUS OPERANDI NEOLIBERAL NO CONTEXTO DA POLÍTICA DE GESTÃO EDUCACIONAL MINEIRA SOB O GOVERNO DE ROMEU ZEMA (2019-2022)." In Políticas Públicas de Educação (Vol 02). Editora Realize, 2024. http://dx.doi.org/10.46943/ix.conedu.2023.gt21.028.

Full text
Abstract:
O ingresso do governador Romeu Zema na gestão de Minas Gerais no ano de 2019 trazia os prenúncios de um aprofundamento do viés neoliberal na gestão estatal ao disseminar as ideias de menos Estado, mais mercado. A ênfase, já anunciada na proposta de governo, em desestatização, na lógica de que os serviços públicos não precisariam ser ofertados diretamente pelo Estado e de que a gestão pública tem que se equiparar à gestão privada, traçava os modi operandi neoliberal que coadunaria com uma gestão educacional baseada na racionalidade técnica e na descentralização das responsabilidades de gerencia
APA, Harvard, Vancouver, ISO, and other styles
5

ALVES DE SOUZA, LUZIA CLARA, and MARCO AURELIO NUNES DE BARROS. "DESVENDANDO A ALIMENTAÇÃO ESCOLAR: TENSÕES, DIREITOS E O PAPEL DA AGRICULTURA FAMILIAR." In Educação profissional e tecnológica (Vol.3). Editora Realize, 2025. http://dx.doi.org/10.46943/x.conedu.2024.gt20.024.

Full text
Abstract:
Este artigo é um recorte da dissertação sobre alimentação escolar, em andamento, pelo Programa de Pós-graduação em Educação Profissional e Tecnológica do Instituto Federal do estado de Rondônia. A proposta desse estudo é apresentar uma análise crítica de dados secundários e das evidências disponíveis na literatura quanto a eficácia do Programa Nacional de Alimentação Escolar na promoção da agricultura familiar e da sustentabilidade ambiental no município de Porto Velho onde está inserido o Instituto Federal de Rondônia - Campus Calama. Esta revisão bibliográfica narrativa mergulha nas complexa
APA, Harvard, Vancouver, ISO, and other styles
6

Reverdito, Riller Silva, Larissa Rafaela Galatti, and Alcides José Scaglia. "Pedagogia do Esporte: Ensino, Vivência e Aprendizagem do Esporte na Educação Física Escolar." In Pedagogia do Esporte: Ensino, Vivência e Aprendizagem do Esporte na Educação Física Escolar. EDITORA UNEMAT, 2022. http://dx.doi.org/10.29327/5194505.1-23.

Full text
Abstract:
O esporte é um dos fenômenos socioculturais mais importantes do século XXI. Essa condição pode ser representada pelo número de pessoas envolvidas diariamente em práticas esportivas, diferentes contextos, presença nos veículos de comunicação (Tv, rádio e internet) e no número de modalidades. Na contemporaneidade, talvez seja umas das expressões mais eloquentes da relação entre a pessoa com sua natureza corporal e o movimento. Trata-se da entrega voluntária a uma atividade que, paradoxalmente, é absolutamente séria, ao mesmo tempo incerta, que exprime uma experiência singular e sentido às situaç
APA, Harvard, Vancouver, ISO, and other styles
7

Mena, Igor Marçal, Vitor Cassanelli Krahl, and Renata Bellenzani. "A SAÚDE TRANSMASCULINA E O SUS: A NATURALIZAÇÃO DA CISHETERONORMATIVIDADE E SEUS DESDOBRAMENTOS." In Contribuições da Saúde Coletiva para as Redes de Atenção - Volume 1. Editora Científica Digital, 2024. https://doi.org/10.37885/241218458.

Full text
Abstract:
No debate sobre as políticas públicas no Brasil, é crucial considerar as condições históricas, sociais, políticas e econômicas que influenciam sua formulação e sustentabilidade em um contexto capitalista periférico e neoliberal (Brettas, 2017; Netto, 2012). O desenvolvimento do Estado de Bem-Estar Social enfrenta riscos constantes, como desregulamentação do trabalho, privatização e subfinanciamento, além de desafios impostos pelas estruturas político-partidárias. Um exemplo é o Sistema Único de Saúde (SUS), fruto de uma luta popular pelo direito à saúde, que, apesar de seus princípios de integ
APA, Harvard, Vancouver, ISO, and other styles
8

Pimenta, Érika Alice Lopes Vieira, João Paulo da Silva Andrade, and Fernando Soares de Almeida. "A FORMAÇÃO DOCENTE COMO ESTRATÉGIA DE MUDANÇA E MELHORIA." In Educação Contemporânea. Alkarvalho, 2024. http://dx.doi.org/10.29327/5400879.1-1.

Full text
Abstract:
RESUMO Percebemos que a escola brasileira sofreu profundas alterações nos últimos anos. Ela passou de uma organização de certezas para um mundo de incertezas. Estão sendo questionados os fundamentos da instituição escolar: a sua missão, o que ensinar, a quem ensinar, como ensinar, quem é o professor, quem é o aluno. A Formação Continuada dos professores é uma das ações sugeridas pelas políticas educacionais para a melhoria da qualidade educacional. Torna-se cada vez mais claro que, para encontrar seu rumo, a edu?cação brasileira precisa resgatar o professor. Partindo de uma visão estratégica d
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Programas em lógica extendidos"

1

Guaranys, Pula Ypiranga dos, and Jeferson Ferreira Soares. "Um Monitor para Apoio a Programação em Lógica." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1987. http://dx.doi.org/10.5753/sbes.1987.25232.

Full text
Abstract:
Descreve-se neste artigo uma ferramenta de software para suporte à construção de programas em linguagens de programação em lógica; particularmente usando-se regras de produção. Este suporte incluí funções de edição orientadas para a sintaxe de regras de produção e um monitoramento da construção de programas visando garantir a completude da especificação e a compatibilidade sintática e semântica entre os diversos componentes do programa. Está em estudo o aproveitamento desta ferramenta como parte de um sistema tutor em técnicas de programação em lógica.
APA, Harvard, Vancouver, ISO, and other styles
2

Costa, Ruy Marinho da, and Cláudio Luis de Amorim. "Simulação de Modelos Paralelos de Programação em Lógica." In Simpósio Brasileiro de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 1993. http://dx.doi.org/10.5753/sbac-pad.1993.23073.

Full text
Abstract:
Apresentamos neste trabalho o projeto e a implementação de um simulador que tem por finalidade avaliar a eficiência de modelos de execução paralela de programas lógicos. O simulador permite otimizar modelos e obter medidas de desempenho tais como número de unificações, comunicações e processos criados. A arquitetura do similador é descrita em termos de seus componentes: processadores virtuais, processos, comunicações e sincronização. Os resultados obtidos na implementação dos modelos Backup e Kabu-Wake são discutidos e confirmam o simulador como uma ferramenta simples, versátil e útil para a p
APA, Harvard, Vancouver, ISO, and other styles
3

Roberto, Giancarlo F., Fabiano S. Oliveira, Paulo Eustáquio D. Pinto, and Igor M. Coelho. "TuPy Online - Programação em Português com Visualização de Execução e Abstrações de Estruturas de Dados na Web." In XXVI Workshop sobre Educação em Computação. Sociedade Brasileira de Computação - SBC, 2018. http://dx.doi.org/10.5753/wei.2018.3498.

Full text
Abstract:
Existem esforços para a criação de ferramentas de apoio ao ensino de lógica de programação, entre elas os visualizadores de programas. Um deles é o Online Python Tutor que, embora possua funcionalidades de representação do estado de variáveis a cada passo de execução, não permite a visualização conveniente de abstrações de estruturas de dados mais complexas, como grafos ouárvores. Para endereçar esse problema, apresentamos a ferramenta TuPy Online, uma adaptação do Online Python Tutor, propondo uma pseudolinguagem (TuPy) de sintaxe enxuta, comandos em português e exibição customizável para est
APA, Harvard, Vancouver, ISO, and other styles
4

Barbosa, Jorge Luis Victória, and Cláudio Fernando Resin Geyer. "GRANLOG: Um Modelo para Análise Automática de Granulosidade na Programação em Lógica." In Simpósio de Arquitetura de Computadores e Processamento de Alto Desempenho. Sociedade Brasileira de Computação, 1995. http://dx.doi.org/10.5753/sbac-pad.1995.19854.

Full text
Abstract:
Este texto descreve um estudo sobre análise automática de granulosidade na programação em lógica. A análise de granulosidade determina o tamanho dos grãos, ou seja, a complexidade dos módulos que serão executados seqüencialmente num único processador. A análise de granulosidade é vital para exploração eficiente do paralelismo. Inicialmente, são apresentados os princípios básicos que motivam e orientam o desenvolvimento deste trabalho. Logo após, é apresentado um modelo para geração de informações de granulosidade na programação em lógica, denominado GRANLOG. Finalmente, são descritas duas apli
APA, Harvard, Vancouver, ISO, and other styles
5

Oliveira, Filipe, and Elthon Oliveira. "Especificações Alloy de Elementos da Lógica Proposicional." In Encontro Unificado de Computação do Piauí. Sociedade Brasileira de Computação, 2021. http://dx.doi.org/10.5753/enucompi.2021.17774.

Full text
Abstract:
A elaboração de problemas únicos e com características específicas em disciplinas formais de graduação é uma tarefa tediosa, principalmente quando a disciplina é ofertada em Massive Open Online Courses (MOOCs). Diante deste cenário, foi desenvolvida uma técnica à geração automática de fórmulas e argumentos válidos da Lógica Proposicional. O maior desafio da técnica foi gerar argumentos válidos. Pois, estes argumentos são improváveis de surgir a partir da geração totalmente aleatória. A técnica faz uso de conceitos da área de Síntese de Programas. Para isto, os conceitos de síntese são utilizad
APA, Harvard, Vancouver, ISO, and other styles
6

Stringhini, Denise, and Philippe O. A. Navaux. "Pré-processamento de Traces para Auxiliar a Visualização de Programas Paralelos." In International Symposium on Computer Architecture and High Performance Computing. Sociedade Brasileira de Computação, 1996. http://dx.doi.org/10.5753/sbac-pad.1996.19821.

Full text
Abstract:
O trabalho descreve uma ferramenta de visualização lógica de programas paralelos baseada na análise de traces de execução. A idéia básica consiste em aproveitar as informações fornecidas pela monitoração e que em geral são utilizadas apenas para dirigir animação post-mortem dos programas, e utilizá-las também na montagem das janelas de visualização. Este artigo descreve tanto o pré-processador, quanto as janelas de visualização idealizadas a partir das informações que podem ser obtidas através do pré-processador.
APA, Harvard, Vancouver, ISO, and other styles
7

Luciano, Matheus Henrique Candido, Karla Daniele Durães Silva, Kaio Pereira Carvalho, Andressa Layane Ferreira Linhares, and Demerson Arruda Sanglard. "INTEGRAÇÃO DA AGRICULTURA DIGITAL EM PROGRAMAS DE MELHORAMENTO DE PLANTAS." In II Congresso Brasileiro de Biotecnologia On-line. Revista Multidisciplinar de Educação e Meio Ambiente, 2022. http://dx.doi.org/10.51189/conbiotec/31.

Full text
Abstract:
Introdução: Os cenários desafiadores das mudanças climáticas globais têm demandado cada vez mais estratégias disruptivas, às quais sejam capazes de acelerar as taxas de ganhos genéticos dos programas de melhoramento. De acordo com o Projeto "Breakthrough" (Avanço) das Nações Unidas, a "Agricultura Digital" ou "Agricultura 4.0" envolve um conjunto de tecnologias recentes, avançadas e integradas, permitindo que agricultores e outras partes interessadas dentro da cadeia de valor, maximizem a produção de alimentos. Objetivos: Realizar um levantamento atualizado sobre a integração de ferramentas da
APA, Harvard, Vancouver, ISO, and other styles
8

Amorim, Claudio L. de, Valmir C. Barbosa, and Edil S. T. Fernandes. "Projeto de uma Estação Prolog." In Simpósio Brasileiro de Arquitetura de Computadores e Processamento Paralelo. Sociedade Brasileira de Computação, 1987. http://dx.doi.org/10.5753/sbac-pad.1987.23563.

Full text
Abstract:
Este trabalho contém a apresentação de um projeto cujo objetivo primário é a investigação da compilação e uso de Prolog Concorrente. O projeto apresenta problemas em diversas disciplinas, incluindo Programação Lógica e Processamento Distribuído. A intenção é que seja utilizada uma arquitetura em hipercubo baseada no microprocessador Transputer e na linguagem OCCAM. Problemas a serem investigados incluem a compilação eficiente de programas em Prolog Concorrente e o balanceamento de carga em sistemas distribuídos.
APA, Harvard, Vancouver, ISO, and other styles
9

Comerlato, Cesar A., Geraldo B. Xexeo, and Ana Regina C. da Rocha. "Avaliação da Reutilizabilidade de Componentes de Software." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1994. http://dx.doi.org/10.5753/sbes.1994.24457.

Full text
Abstract:
Uma questão fundamental, quando se pensa em reutilização é a decisão do que reutilizar. Este trabalho apresenta atributos de qualidade relacionados à reutilizabilidade de código, avaliados através de variáveis linguísticas e lógica nebulosa (fuzzy), apresentando uma ferramenta para identificação de componentes de código FORTRAN reutilizáveis, a partir de um acervo de programas já existentes em um determinado ambiente. Isto permite a seleção de candidatos para inclusão em uma biblioteca de componentes reutilizáveis.
APA, Harvard, Vancouver, ISO, and other styles
10

Alencar, Paulo Sérgio C. de, and Carlos José Pereira de Lucena. "Formalização de Conceitos em Gerência de Configurações." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 1991. http://dx.doi.org/10.5753/sbes.1991.24259.

Full text
Abstract:
Neste artigo apresentamos uma abordagem em lógica do processo de evolução de configurações de sistemas de software que pode ser visto como um processo de transformações em “ponto grande” aplicado à descrições arquiteturais de sistemas de software. Neste sentido, uma descrição formal generalizada de arquiteturas de sistemas de software do ponto de vista de sistemas evolutivos de software é apresentada. A semântica do processo de mudança de estados de configuração de software (tomados como grafos de estrutura de software) é definida através de um formalismo lógico que envolve teorias representan
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Programas em lógica extendidos' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography