Abstract One of the advantages of logic programming (LP) and constraint logic programming (CLP) i... more Abstract One of the advantages of logic programming (LP) and constraint logic programming (CLP) is the fact that one can exploit implicit parallelism in logic programs. Logic programs have two major forms of implicit parallelism: orparallelism (ORP) and and-parallelism (ANDP). In this work we survey some of work that has been taking place within the C LoPn project towards fast execution of logic programs.
Anais do III Curso de Qualidade 2001 - Planos Pedagógicos de Cursos na Área de Computação e Informática, Jul 2001
O objetivo deste documento é a apresentação de um Plano Pedagógico para o Curso de Engenharia de ... more O objetivo deste documento é a apresentação de um Plano Pedagógico para o Curso de Engenharia de Computação, que possa servir como mais uma referência para a elaboração de planos pedagógicos para tal curso. A responsabilidade da proposta restringe-se exclusivamente a seus autores. Esta é uma segunda versão deste documento, que incorpora sugestões dos participantes do III Curso “Qualidade de Cursos de Graduação da Área de Computação e Informática – Planos Pedagógicos”, e também outras sugestões e reflexões dos autores. As alterações mais significativas desta versão foram realizadas na estrutura curricular e na ementa de algumas disciplinas. Não se pretende, nem seria recomendável, apresentar um modelo rígido que viesse a ser tomado como padrão para efeitos de elaboração e avaliação de planos pedagógicos. Pelo contrário, os autores apresentam um plano dentro de um contexto, assumido como existente e não especificado no documento, de perfil de aluno, disponibilidade de corpo docente, características de mercado de trabalho, características regionais, características institucionais, etc., que evidentemente devem ser consideradas quando da implementação de um curso e que podem promover alterações significativas sobre as propostas deste modelo de referência. A característica que identifica o modelo é o esforço no sentido de se obter um Plano Pedagógico adequado a um Curso de Engenharia de Computação voltado a formar um profissional altamente qualificado para atuar, muitas vezes em equipe, em soluções computacionais de problemas que, em geral, implicam o envolvimento do profissional com características físicas do ambiente ou do objeto de trabalho. O Engenheiro de Computação deve ser um profissional preparado para aplicar a matemática, a ciência e as tecnologias modernas em soluções computacionais importantes para o bem estar e a segurança da sociedade. Das diversas possíveis orientações que se pode adotar na formação de um engenheiro de computação, os autores optaram pela proposta de um curso com três diferentes vertentes, que podem eventualmente ser combinadas e proporcionar uma formação geral ao profissional, ou podem ser abordadas com especificidade de maneira a promover uma formação em ênfase específica. Independentemente da opção, o elenco de disciplinas obrigatórias é suficiente para promover a formação básica e essencial do engenheiro, principalmente nos aspectos referentes aos conhecimentos físicos e às tecnologias computacionais necessárias à sua atuação profissional. As três vertentes trabalhadas são: --- Automação e Controle; --- Redes e Telecomunicações; --- Engenharia de Software. Considerando-se portanto, estas três vertentes, descrevemos neste texto as características inerentes a um Curso de Engenharia de Computação no que diz respeito ao perfil esperado do egresso, às classes de problemas que esses estarão aptos a resolver, às funções que poderão vir a exercer e à sua capacidade de adaptação à evolução tecnológica. Sugerimos também uma metodologia que pode ser adotada para a execução do curso, capaz de contribuir com a formação que se deseja dar ao aluno, e uma grade curricular compatível, em que se descrevem as ementas de cada disciplina, seus objetivos, requisitos, livros textos e referenciados e software de apoio.
Abstract One of the advantages of logic programming (LP) and constraint logic programming (CLP) i... more Abstract One of the advantages of logic programming (LP) and constraint logic programming (CLP) is the fact that one can exploit implicit parallelism in logic programs. Logic programs have two major forms of implicit parallelism: orparallelism (ORP) and and-parallelism (ANDP). In this work we survey some of work that has been taking place within the C LoPn project towards fast execution of logic programs.
Anais do III Curso de Qualidade 2001 - Planos Pedagógicos de Cursos na Área de Computação e Informática, Jul 2001
O objetivo deste documento é a apresentação de um Plano Pedagógico para o Curso de Engenharia de ... more O objetivo deste documento é a apresentação de um Plano Pedagógico para o Curso de Engenharia de Computação, que possa servir como mais uma referência para a elaboração de planos pedagógicos para tal curso. A responsabilidade da proposta restringe-se exclusivamente a seus autores. Esta é uma segunda versão deste documento, que incorpora sugestões dos participantes do III Curso “Qualidade de Cursos de Graduação da Área de Computação e Informática – Planos Pedagógicos”, e também outras sugestões e reflexões dos autores. As alterações mais significativas desta versão foram realizadas na estrutura curricular e na ementa de algumas disciplinas. Não se pretende, nem seria recomendável, apresentar um modelo rígido que viesse a ser tomado como padrão para efeitos de elaboração e avaliação de planos pedagógicos. Pelo contrário, os autores apresentam um plano dentro de um contexto, assumido como existente e não especificado no documento, de perfil de aluno, disponibilidade de corpo docente, características de mercado de trabalho, características regionais, características institucionais, etc., que evidentemente devem ser consideradas quando da implementação de um curso e que podem promover alterações significativas sobre as propostas deste modelo de referência. A característica que identifica o modelo é o esforço no sentido de se obter um Plano Pedagógico adequado a um Curso de Engenharia de Computação voltado a formar um profissional altamente qualificado para atuar, muitas vezes em equipe, em soluções computacionais de problemas que, em geral, implicam o envolvimento do profissional com características físicas do ambiente ou do objeto de trabalho. O Engenheiro de Computação deve ser um profissional preparado para aplicar a matemática, a ciência e as tecnologias modernas em soluções computacionais importantes para o bem estar e a segurança da sociedade. Das diversas possíveis orientações que se pode adotar na formação de um engenheiro de computação, os autores optaram pela proposta de um curso com três diferentes vertentes, que podem eventualmente ser combinadas e proporcionar uma formação geral ao profissional, ou podem ser abordadas com especificidade de maneira a promover uma formação em ênfase específica. Independentemente da opção, o elenco de disciplinas obrigatórias é suficiente para promover a formação básica e essencial do engenheiro, principalmente nos aspectos referentes aos conhecimentos físicos e às tecnologias computacionais necessárias à sua atuação profissional. As três vertentes trabalhadas são: --- Automação e Controle; --- Redes e Telecomunicações; --- Engenharia de Software. Considerando-se portanto, estas três vertentes, descrevemos neste texto as características inerentes a um Curso de Engenharia de Computação no que diz respeito ao perfil esperado do egresso, às classes de problemas que esses estarão aptos a resolver, às funções que poderão vir a exercer e à sua capacidade de adaptação à evolução tecnológica. Sugerimos também uma metodologia que pode ser adotada para a execução do curso, capaz de contribuir com a formação que se deseja dar ao aluno, e uma grade curricular compatível, em que se descrevem as ementas de cada disciplina, seus objetivos, requisitos, livros textos e referenciados e software de apoio.
Uploads
Papers by C. Geyer
A característica que identifica o modelo é o esforço no sentido de se obter um Plano Pedagógico adequado a um Curso de Engenharia de Computação voltado a formar um profissional altamente qualificado para atuar, muitas vezes em equipe, em soluções computacionais de problemas que, em geral, implicam o envolvimento do profissional com características físicas do ambiente ou do objeto de trabalho. O Engenheiro de Computação deve ser um profissional preparado para aplicar a matemática, a ciência e as tecnologias modernas em soluções computacionais importantes para o bem estar e a segurança da sociedade.
Das diversas possíveis orientações que se pode adotar na formação de um engenheiro de computação, os autores optaram pela proposta de um curso com três diferentes vertentes, que podem eventualmente ser combinadas e proporcionar uma formação geral ao profissional, ou podem ser abordadas com especificidade de maneira a promover uma formação em ênfase específica. Independentemente da opção, o elenco de disciplinas obrigatórias é suficiente para promover a formação básica e essencial do engenheiro, principalmente nos aspectos referentes aos conhecimentos físicos e às tecnologias computacionais necessárias à sua atuação profissional. As três vertentes trabalhadas são:
--- Automação e Controle;
--- Redes e Telecomunicações;
--- Engenharia de Software.
Considerando-se portanto, estas três vertentes, descrevemos neste texto as características inerentes a um Curso de Engenharia de Computação no que diz respeito ao perfil esperado do egresso, às classes de problemas que esses estarão aptos a resolver, às funções que poderão vir a exercer e à sua capacidade de adaptação à evolução tecnológica. Sugerimos também uma metodologia que pode ser adotada para a execução do curso, capaz de contribuir com a formação que se deseja dar ao aluno, e uma grade curricular compatível, em que se descrevem as ementas de cada disciplina, seus objetivos, requisitos, livros textos e referenciados e software de apoio.
A característica que identifica o modelo é o esforço no sentido de se obter um Plano Pedagógico adequado a um Curso de Engenharia de Computação voltado a formar um profissional altamente qualificado para atuar, muitas vezes em equipe, em soluções computacionais de problemas que, em geral, implicam o envolvimento do profissional com características físicas do ambiente ou do objeto de trabalho. O Engenheiro de Computação deve ser um profissional preparado para aplicar a matemática, a ciência e as tecnologias modernas em soluções computacionais importantes para o bem estar e a segurança da sociedade.
Das diversas possíveis orientações que se pode adotar na formação de um engenheiro de computação, os autores optaram pela proposta de um curso com três diferentes vertentes, que podem eventualmente ser combinadas e proporcionar uma formação geral ao profissional, ou podem ser abordadas com especificidade de maneira a promover uma formação em ênfase específica. Independentemente da opção, o elenco de disciplinas obrigatórias é suficiente para promover a formação básica e essencial do engenheiro, principalmente nos aspectos referentes aos conhecimentos físicos e às tecnologias computacionais necessárias à sua atuação profissional. As três vertentes trabalhadas são:
--- Automação e Controle;
--- Redes e Telecomunicações;
--- Engenharia de Software.
Considerando-se portanto, estas três vertentes, descrevemos neste texto as características inerentes a um Curso de Engenharia de Computação no que diz respeito ao perfil esperado do egresso, às classes de problemas que esses estarão aptos a resolver, às funções que poderão vir a exercer e à sua capacidade de adaptação à evolução tecnológica. Sugerimos também uma metodologia que pode ser adotada para a execução do curso, capaz de contribuir com a formação que se deseja dar ao aluno, e uma grade curricular compatível, em que se descrevem as ementas de cada disciplina, seus objetivos, requisitos, livros textos e referenciados e software de apoio.