-
Posts
8,637 -
Joined
Files posted by Rui Carlos
-
Certificados de testes da AT
By Rui Carlos in Outros
Ficheiros:
AT Issuing CA1.p7b TesteWebservices .pfx220 downloads
Updated
-
Slides de Bases de Dados (U. Coimbra)
By Rui Carlos in Textos Académicos
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 Vistas1,102 downloads
Updated
-
Slides de Programação Funcional (U. Minho)
By Rui Carlos in Textos Académicos
Slides de curso introdutório à programação funcional, usando a linguagem Haskell.
Universidade do Minho
Programação Funcional
Autor: Professora Maria João Frade
213 downloads
Updated
-
Slides de XPath (U. Minho)
By Rui Carlos in Textos Académicos
Slides sobre XPath de curso de Processamento Estruturado de Documentos.
Universidade do Minho
Departamento de Informática
Autor: Professor José Carlos Ramalho
115 downloads
Updated
-
Slides de Criptografia (U. Minho)
By Rui Carlos in Textos Académicos
Slides de curso de Criptografia.
Usa 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ções678 downloads
Updated
-
Técnicas Criptográficas (U. Minho)
By Rui Carlos in Textos Académicos
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ípticas469 downloads
Updated
-
Haskell - Apontamentos (U. Coimbra)
By Rui Carlos in Textos Académicos
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 Bibliografia587 downloads
Updated
-
Introdução à Programação com Scheme (FEUP)
By Rui Carlos in Textos Académicos
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,993 downloads
Updated
-
Slides de Arquitecturas Avançadas de Computadores (FEUP)
By Rui Carlos in Textos Académicos
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 Oprofile490 downloads
Updated
-
Slides de Arquitecturas de Computadores (FEUP)
By Rui Carlos in Textos Académicos
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 computadores522 downloads
Updated
-
Assembly para o Assemblador da GNU Arquitectura Intel IA-32 (UL)
By Rui Carlos in Textos Académicos
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 Programas223 downloads
Updated
-
Slides de Bases de Dados (UNL)
By Rui Carlos in Textos Académicos
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 XML1,558 downloads
Updated
-
Algoritmia e Estruturas de Dados (ISEP)
By Rui Carlos in Textos Académicos
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,710 downloads
Updated
-
Apontamentos de MATLAB (FEUP)
By Rui Carlos in Textos Académicos
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 diversos789 downloads
Updated
-
Iniciação ao MATLAB (U. Minho)
By Rui Carlos in Textos Académicos
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 Manual235 downloads
Updated
-
Matlab num Instante (U. Aveiro)
By Rui Carlos in Textos Académicos
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 Matlab1,210 downloads
Updated
-
Slides de Sistemas Distribuídos (U. Minho)
By Rui Carlos in Textos Académicos
Universidade do Minho
Sistemas Distribuídos
Autor: Professor Paulo Sérgio Almeida
Conteúdo
Introdução à Programação Concorrente Semáforos Monitores Programação Concorrente em Java Programação Concorrente com Objectos Modelo de Memória de Java Introdução à Passagem de Mensagens e Sistemas Distribuídos833 downloads
Updated
-
Slides de Algoritmos e Estruturas de Dados (FEUP)
By Rui Carlos in Textos Académicos
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 B7,482 downloads
- c++
- estruturas de dados
- (and 1 more)
Updated
-
Elementos de Automação (U. Minho)
By Rui Carlos in Textos Académicos
Universidade do Minho
Departamento de Electrónica Industrial
Autor: Professor Paulo Garrido
Conteúdo
Introdução Álgebra de Boole e Controladores Combinacionais Projecto de Controladores Lógicos Sequenciais196 downloads
Updated
-
Sebenta de Automação e Controlo (E.S.T. Abrantes)
By Rui Carlos in Textos Académicos
Escola Superior de Tecnologia de Abrantes (IPT)
Departamento de Engenharia e Gestão Industrial
Automação e Controlo
Autor: Eng. Toni Alves
Conteúdo
Introdução à Automação Introdução aos Sistemas Digitais Álgebra de Boole e Circuitos Lógicos Pneumática Método sequencial Circuitos Sequenciadores Autómatos Programáveis Controlo Automático (Esta sebenta também contém exercícios, que vão sendo apresentados ao longo dos vários capítulos.)
751 downloads
Updated
-
Especificação e Processamento de Linguagens (U. Minho)
By Rui Carlos in Textos Académicos
Texto abordando conteúdos ligados à especificação e processamento de linguagens, usando expressões regulares e gramáticas.
(Inclui exercícios.)
Universidade do Minho
Autor: Professor João Alexandre Saraiva
Conteúdo
Cap. 1 - Introdução Cap. 2 - Linguagens Cap. 3 - Reconhecimento de Linguagens Cap. 4 - Processamento de Linguagens Ap. A - Meta-Gramática Ap. B - Implementação de um Reconhecedor de uma Linguagem Regular Ap. C - Implementação de um Processador de uma Linguagem Regular Ap. D - Implementação de um Processador Top-Down277 downloads
Updated
-
Apontamentos Teóricos de Programação Orientada aos Objectos (U. Minho)
By Rui Carlos in Textos Académicos
Universidade do Minho
Programação Orientada aos Objectos
Autor: Professor F. Mário Martins
Conteúdo
O Paradigma da Programação por Objectos JAVA: Tecnologia e Introdução à Linguagem Classes e Instâncias Blue J Hierarquia de Classes e Herança Classes Abstractas Interfaces Colecções e Tipos Parametrizados3,742 downloads
Updated
-
Exercícios de Arquitectura de Computadores (IST)
By Rui Carlos in Exercícios c/ Solução
Conjunto de exercícios resolvidos de Arquitecturas de Computadores.
Abordam temas como a representação de dados em binário, organização interna de um computador, ou assembly.
Instituto Superior Técnico
2,596 downloads
Updated
-
Exercícios de Programação Orientada por Objectos (IST)
By Rui Carlos in Exercícios c/ Solução
Alguns exercícios de Programação Orientada por Objectos, onde se pretende especificar um diagrama de classes UML para um problema dado. Inclui proposta de resolução para os problemas.
Instituto Superior Técnico
Programação Orientada por Objectos
Autor: Professor Paulo Alexandre Crisóstomo Lopes
3,310 downloads
Updated
-
Testes de Programação Orientada por Objectos (IST)
By Rui Carlos in Exercícios c/ Solução
Testes de Programação Orientada por Objectos, com resolução (parcial em alguns casos).
Instituto Superior Técnico
Programação Orientada por Objectos
Autor: Professor Paulo Alexandre Crisóstomo Lopes
1,262 downloads
Updated