Revista PROGRAMAR: Já está disponível a edição #60 da revista programar. Faz já o download aqui!
35 ficheiros
-
Técnicas Criptográficas (U. Minho)
Por 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ípticas359 downloads
Actualizado
-
Slides de Criptografia (U. Minho)
Por 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ções502 downloads
Actualizado
-
Haskell - Apontamentos (U. Coimbra)
Por 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 Bibliografia441 downloads
Actualizado
-
Slides de XPath (U. Minho)
Por 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
85 downloads
Actualizado
-
Introdução à Programação com Scheme (FEUP)
Por 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)1833 downloads
Actualizado
-
Apontamentos Teóricos de Prolog (U. Minho)
Por 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
213 downloads
Actualizado
-
Slides de Arquitecturas Avançadas de Computadores (FEUP)
Por 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 Oprofile429 downloads
Actualizado
-
Slides de Arquitecturas de Computadores (FEUP)
Por 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 computadores436 downloads
Actualizado
-
Slides de Arquitecturas de Computadores (IST)
Por 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 Computadores1795 downloads
Actualizado
-
Assembly para o Assemblador da GNU Arquitectura Intel IA-32 (UL)
Por 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 Programas177 downloads
Actualizado
-
Slide de Lógica para Programação - Prolog (IST)
Por 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
318 downloads
Actualizado
-
Slides de Bases de Dados (UNL)
Por 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 XML1400 downloads
Actualizado
-
Slides de Algoritmos e Estruturas de Dados (IST)
Por 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 Grafos964 downloads
- c
- algoritmos
- (e 1 mais)
Actualizado
-
Apontadores e Estruturas de Dados Dinâmicas em C (IST)
Por 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.
170 downloads
Actualizado
-
Algoritmia e Estruturas de Dados (ISEP)
Por 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.
1555 downloads
Actualizado
-
Slides de Bases de Dados (U. Coimbra)
Por 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 Vistas1000 downloads
Actualizado
-
Slides de Bases de Dados (FCUP)
Por 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 Dados1614 downloads
Actualizado
-
Slides de Redes de Computadores (IST)
Por 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 QoS3172 downloads
Actualizado
-
Slides de Gestão e Tratamento de Informação (IST)
Por 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 Update404 downloads
Actualizado
-
Lógica para Programação (IST)
Por 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 Seleccionados303 downloads
Actualizado
-
Slides de Programação Funcional (U. Minho)
Por 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
164 downloads
Actualizado
-
Apontamentos de MATLAB (FEUP)
Por 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 diversos554 downloads
Actualizado
-
Iniciação ao MATLAB (U. Minho)
Por 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 Manual201 downloads
Actualizado
-
Matlab num Instante (U. Aveiro)
Por 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 Matlab1164 downloads
Actualizado
-
Slides de Algoritmos e Estruturas de Dados (FEUP)
Por 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 B6894 downloads
- c++
- estruturas de dados
- (e 1 mais)
Actualizado