Jump to content

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

Textos Académicos

35 files

  1. Técnicas Criptográficas (U. Minho)

    By Rui Carlos

    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

    371 downloads

    Updated

  2. Slides de Criptografia (U. Minho)

    By Rui Carlos

    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

    514 downloads

    Updated

  3. Haskell - Apontamentos (U. Coimbra)

    By Rui Carlos

    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

    455 downloads

    Updated

  4. Slides de XPath (U. Minho)

    By Rui Carlos

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

    90 downloads

    Updated

  5. Introdução à Programação com Scheme (FEUP)

    By Rui Carlos

    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)

    1,848 downloads

    Updated

  6. Apontamentos Teóricos de Prolog (U. Minho)

    By Rui Carlos

    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

    216 downloads

    Updated

  7. Slides de Arquitecturas Avançadas de Computadores (FEUP)

    By Rui Carlos

    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

    440 downloads

    Updated

  8. Slides de Arquitecturas de Computadores (FEUP)

    By Rui Carlos

    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

    448 downloads

    Updated

  9. Slides de Arquitecturas de Computadores (IST)

    By Rui Carlos

    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

    1,853 downloads

    Updated

  10. Assembly para o Assemblador da GNU Arquitectura Intel IA-32 (UL)

    By Rui Carlos

    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

    178 downloads

    Updated

  11. Slide de Lógica para Programação - Prolog (IST)

    By Rui Carlos

    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

    324 downloads

    Updated

  12. Slides de Bases de Dados (UNL)

    By Rui Carlos

    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

    1,417 downloads

    Updated

  13. Slides de Algoritmos e Estruturas de Dados (IST)

    By Rui Carlos

    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

    971 downloads

    Updated

  14. Apontadores e Estruturas de Dados Dinâmicas em C (IST)

    By Rui Carlos

    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.

    173 downloads

    Updated

  15. Algoritmia e Estruturas de Dados (ISEP)

    By Rui Carlos

    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 metodologias 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 capacidade 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 codificaçã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 Programação, Linguagens de Programação I do curso de Engenharia Informática do Departamento 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.

    1,564 downloads

    Updated

  16. Slides de Bases de Dados (U. Coimbra)

    By Rui Carlos

    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

    1,004 downloads

    Updated

  17. Slides de Bases de Dados (FCUP)

    By jncevcosta

    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

    1,640 downloads

    Updated

  18. Slides de Redes de Computadores (IST)

    By Rui Carlos

    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

    3,226 downloads

    Updated

  19. Slides de Gestão e Tratamento de Informação (IST)

    By Rui Carlos

    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

    408 downloads

    Updated

  20. Lógica para Programação (IST)

    By Rui Carlos

    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

    307 downloads

    Updated

  21. Slides de Programação Funcional (U. Minho)

    By Rui Carlos

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

    166 downloads

    Updated

  22. Apontamentos de MATLAB (FEUP)

    By Rui Carlos

    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

    561 downloads

    Updated

  23. Iniciação ao MATLAB (U. Minho)

    By Rui Carlos

    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

    203 downloads

    Updated

  24. Matlab num Instante (U. Aveiro)

    By Rui Carlos

    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

    1,168 downloads

    Updated

  25. Slides de Algoritmos e Estruturas de Dados (FEUP)

    By Rui Carlos

    Slides de curso de Algoritmos e Estruturas de Dados.
    Universidade do Porto
    Faculdade de Engenharia
    Autores: Professora Ana Paula Rocha, Professor Rosaldo Rossetti, Professor António Castro
    Conteúdo
    Programação Orientada por Objectos em C++ Sobrecarga de Operadores em C++ Herança em C++ Templates em C++ Excepções em C++ Introdução ao UML e Ferramentas para C++ Análise de Complexidade de Algoritmos Vectores: Algoritmos de Pesquisa Vectores: Algoritmos de Ordenação Listas Filas de prioridade Árvores Tabelas de dispersão Filas de prioridade Árvores AVL Árvores “Splay” Árvores B

    6,974 downloads

    Updated

×

Important Information

By using this site you accept our Terms of Use and Privacy Policy. We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.

  I accept