Ir para o conteúdo

35 ficheiros

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

    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

    298 downloads

    Actualizado

  2. Slides de Criptografia (U. Minho)

    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

    377 downloads

    Actualizado

  3. Haskell - Apontamentos (U. Coimbra)

    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

    329 downloads

    Actualizado

  4. Slides de XPath (U. Minho)

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

    69 downloads

    Actualizado

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

    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)

    1568 downloads

    Actualizado

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

    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

    199 downloads

    Actualizado

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

    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

    Actualizado

  8. Slides de Arquitecturas de Computadores (FEUP)

    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 Arquitecturas de Computadores (IST)

    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

    1620 downloads

    Actualizado

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

    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

    170 downloads

    Actualizado

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

    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 Bases de Dados (UNL)

    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

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

    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

    Actualizado

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

    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

    Actualizado

  15. Algoritmia e Estruturas de Dados (ISEP)

    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.

    1524 downloads

    Actualizado

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

    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

  17. Slides de Bases de Dados (FCUP)

    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

    1461 downloads

    Actualizado

  18. Slides de Redes de Computadores (IST)

    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

    2984 downloads

    Actualizado

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

    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

    Actualizado

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

    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

    291 downloads

    Actualizado

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

    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

  22. Apontamentos de MATLAB (FEUP)

    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

    479 downloads

    Actualizado

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

    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

    189 downloads

    Actualizado

  24. Matlab num Instante (U. Aveiro)

    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

    1146 downloads

    Actualizado

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

    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

    6436 downloads

    Actualizado

×

Aviso Sobre Cookies

Ao usar este site você aceita os nossos Termos de Uso e Política de Privacidade