999 resultados para Linguagens de programação em lógica - Semântica


Relevância:

20.00% 20.00%

Publicador:

Resumo:

O item não apresenta o texto completo, pois está passando por revisão editorial

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nesta vídeoaula será exposto os principais elementos utilizados na representação do conhecimento em categorias e as formas de raciocínio sobre tais conhecimentos. Uma das técnicas utilizadas é a dedução, que a partir das propriedades é possível o uso de determinadas categorias. Os seguintes conceitos trabalhados são taxonomia, herança e o de categorias disjuntas na qual necessita de informações adicionais para serem representadas. Na decomposição exaustiva veremos que todo elemento da classe pertencem obrigatoriamente a uma das subclasses, já a partição é uma mistura da decomposição exaustiva com a categoria disjunta. A categoria lógica de 1º ordem esta dividida em predicados e objetos, ponto importante na hora de trabalhar com conceitos neste nível. Veremos também que existem duas grandes famílias de sistemas as chamadas redes semânticas e lógicas descritivas. A lógica descritiva fornece uma linguagem formal para construção de categorias, já a semântica oferece recursos gráficos para visualizar uma base de conhecimento, esta será mais explorada nesta aula expondo os tipos de relações permitidas, a forma como se trabalha usando esses valores e como aplicá-las. Este material destina-se a alunos de graduação na área de Sistemas de Informação, Engenharia da Computação, Ciência da Computação, Análise e Desenvolvimento de Sistemas, Sistemas para Internet e cursos correlatos relacionados ao conteúdo.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Material trata dos conceitos inicias para se começar a desenvolver Algoritmos. Para tanto é necessário lembrar do seu funcionamento, por exemplo: é importante lembrar que existe uma lógica de interpretação do problema seguindo uma sequência linear. Outro aspecto importante é a remoção de ambiguidade. Na sequência, são apresentadas as cinco etapas para o ciclo de desenvolvimento: entendimento do problema, entendimento da solução não algorítmica, proposição da solução algorítmica, depuração (testes, correções reavaliação da solução) e, avaliação da solução quanto a melhorias e desempenho.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nestes slides são apresentados conceitos sobre a inferência lógica e os sistemas de derivação. Define o conceito de argumento válido, e demonstra que a verificação da validade de argumentos pode ser feita por meio de tabelas-verdade e pelo uso de regras de inferência.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

São apresentados alguns itens do Guia da Disciplina. Depois são apresentados alguns conceitos básicos de lógica proposicional, como: operadores e funções lógicas binárias, tabelas-verdade, consequência e equivalência lógica e proposições associadas à condicionais.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Neste texto, o professor apresenta a sintaxe de herança nas linguagens Java e C++, ilustrando-a através de exemplos.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A indústria do turismo caracteriza-se pela sua heterogeneidade e pelo grande volume de transacções realizadas on-line. Cada vez mais os pequenos operadores turísticos optam por desenvolver os seus pequenos sistemas de reservas, para não terem de estar submetidos ao pagamento de comissões às entidades que gerem os grandes sistemas de informação turística. Devido a este facto, têm surgido um grande número de novas fontes de informação turística na Internet. A proliferação de informação turística torna complexo o planeamento das férias por parte do turista. A implementação de sistemas de integração de informação turística torna-se uma necessidade urgente. Ao mesmo tempo que ajudam o turista no planeamento das férias, também permitem aos operadores implementarem novas estratégias de marketing. Uma destas novas estratégias de marketing passa pela implementação do conceito de “Dynamic Packaging”. O “Dynamic Packaging” permite ao turista, ou ao agente turístico, a construção de pacotes que incluem produtos turísticos escolhidos por este sem qualquer limitação. Aos operadores turísticos, permite a criação de regras de negócio sobre a constituição de um pacote. As regras são depois aplicadas dinamicamente à medida que os pacotes são definidos. A arquitectura SEED define a implementação de um sistema de integração de informação turística. Pretende também disponibilizar a base para a implementação de sistemas que suportem o “Dynamic Packaging”. A integração da informação é realizada através da utilização das tecnologias associadas à Web Semântica. A implementação do “Dynamic Packaging” é suportada pela utilização de motores de inferência que permitem a definição e interpretação de regras semânticas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

