Textos Académicos
36 files
-
Manipulação de Arquivos do Tipo Texto
By Erik
Notes de aula sobre manipulação de arquivos de texto em C++.
Universidade de São Paulo
Departamento de Física e Matemática
Autor: Prof. Dr. José Augusto Baranauskas
12 downloads
Updated
-
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ípticas415 downloads
Updated
-
Slides de Criptografia (U. Minho)
By Rui Carlos
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ções607 downloads
Updated
-
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 Bibliografia532 downloads
Updated
-
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
97 downloads
Updated
-
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,932 downloads
Updated
-
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
236 downloads
Updated
-
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 Oprofile459 downloads
Updated
-
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 computadores478 downloads
Updated
-
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 Computadores1,964 downloads
Updated
-
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 Programas193 downloads
Updated
-
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
346 downloads
Updated
-
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 XML1,488 downloads
Updated
-
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 Grafos1,027 downloads
- c
- algoritmos
- (and 1 more)
Updated
-
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.
184 downloads
Updated
-
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,627 downloads
Updated
-
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 Vistas1,022 downloads
Updated
-
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 Dados1,723 downloads
Updated
-
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 QoS3,270 downloads
Updated
-
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 Update416 downloads
Updated
-
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 Seleccionados332 downloads
Updated
-
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
180 downloads
Updated
-
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 diversos633 downloads
Updated
-
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 Manual215 downloads
Updated
-
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 Matlab1,182 downloads
Updated