• Revista PROGRAMAR: Já está disponível a edição #56 da revista programar. Faz já o download aqui!

36 ficheiros

  1. Apontamentos de Criptografia.
    Universidade do Minho
    Departamento de Informática
    Autor: Professor José Manuel Valença
    Conteúdo
    Fundamentos Matemáticos
    Teoria dos Números
    Funções Booleanas
    Criptografia Simétrica
    Criptografia de Chave Pública
    Criptografia Baseada na Identidade
    Criptografia com Agentes Múltiplos
    Curvas Elípticas

    285 downloads

    Submetido

  2. Slides de curso de Criptografia.
    Usas frameworks de criptografia da linguagem Java (JCA/JCE).
    Universidade do Minho
    Departamento de Informática
    Professor: Professor José Carlos Bacelar Almeida
    Conteúdo
    Introdução: conceitos e terminologia
    Introdução ao framework JCA/JCE
    Cifras Sequenciais
    Cifras por Blocos
    Funções de Sentido Único
    Técnicas Assimétricas
    Certificados
    Aplicações

    374 downloads

    Actualizado

  3. Universidade de Coimbra
    Faculdade de Ciências e Tecnologia
    Departamento de Matemática
    Autor: Professor Pedro Quaresma de Almeida
    Conteúdo
    Introdução
    Tipos de Dados
    Definição de Funções
    Definição de Tipos
    Leitura e Escrita
    Módulos em Haskell
    Bibliografia

    327 downloads

    Submetido

  4. Slides sobre XPath de curso de curso de Processamento Estruturado de Documentos.
    Universidade do Minho
    Departamento de Informática
    Autor: Professor José Carlos Ramalho

    64 downloads

    Submetido

  5. Livro de introdução à linguagem de programação Scheme.
    Faculdade de Engenharia da Universidade do Porto
    Autor: Professor Fernando Nunes Ferreira
    Conteúdo
    Breve introdução à linguagem Scheme
    Recursividade
    Abstracção de dados
    Procedimentos como objectos de 1ª classe
    Dados Mutáveis
    Introdução à programação OO em Scheme
    Exercícios finais

    Anexo A: Scheme, resumo dos principais procedimentos
    Anexo B: Procedimentos gráficos (EdScheme e DrScheme)

    1383 downloads

    Submetido

  6. Apontamentos teóricos de curso de Programação Lógica, focando a linguagem de programação Prolog.
    Universidade do Minho
    Paradigmas da Programação III
    Autor: Professor F. Mário Martins

    197 downloads

    Submetido

  7. Slides de curso de Arquitecturas Avançadas de Computadores.
    Universidade do Porto
    Faculdade de Engenharia
    Autor: Professor João Canas Ferreira
    Conteúdo
    Aspectos fundamentais
    Aspectos quantitativos básicos
    Encadeamento de instruções
    Paralelismo ao nível das instruções
    Paralelismo ao nível das instruções
    Oprofile

    392 downloads

    Submetido

  8. Slides de curso de Arquitecturas de Computadores.
    Universidade do Porto
    Faculdade de Engenharia
    Autor: Professor João Canas Ferreira
    Conteúdo
    Circuitos combinatórios e Verilog
    Introdução aos circuitos sequenciais
    Introdução às máquinas de estados
    Organização de um processador
    Execução concorrente de instruções
    Sistemas de memória
    Periféricos de computadores

    399 downloads

    Actualizado

  9. Slides de curso de Arquitectura de Computadores.
    Instituto Superior Técnico
    Departamento de Engenharia Informática
    Autor: Professor José Monteiro
    Conteúdo
    Apresentação da disciplina
    Fundamentos de arquitectura de computadores
    Operandos das instruções Assembly
    Tipos de operandos
    Instruções de controlo
    Conjunto de Instruções do P3
    Tradução de C para Assembly
    Técnicas de Programação em Assembly
    Geração do Código Objecto
    Estrutura Interna de um Processador
    Unidade Lógica e Aritmética
    Unidade de Controlo
    Controlo Microprogramado
    Estrutura Interna do P3
    Microprograma do P3
    Exemplos de Microprogramação. ISA do Intel 8086.
    Sistema de Memória
    Memória Cache I
    Memória Cache II
    Memória Secundária
    Sistema de Entradas e Saídas
    Comunicação Série e Sistema de Interrupções
    Modos de Transferência de Informação
    Tópicos Avançados em Arquitectura de Computadores

    1588 downloads

    Submetido

  10. Sebenta sobre programação em Assembly para IA-32.
    Universidade de Lisboa
    Faculdade de Ciências
    Departamento de Informática
    Autor: Professor Filipe Araújo
    Conteúdo
    Assembly
    Arquitectura
    Endereçamento
    Instruções Gerais
    Instruções de Controlo de Fluxo
    Instruções Aritméticas
    Operações com bits
    Definição de Dados
    Funções
    Bibliotecas de funções
    interrupções e Chamadas ao Sistema
    Exemplos de Programas

    168 downloads

    Submetido

  11. Slides de curso de Lógica para Programação, focando a linguagem de programação lógica Prolog.
    Instituto Superior Técnico
    Lógica para Programação
    Autor: Professora Inês Lince

    295 downloads

    Actualizado

  12. Slides de curso de Desenvolvimento de Aplicações Web.
    Universidade Nova de Lisboa
    Faculdades de Ciências e Tecnologia
    Autor: Professor João Moura Pires, Professor Fernando Birra
    Conteúdo
    Introdução ao HTML
    CSS

    1137 downloads

    Submetido

  13. Slides de curso de Bases de Dados.
    Universidade Nova de Lisboa
    Faculdade de Ciências e Tecnologia
    Autor: Professor João Leite
    Conteúdo
    Introdução
    Modelo ER
    Modelo Relacional
    SQL
    Integridade e Segurança
    Desenho de Bases de Dados
    Outras linguagens
    Transações
    BDs Objecto-Relacional
    XML

    1335 downloads

    Actualizado

  14. Slides de curso de Algoritmos e Estruturas de Dados.
    Instituto Superior Técnico
    Departamento de Engenharia Electrotécnica e de Computadores
    Algoritmos e Estruturas de Dados
    Autor: Professor Luís Miguel Silveira
    Conteúdo
    Motivação - Problema da Conectividade
    Estruturas de Dados
    Análise de Algoritmos e Complexidade
    Algoritmos de Ordenação
    Tabelas de Dispersão
    Árvores
    Filas com prioridade
    Grafos

    918 downloads

    Submetido

  15. Departamento de Engenharia Electrotécnica e de Computadores
    Instituto Superior Técnico
    Autor: Professor Fernando Mira da Silva
    Resumo
    O C é provavelmente a mais flexível das linguagens de programação de alto-nível, mas apresenta uma relativa complexidade sintáctica. Uma das maiores dificuldades na abordagem do C numa disciplina de introdutória de programação é a necessidade de introduzir os conceitos de endereço de memória, apontador e memória dinâmica.
    Este texto foi preparado para apoio à disciplina de Introdução à Programação da Licenciatura em Engenharia Electrotécnica e Computadores do Instituto Superior Técnico. Este texto tenta focar de modo sistemático alguns dos tópicos que maiores dúvidas suscita nas abordagens iniciais da linguagem: apontadores e estruturas de dados dinâmicas. Assim, embora se pressuponha o conhecimentos dos elementos básicas da linguagem C por parte do leitor – nomeadamente, os tipos de dados elementares e as estruturas de controlo – o texto é mantido ao nível elementar de uma disciplina introdutória de informática.
    Na apresentação das estruturas de dados consideradas, que incluem pilhas, filas, listas e anéis, introduz-se de forma natural a noção de abstracção de dados, e os princípios essenciais de estruturação e modularidade baseados neste paradigma de programação.
    Para o programador experiente em C, alguns dos exemplos de código poderão parecer pouco optimizados. Trata-se de uma opção premeditada que tenta beneficiar a clareza e a simplicidade algorítmica, ainda que em alguns casos esta opção possa sacrificar ligeiramente a eficiência do código apresentado. Pensamos, no entanto, que esta é a opção correcta numa abordagem introdutória da programação.

    144 downloads

    Submetido

  16. Instituto Superior de Engenharia do Porto
    Departamento de Engenharia Informática
    Autor: Professor Jorge Santos
    Resumo
    Estes apontamentos têm como objectivo principal apoiar os leitores que pretendam aprender programação de computadores
    Os conteúdos propostos têm como objectivo fornecer bases sólidas de metodo- logias de programação que auxiliem a compreensão de programas computacionais simples, a sua adaptação e desenvolvimento de novas aplicações, e estimular a capa- cidade dos leitores para: analisar e resolver problemas de programação.
    A estrutura destes apontamentos foi definida de acordo com a abordagem de aprender-por-exemplo, pelo que, os conceitos são apenas introduzidos de acordo com a necessidade de explicar a resolução de um determinado algoritmo.
    Neste manual introduzem-se as bases da algoritmia de acordo com o paradigma da programação estruturada. Em cada secção é apresentada um pequena introdu- ção teórica sobre o tópico em destaque, apresentados problemas e propostas soluções para os mesmos, adicionalmente são propostos exercícios para resolução. Na codifi- cação/apresentação das soluções é geralmente Pseudo-Código e/ou Fluxogramas.
    Este documento compila exercícios de vários anos de ensino de muitos docentes do departamento nos quais me incluo. Ao longo do manual poderão ser encontrados exemplos e exercícios propostos pelos docentes nas disciplinas de Algoritmia e Progra- mação, Linguagens de Programação I do curso de Engenharia Informática do Departa- mento de Engenharia Informática (DEI), bem como de Programação I e Programação II do curso Engenharia Electrotécnica do Departamento de Engenharia Electrotécnica (DEE), ambos do ISEP.

    1515 downloads

    Actualizado

  17. Slides de Bases de Dados
    Universidade de Coimbra
    Faculdade de Ciências e Tecnologia
    Bases de Dados
    Autor: Professor Pedro Quaresma
    Conteúdo
    Introdução
    Modelo Entidade-Relação
    Diagramas Entidade-Relação
    Modelo Relacional
    Álgebra Relacional (parte I)
    Álgebra Relacional (parte II)
    SQL (DDL)
    SQL (DML) e Linguagens Embutidas
    Normalização (parte I)
    Normalização (BCNF & 3NF)
    Normalização por dependências multi-valor, 4NF
    Vistas

    975 downloads

    Actualizado

  18. Slides de Bases de Dados
    Faculdade de Ciências da Universidade do Porto
    Departamento de Ciências de Computadores
    Base de Dados
    Autor: Professor Ricardo Rocha
    Conteúdo
    Conceitos Básicos
    Os Modelos ER e EER
    O Modelo Relacional
    Álgebra e Cálculo Relacional
    A Linguagem SQL
    SQL em Ambiente de Programação
    Interface PHP ao MySQL
    Normalização
    Organização Física dos Dados

    1447 downloads

    Actualizado

  19. Slides de curso de Redes de Computadores.
    Instituto Superior Técnico
    Redes de Computadores
    Autor: Professor Artur Arsénio
    Conteúdo
    Introdução às Redes de Computadores e Internet
    Camada Aplicação
    Camada de transporte
    Camada de rede
    Camada Lógica
    Redes Móveis
    Mobilidade
    Multimedia e QoS

    2965 downloads

    Submetido

  20. Slides de curso de Gestão e Tratamento de Informação. Aborda temas relacionados com o armazenamento de dados em XML, e a manipulação de conteúdos em XML.
    Instituto Superior Técnico
    Gestão e Tratamento de Informação
    Autores: Professora Helena Galhardas, Professor Bruno Graça Martins, Professor Pável Calado
    Conteúdo

    Introdução ao XML
    XML namespaces
    XPath
    XSLT
    XQuery (1ª parte)
    XQuery (2ª parte)
    XQuery Update

    382 downloads

    Submetido

  21. Texto abordando conceitos de Lógica e a sua aplicação na programação. Inclui capítulo dedicado à programação em lógica utilizando Prolog. Adicionalmente, todos os capítulos contêm exercícios no final, sendo disponibilizada a solução de alguns deles em apêndice.
    Instituto Superior Técnico
    Lógica para Programação
    Autor: Professor João Pavão Martins
    Conteúdo
    Conceitos Básicos
    Lógica Proposicional
    Lógica de Primeira Ordem
    Programação em Lógica
    Prolog

    Sumário das Regras de Inferência
    Manual de Sobrevivência em Prolog
    Soluções de Exercícios Seleccionados

    287 downloads

    Submetido

  22. Slides de curso introdutório à programação funcional, usando a linguagem Haskell.
    Universidade do Minho
    Programação Funcional
    Autor: Professora Maria João Frade

    144 downloads

    Actualizado

  23. Universidade do Porto
    Faculdade de Engenharia
    Autor: Professor A. J. M. Ferreira
    Conteúdo
    Conceitos básicos
    Controle de fluxo de cálculo
    Funções
    M-files
    Input/Output
    Gráficos
    Matrizes esparsas
    Álgebra linear
    Polinómios
    Funções anónimas
    Equações diferenciais
    Toolbox simbólica
    Outros tipos de dados
    Vectorização
    Exemplos diversos

    463 downloads

    Actualizado

  24. Universidade do Minho
    Autor: Professora Maria Irene Falcão
    Conteúdo
    Introdução
    Operações com Matrizes
    Programar em MATLAB
    Gráficos
    Notebook
    Exercícios

    Funções matriciais
    Manual

    188 downloads

    Actualizado

  25. Tutorial de Matlab com exercícios.
    Universidade de Aveiro
    Departamento de Electrónica e Telecomunicações
    Autor: Professor José Manuel Neto Vieira
    Conteúdo
    Introdução
    Ajuda
    Matrizes
    Expressões
    Manipulação de matrizes
    Gráficos
    O ambiente Matlab
    Tópicos sobre matrizes
    Programação em Matlab
    Construção de código eficiente com o Matlab

    1143 downloads

    Actualizado