No contexto das tecnologias propostas pela OMG, o MOF é utilizado para definir a sintaxe de linguagens de modelação, contudo, os aspectos semânticos não podem ser capturados usando esta linguagem. A descrição dos aspectos não sintácticos é realizada com recurso à linguagem OCL. Consequentemente, para uma completa definição de uma linguagem de modelação é necessário incorporar o OCL no MOF, criando uma infra-estrutura que possui a expressividade necessária para realizar esta função. Este projecto visa complementar a ferramenta de metamodelação MetaSketch Editor, introduzindo a capacidade de executar expressões em OCL e permitindo, desta forma, a verificação semântica dos modelos construídos usando o MetaSketch Editor. A gramática da linguagem OCL adoptada está de acordo com a especificação elaborada pela OMG (2006-05-01), juntando-se algumas contribuições de trabalhos existentes sobre esta linguagem. O projecto envolveu a implementação de um parser com recurso ao sistema GOLD Parser, a implementação da standard library do OCL em C# e, por último, a implementação de uma estratégia de execução das expressões em OCL.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este trabalho compara as soluções disponibilizadas pelos sistemas Derive 5.0, Maple 6 e Mathematica 4.0 para problemas que encontramos no ensino secundário e também nos primeiros anos da universidade. Procuramos destacar os aspectos distintos entre cada um dos programas ao mesmo tempo que fazemos referência aos pontos em que tudo se passa de forma semelhante. Esta dissertação aborda o cálculo numérico, o cálculo simbólico, a programação e os gráficos. Para cada um dos assuntos é estudada a forma como se podem resolver os problemas através dos três sistemas comparando-se estas soluções. Inicialmente, é feita uma abordagem que permite ao utilizador adquirir os conhecimentos básicos acerca dos diversos programas. Tratamos de seguida de algumas questões relacionadas com o cálculo numérico e com algumas funções nomeadamente da Teoria dos Números. Referimos listas e funções e são analisadas diversas formas de manipular listas e os seus elementos bem como algumas áreas da Análise Matemática das quais destacamos as equações, a derivação e a integração compreendendo cálculo numérico e cálculo simbólico. Examinamos um vasto conjunto de operações definidas sobre matrizes (representadas como listas de listas) e polinómios que abrangem as operações mais comuns de cada um dos campos. Analisamos também a programação recursiva, a programação imperativa, a programação funcional e a programação por regras de reescrita. A abordagem aqui adoptada foi a de fornecer ao utilizador as construções chave mais importantes que cada paradigma de programação utiliza bem como as informações básicas acerca do funcionamento de cada uma delas de modo a permitir a resolução dos problemas propostos. Por último os gráficos sobre os quais incidiu a nossa análise foram os de uma e de duas variáveis representados no referencial cartesiano, gráficos estes que são os mais utilizados quer ao nível do ensino superior quer ao nível do ensino secundário. A qualidade e a facilidade de obter rapidamente as representações dão outra dimensão ao estudo dos gráficos principalmente quando estamos a falar de gráficos a três dimensões. A ideia de animação gráfica é também aqui abordada sendo evidente os benefícios da utilização da mesma nos programas em que é possível efectuá-la. Concluímos que na programação o Mathematica destaca-se em relação aos demais o mesmo se passando no Maple no respeitante à representação gráfica. O Derive permite que durante o contacto inicial seja mais fácil trabalhar e aprender a linguagem própria.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O meu encontro literário com Vergílio Ferreira deu-se há cerca de seis ou sete anos, quando resolvi comprar e ler Cartas a Sandra, romance que como o nome indica é escrito como se de uma compilação de cartas se tratasse e que foi deixado incompleto e editado postumamente. Esta edição póstuma é da responsabilidade da herdeira (esposa do autor) e do Círculo de Leitores. Inicialmente, confesso, fui seduzida pelo título, mas depois, a leitura da obra deixou uma vontade sôfrega de querer saber mais sobre a escrita vergiliana. Nas disciplinas de literatura da minha licenciatura, pouco ou nada se tratou sobre Vergílio Ferreira mas, apesar disso, encetei algumas pesquisas e leituras que me foram despertando, cada vez mais, o interesse e a predilecção pelas obras deste autor. Mais tarde, já no Curso de Mestrado, ponderei a possibilidade de uma abordagem ao romance em nome da terra e sobre o qual tinha conhecimento da existência de alguns trabalhos, na sua maioria, ao nível da análise literária e/ou estilística. Com uma apetência natural para a área da linguística, considerei com carinho a hipótese de elaborar uma Dissertação de Mestrado que se aproximasse mais do campo da interpretação e análise linguísticas, nomeadamente do valor do verbo Ser na escrita vergiliana e, em particular, no romance-problema em jeito de carta. Consciente de que a tarefa não iria ser fácil, que teria, necessariamente, que envolver a leitura e releitura (nalguns casos de modo transversal) de todo um conjunto de produções, quer do autor, quer dos que ao seu estudo se dedicaram, quer ainda de obras de carácter filosófico e existencialista, foi com agrado que comecei a minha pesquisa e, a posteriori, a selecção dos materiais que julguei pertinentes para a prossecução do objectivo que me tinha proposto. Por conseguinte, tenho que agradecer a todas as pessoas que me ajudaram, de uma ou de outra forma, em especial ao Professor Doutor João Malaca Casteleiro, pelo facto de ter aceite o meu pedido de orientação da presente Dissertação, pela sua disponibilidade e paciência, pela cedência de alguns materiais, pelos seus comentários sábios e experientes e, acima de tudo, pela sua sabedoria na matéria e pelo interesse demonstrado quanto ao tema, o que se traduz, ao que julgo, naquilo que se entende, verdadeiramente, por orientação de uma Dissertação de Mestrado. Agradeço também aos colegas do curso que me motivaram, em particular à Judite e à Natália, que tiveram a coragem de assumir um compromisso de amizade, pelo facto de me ouvirem, questionarem e, principalmente criticarem e encorajarem aquando das nossas discussões sobre este meu trabalho. Por último, não poderia deixar de referir e agradecer igualmente a simpatia com que fui recebida pela Dona Augusta e pelo senhor professor José Rodrigues, na Vila Josephine1, morada de férias de Vergílio Ferreira, em Melo, e onde foram escritos muitos dos seus trabalhos (nas férias grandes, com uma caneta de nanquim virada ao contrário, para conseguir uma caligrafia mais fina e apurada, e num sofá cor-de-rosa-velho, ao pé da janela, com uma tábua nos joelhos a servir de escritório, o cinzeiro do lado esquerdo2). Gostaria ainda de agradecer a sua pronta e sábia ajuda, por terem partilhado comigo detalhes sobre o autor e que não vêm nos livros, sendo o Professor, ele próprio, um livro aberto no que se refere ao seu cunhado e amigo Vergílio, aos seus trabalhos, à sua vontade de valorizar um escritor que lhe foi tão próximo... Agradeço-lhe ainda o privilégio de me ter permitido trabalhar um pouco no escritório do autor. Esse momento proporcionou-me mais uma de muitas alegrias breves de que tem sido constituída a minha também breve existência, e a consciencialização para o facto de que o meu caminho ainda fica muito longe e, fazendo uso de palavras de Vergílio Ferreira: “A estrada é larga e segura porque foi construída apenas pela experiência dos homens. Não percas mais os teus passos pela areia movediça e estéril…”. Procurarei, pois, seguir estes e outros sábios conselhos, à medida que desenvolver este trabalho.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O objetivo deste relatório é dar a conhecer um possível percurso de carreira para um aluno que, à entrada no mundo profissional, se interessou por sistemas de suporte à decisão e mais tarde enveredou por uma carreira de docente. Descrevi a minha experiência profissional desde a entrada no curso de Engenharia Informática e as opções que fui tomando durante e depois do curso, demonstrativas do interesse e tendências para a área de suporte à decisão dentro das TI, help desk, assim como pela área do ensino. Assim, o facto de ter trabalhado em diversas áreas e em diversas entidades, colaborei destacadamente na CENTRIA, Portugal Telecom (System Care) e Escola Secundária de Francisco Franco. Nestas entidades fiz desenvolvimento aplicacional em Text Mining, na definição de requisitos, na qualidade e integração de dados e na transmissão de ensinamentos. Esta multiplicidade de contextos permitiu a minha evolução profissional e humana. O curso na FCT-UNL capacitou-me para ser tolerante à frustração, devido aos inúmeros obstáculos com que me fui deparando ao longo do curso, transmitindo-me, assim, uma capacidade de adaptação ao nível das mais diversas tecnologias e metodologias. Ao longo da minha carreira, e graças a todos os ensinamentos assimilados, tenho conseguido ultrapassar sempre as tarefas difíceis a nível técnico, funcional e de gestão que me foram surgindo. Espero transmitir claramente como funcionam os meus projetos, as suas componentes, dificuldades e particularidades.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Contribuição para o Estudo da Aprendizagem da Matemática e da Programação em Comunidades Virtuais de Prática com Foco no Uso de Robots como Mediadores da Aprendizagem O propósito deste estudo, desenvolvido no âmbito de um projeto de investigação que envolveu a utilização de robots na aprendizagem colaborativa da Matemática e da Informática através da Web, é analisar e discutir a noção de participação e o processo de construção do conhecimento em comunidades virtuais de prática. O referido projeto foi desenvolvido em três etapas principais. Na primeira, foram selecionadas as ferramentas de comunicação a serem utilizadas. A segunda etapa envolveu a elaboração e contextualização dos problemas-desafio a serem resolvidos pelos grupos virtuais. A terceira e última etapa do projeto compreendeu o registo e a recolha dos dados e informações obtidos nas reuniões virtuais com grupos de alunos do Ensino Secundário e sua posterior análise, utilizando uma abordagem qualitativa de natureza interpretativa, tendo como referencial teórico a teoria da aprendizagem situada de Lave e Wenger e os conceitos subjacentes às comunidades de prática, objetivando com isto melhor compreender os efeitos das tecnologias sobre tais comunidades, bem como as características da aprendizagem realizada em espaços virtuais. A utilização de robots como mediadores da aprendizagem facilitou a exploração de conceitos abstratos fundamentais relativos às áreas da Matemática e da Informática, permitindo com isto que as tarefas de programação necessárias à resolução dos problemas propostos fizessem mais sentido, pelo facto dos resultados obtidos poderem ser concretizados no mundo real.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Investiguei a arte como estratégia de ensino/aprendizagem e como esta prática estabelece quebra de paradigmas e incentivo à autonomia discente. Para tanto fiz uma breve descrição histórica acerca do panorama teórico correlacionado com o percurso das inovações educacionais desde o final da Idade Média até a contemporaneidade, buscando identificar de que forma o acúmulo teórico-metodológico gerado por este itinerário influenciou na disciplina Arte/Educação e no seu potencial inovador. Observei ainda como a ilustração textual, produzida pelos educandos, funciona como veículo de reelaboração crítica de suas realidades mediata e imediata. Esta investigação teve como sujeitos alunos do nono ano do Ensino Fundamental II, no decorrer de 2011, na escola autogestionária Waldorf Micael, em Fortaleza, Ceará, Brasil. Ao longo das observações, procurei responder às seguintes questões: De que maneira a ilustração textual se configura na qualidade de mediadora de processos interpretativos no contexto de ensino/aprendizagem em arte e literatura? De que forma, ela, no contexto da sistemática pedagógica, se revela como ferramenta de inovação pedagógica? Qual a sua importância no desenvolvimento do senso crítico do educando, e como tal fato se configura inovador? Como interfere na apreensão da realidade do educando, no seu aspecto estético, político e social? Os dados da investigação foram obtidos por meio de entrevistas, análise documental e observação participante; dessa forma esta pesquisa configurou-se como qualitativa, do tipo etnográfica e de base hermenêutica.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

BOIASKI, Daniela ; GUIPSON, Larissa; MARTINS, Silvestre Gomes; MARIA, Taíse ; VANTI, Nadia. Linguagens documentárias. In: SEMINÁRIO DE PESQUISA DO CENTRO DE CIÊNCIAS SOCIAIS APLICADA,15., 2009, Natal. Anais Eletrônico...Natal: CCSA, 2009.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

VANTI, Nadia et al. Linguagens de indexação: uso das linguagens presentes na prática da indexação.In:ENCONTRO REGIONAL DE ESTUDANTES DE BIBLIOTECONOMIA, DOCUMENTAÇÃO, CIÊNCIA DA INFORMAÇÃO E GESTÃO DA INFORMAÇÃO,14, 2011, Maranhão. Anais... Maranhão: EREBD, 2011.