Nelma Moreira. Departamento de Ciência de Computadores da FCUP. Aula 12
|
|
- Geraldo Salgado Teixeira
- 6 Há anos
- Visualizações:
Transcrição
1 Fundamentos de Linguagens de Programação Nelma Moreira Departamento de Ciência de Computadores da FCUP Fundamentos de Linguagens de Programação Aula 12 Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 1 / 13 Semântica axiomática Pretende-se agora verificar que um programa tem determinadas propriedades e não tanto o significado do programa.em particular, propriedades de correção parcial : se o programa terminar então que se no estado s se verifica P, se depois de se executar o programa c o estado for s então verifica-se P. correção parcial + terminação = correcção total Dado a indecidibilidade da terminação genérica de programas as propriedades de correção parcial são muito importantes na verificação formal de software. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 2 / 13
2 Asserções Para provar a correção parcial de propriedades de programas podia-se usar as semânticas vistas, mas é mais apropriado definir um calculus. As propriedades de correção parcial de programas são asserções da forma: {P} c {Q} onde c é um comando e P e Q são predicados duma lógica de primeira ordem.p é uma pré-condição e Q é uma pós-condição. Informalmente a asserção é válida se: se P se verifica no estado inicial se a execução de c termina num estado s então Q verifica-se no estado s Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 3 / 13 Exemplos {x = 1}x := x + 1{x = 2} esta asserção é verdadeira {x = 1}y := x{y = 1} esta asserção é verdadeira {x = 1}y := x{y = 2} esta asserção é falsa {x = x 0 y = y 0 }r := x ; x := y ; y := r{x = y 0 y = x 0 } As variáveis x 0 e y 0 são chamadas variáveis lógicas. {V}c{Q} se c terminar Q verifica-se {P}c{V} é sempre verdadeira para qualquer c e P. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 4 / 13
3 Exemplo y := 0; x := 1; {y = 0 x = 1} while x = 101 do y := y + x; x := x + 1 {y = 100 m=1 m} Pretende-se inferir que y = 100 tinhamos y = 0 e x = 1. m=1 m sabendo que antes do ciclo while É facil ver que no fim do ciclo x = 101, mas queremos o valor de y! Temos que construir um invariante do ciclo: no início de cada iteração temos que y = (x 1) Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 5 / 13 Linguagem das Asserções Numa asserção, {P}c{Q}, P, Q são fórmulas φ, ψ,... duma linguagem de lógica de primeira ordem para a aritmética, ou seja: constantes 0 e 1 (os inteiros decimais são abreviaturas) com símbolos funcionais,+, e com símbolos de predicado <, = os habituais símbolos lógicos: operadores e quantificadores (onde os quantificadores só ligam as chamadas variáveis lógicas) São interpretadas nos naturais numa estrutura N = (N, ) e os estados s, correspondem a atribuições de valores ás variáveis. Se N = s φ, dizemos que s satifaz φ, i.e., s = φ. Por exemplo, se s(x) = 2, s(y) = 5, s(z) = 1, s = (x + y < z) verifica-se s = y x z < z não se verifica Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 6 / 13
4 Correção parcial e total Correção parcial Um triplo {φ}c{ψ} é satisfeito para a correção parcial se para todos os estados que satisfazem φ, o estado que resulta de executar c satisfaz ψ, desde que c termine, = p {φ}c{ψ}. Nota que while true do x := 0 satisfaz todas as asserções. Correção total Um triplo {φ}c{ψ} é satisfeito para a correção total se para todos os estados que satisfazem φ, é garantido que c termina e que o estado resultante satisfaz ψ, = t {φ}c{ψ}. Neste caso o ciclo anterior não se verifica para nenhuma asserção. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 7 / 13 A linguagem das asserções Podemos estender as expressões booleanas Bexp para exprimir os predicados usados nas asserções. Mas vamos apenas supor que a sua semântica é uma função de State em T, sem definir formalmente a sintaxe. Iremos considerar variaveis lógicas como n que corresponde a um valor inteiro e que pode ser usado nos predicados das asserções. Abreviaturas P significa que P s é verdade P[x A[[a]]] significa P s[x A[[a]]s] é verdade P 1 P 2 significa que P 1 s e P 2 s são verdade P 1 significa que P 1 s é falso P 1 P 2 significa que s State (P 1 s implica P 2 s) é verdade Nos exemplos, iremos também usar b e a em vez de B[[b]] e A[[a]]. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 8 / 13
5 Sistema dedutivo (calculus) para a correção parcial Um sistema dedutivo é constituído por um conjunto de axiomas e um conjunto de regras de inferência. Uma derivação (demonstração) é uma sequência finita de aplicações das regras e dos axiomas. Se uma asserção {P}c{Q} for derivada pelo calculus de correção parcial dizemos que p {P}c{Q} é válido. O calculus é integro se: p {P}c{Q} implica que = p {P}c{Q}. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula 12 9 / 13 Semântica axiomática para a linguaguem While Sistema de inferência - Lógica de Hoare [ass p ] [skip p ] [comp p ] [if p ] {P[x A[[a]]]} x := a {P} {P} skip {P} {P} c 1 {R} {R} c 2 {Q} {P} c 1 ; c 2 {Q} {B[[b]] P} c 1 {Q} { B[[b]] P} c 2 {Q} {P} if b then c 1 else c 2 {Q} Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula / 13
6 Semântica axiomática para a linguaguem While Sistema de inferência - Lógica de Hoare (cont.) [while p ] [cons p ] {B[[b]] P} c {P} {P} while b do c { B[[b]] P} {P } c {Q } se P P e Q Q {P} c {Q} Na regra while P o predicado P chama-se um invariante do ciclo: verfica-se antes e depois de cada execução de c. A regra cons p designa-se por regra da consequência: podemos fortalecer a pré-condição e enfraquecer a pós-condição. Dizemos que p {P} c{q} se a asserção se pode deduzir usando o sistema de inferência. Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula / 13 Exemplos Exemplo Mostrar que p {V}z := x; z := z + y; u := z{u = x + y} {z + y = x + y}z := z + y{z = x + y} {z = x + y}u := z{u = x + y} {x + y = x + y}z := x{z + y = x + y} {z + y = x + y}z := z + y; u := z{u = x + y} {x + y = x + y}z := x; z := z + y; u := z{u = x + y} {V}z := x; z := z + y; u := z{u = x + y} Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula / 13
7 Exemplos O sistema de inferência só é integro se em cada passo se garantir a terminação! Uma asserção não garante a terminação Exemplo Considera o comando while true do skip. Pode-se ter a seguinte inferência: {V} skip {V} cons p {V V} skip {V} while p {V} while true do skip { V V} consp e F V {V} while true do skip {V} Mas esta derivação se fosse integra obrigava o progama a terminar, o que não é o caso! Nelma Moreira (DCC-FC) Fundamentos de Linguagens de Programação Aula / 13
Lógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisExercícios e questões de Álgebra Linear
CEFET/MG Exercícios e questões de Álgebra Linear Versão 1.2 Prof. J. G. Peixoto de Faria Departamento de Física e Matemática 25 de outubro de 2012 Digitado em L A TEX (estilo RevTEX). 2 I. À GUISA DE NOTAÇÃO
Leia maisIntrodução aos Computadores Introdução à Ciência de Computadores Outubro 2011 1 / 16
Introdução aos Computadores Introdução à Ciência de Computadores Nelma Moreira Departamento de Ciência de Computadores da FCUP Outubro 2011 Introdução aos Computadores Introdução à Ciência de Computadores
Leia maisAula 11: Desvios e Laços
Aula 11: Desvios e Laços Nesta aula explicaremos alguns comandos que podem alterar o fluxo dos seus programas em JavaScript. Você aprenderá a estrutura dos comandos de desvios e laços. Entenderá como funcionam
Leia maisLógica de Programação. Profas. Simone Campos Camargo e Janete Ferreira Biazotto
Lógica de Programação Profas. Simone Campos Camargo e Janete Ferreira Biazotto O curso Técnico em Informática É o profissional que desenvolve e opera sistemas, aplicações, interfaces gráficas; monta estruturas
Leia maisUniversidade Federal de Goiás Campus Catalão Departamento de Matemática
Universidade Federal de Goiás Campus Catalão Departamento de Matemática Disciplina: Álgebra Linear Professor: André Luiz Galdino Aluno(a): 4 a Lista de Exercícios 1. Podemos entender transformações lineares
Leia maisNotas de aula de Lógica para Ciência da Computação. Aula 11, 2012/2
Notas de aula de Lógica para Ciência da Computação Aula 11, 2012/2 Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 21 de fevereiro de 2013 Sumário 1 Ineficiência das tabelas de verdade
Leia maisMódulo de Equações do Segundo Grau. Equações do Segundo Grau: Resultados Básicos. Nono Ano
Módulo de Equações do Segundo Grau Equações do Segundo Grau: Resultados Básicos. Nono Ano Equações do o grau: Resultados Básicos. 1 Exercícios Introdutórios Exercício 1. A equação ax + bx + c = 0, com
Leia maisRecorrendo à nossa imaginação podemos tentar escrever números racionais de modo semelhante: 1 2 = 1 + 3 + 32 +
1 Introdução Comecemos esta discussão fixando um número primo p. Dado um número natural m podemos escrevê-lo, de forma única, na base p. Por exemplo, se m = 15 e p = 3 temos m = 0 + 2 3 + 3 2. Podemos
Leia maisAlgoritmos APRENDENDO A PROGRAMAR COM C#
Algoritmos APRENDENDO A PROGRAMAR COM C# Alô Mundo AULA 01 Conhecendo o ambiente O objetivo principal desse programa não é mostrar a mensagem Alo Mundo. O objetivo é apresentar o ambiente de desenvolvimento
Leia maisO Cálculo λ sem Tipos
Capítulo 2 O Cálculo λ sem Tipos 21 Síntaxe e Redução Por volta de 1930 o cálculo lambda sem tipos foi introduzido como uma fundação para a lógica e a matemática Embora este objectivo não tenha sido cumprido
Leia maisAnálise de Algoritmos
Análise de Algoritmos Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2016 A invariante de laço pode ser definida como uma relação entre as variáveis de um algoritmo que é verdadeira em um determinado
Leia maisEntropia, Entropia Relativa
Entropia, Entropia Relativa e Informação Mútua Miguel Barão (mjsb@di.uevora.pt) Departamento de Informática Universidade de Évora 13 de Março de 2003 1 Introdução Suponhamos que uma fonte gera símbolos
Leia maisIntrodução ao cálculo-λ
Introdução ao cálculo-λ Pedro Vasconcelos 13 de Fevereiro de 2014 O que é o cálculo-λ? É um modelo computação universal (i.e., equipotente à máquina de Turing) Ao contrário da MT, o cálculo-λ é também
Leia maisEstruturas de Repetição
Estruturas de Repetição Lista de Exercícios - 04 Algoritmos e Linguagens de Programação Professor: Edwar Saliba Júnior Estruturas de Repetição O que são e para que servem? São comandos que são utilizados
Leia maisSimulado de Linguagem de Programação Java
Simulado de Linguagem de Programação Java 1. Descreva o processo de criação de programas em Java, desde a criação do código-fonte até a obtenção do resultado esperado, por meio de sua execução. Cite as
Leia maisMétodos Formais. Agenda. Relações Binárias Relações e Banco de Dados Operações nas Relações Resumo Relações Funções. Relações e Funções
Métodos Formais Relações e Funções por Mauro Silva Agenda Relações Binárias Relações e Banco de Dados Operações nas Relações Resumo Relações Funções MF - Relações e Funções 2 1 Relações Binárias Definição
Leia maisFiabilidade dos Sistemas Informáticos
Fiabilidade dos Sistemas Informáticos Verificação de Programas Imperativos Lógica de Hoare e outros métodos baseado em Pré/Pós-Condições e Invariantes Simão Melo de Sousa Computer Science Department University
Leia maisENG1000 Introdução à Engenharia
ENG1000 Introdução à Engenharia Aula 09 Vetores e Matrizes Edirlei Soares de Lima Introdução Até agora nós temos usado variáveis simples para armazenar valores usados por nossos
Leia maisInteligência Artificial
Inteligência Artificial Aula 7 Programação Genética M.e Guylerme Velasco Programação Genética De que modo computadores podem resolver problemas, sem que tenham que ser explicitamente programados para isso?
Leia maisPESQUISA OPERACIONAL -PROGRAMAÇÃO LINEAR. Prof. Angelo Augusto Frozza, M.Sc.
PESQUISA OPERACIONAL -PROGRAMAÇÃO LINEAR Prof. Angelo Augusto Frozza, M.Sc. ROTEIRO Esta aula tem por base o Capítulo 2 do livro de Taha (2008): Introdução O modelo de PL de duas variáveis Propriedades
Leia maisSintaxe e Semântica. Fases da Compilação. programa fonte
Sintaxe e Semântica mleal@inf.puc-rio.br Fases da Compilação programa fonte tokens parse tree árvore anotada ou outra forma intermediária código intermediário código objeto código objeto otimizado scanner
Leia maisAULA 07 Distribuições Discretas de Probabilidade
1 AULA 07 Distribuições Discretas de Probabilidade Ernesto F. L. Amaral 31 de agosto de 2010 Metodologia de Pesquisa (DCP 854B) Fonte: Triola, Mario F. 2008. Introdução à estatística. 10 ª ed. Rio de Janeiro:
Leia maisCapítulo1 Tensão Normal
- UNIVERSIDADE FEDERAL FLUMINENSE ESCOLA DE ENGENHARIA INDUSTRIAL METALÚRGICA DE VOLTA REDONDA PROFESSORA: SALETE SOUZA DE OLIVEIRA BUFFONI DISCIPLINA: RESISTÊNCIA DOS MATERIAIS Referências Bibliográficas:
Leia maisComandos de Desvio 1
Programação de Computadores I UFOP DECOM 2014 1 Aula prática 3 Comandos de Desvio 1 Sumário Resumo Nesta aula você irá resolver problemas que requerem uma decisão com base em um teste, ou condição. Para
Leia mais4.4 Limite e continuidade
4.4 Limite e continuidade Noções Topológicas em R : Dados dois pontos quaisquer (x 1, y 1 ) e (x, y ) de R indicaremos a distância entre eles por då(x 1, y 1 ), (x, y )è=(x 1 x ) + (y 1 y ). Definição
Leia maisIntrodução à Programação de Computadores Parte I
Introdução à Programação de Computadores Parte I Prof. Dr. Edson Pimentel Centro de Matemática, Computação e Cognição Objetivos Compreender os componentes básicos de um programa... Objetivos Bacharelado
Leia maisPOTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS. Potenciação 1
POTENCIAÇÃO, RADICIAÇÃO E LOGARITMAÇÂO NOS NÚMEROS REAIS Potenciação 1 Neste texto, ao classificarmos diferentes casos de potenciação, vamos sempre supor que a base e o expoente sejam não nulos, pois já
Leia maisSejam P1(x1,y1) e P2(x2,y2) pontos pertencentes ao plano. A equação da reta pode ser expressa como: ou
Sejam P1(x1,y1) e P2(x2,y2) pontos pertencentes ao plano. A equação da reta pode ser expressa como: ou y = ax + b ax y = b Desta forma, para encontrarmos a equação da reta que passa por entre esses dois
Leia maisUniversidade Estadual de Campinas Departamento de Matemática. Teorema de Jacobson. Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800)
Universidade Estadual de Campinas Departamento de Matemática Teorema de Jacobson Adriana Wagner(RA: 144768) Gustavo Terra Bastos(RA: 143800) Campinas - SP 2013 1 Resumo Nesta monografia apresentamos a
Leia maisAnálise Léxica. Sumário
Análise Léxica Renato Ferreira Sumário Definição informal de Análise Léxica Identifica tokens numa string de entrada Alguns detalhes Lookahead Ambiguidade Especificação de Analisadores Léxicos Expressões
Leia maisBases Matemáticas. Daniel Miranda 1. 23 de maio de 2011. sala 819 - Bloco B página: daniel.miranda
Daniel 1 1 email: daniel.miranda@ufabc.edu.br sala 819 - Bloco B página: http://hostel.ufabc.edu.br/ daniel.miranda 23 de maio de 2011 Elementos de Lógica e Linguagem Matemática Definição Uma proposição
Leia maisGraphing Basic no Excel 2007
Graphing Basic no Excel 2007 Tabela de Conteúdos 1. Inserindo e formatando os dados no Excel 2. Criando o gráfico de dispersão inicial 3. Criando um gráfico de dispersão de dados de titulação 4. Adicionando
Leia maisCiclo com Contador : instrução for. for de variável := expressão to. expressão do instrução
Métodos de Programação I 2. 27 Ciclo com Contador : instrução for identificador downto for de variável := expressão to expressão do instrução UMA INSTRUÇÃO (SIMPLES OU COMPOSTA) Neste caso o ciclo é repetido
Leia maisC A P I T U L O 6 E S T R U T U R A S D E C O N T R O L E D E R E P E T I Ç Ã O
C A P I T U L O 6 E S T R U T U R A S D E C O N T R O L E D E R E P E T I Ç Ã O Sempre que precisarmos em um script PHP que uma ou mais linhas de comandos sejam repetidamente executadas, utilizamos laços
Leia maisENGENHARIA DE SOFTWARE
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Curso Técnico em Informática : ENGENHARIA DE SOFTWARE Prof.: Clayton Maciel Costa clayton.maciel@ifrn.edu.br Um conjunto estruturado
Leia maisComecemos por relembrar as propriedades das potências: = a x c) a x a y = a x+y
. Cálculo Diferencial em IR.1. Função Exponencial e Função Logarítmica.1.1. Função Exponencial Comecemos por relembrar as propriedades das potências: Propriedades das Potências: Sejam a e b números positivos:
Leia maisRESUMO ABSTRACT. Vamos supor que uma caixa-preta, representada por uma relação de entrada e saída. f :!! 7!
REALIZAÇÃO CANÔNICA DA SEQÜÊNCIA DE FIBONACCI Paulo Franca Bandel (IC) 1 & Marcos Antonio Botelho Labmat Laboratório de Matemática Experimental Departamento de Matemática Instituto Tecnológico de Aeronáutica
Leia maisTópicos Avançados em Banco de Dados Dependências sobre regime e controle de objetos em Banco de Dados. Prof. Hugo Souza
Tópicos Avançados em Banco de Dados Dependências sobre regime e controle de objetos em Banco de Dados Prof. Hugo Souza Após vermos uma breve contextualização sobre esquemas para bases dados e aprendermos
Leia maisFundamentos de Programação. Diagrama de blocos
Fundamentos de Programação Diagrama de blocos Prof. M.Sc.: João Paulo Q. dos Santos E-mail: joao.queiroz@ifrn.edu.br Página: http://docente.ifrn.edu.br/joaoqueiroz/ O processo de desenvolvimento (programação),
Leia maisFundamentos de Lógica Matemática
Webconferência 4-08/03/2012 Técnicas dedutivas Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Maneiras
Leia maisIES-300. Tecnologia em Análise e Desenvolvimento de Sistemas Prof. Me. Álvaro d Arce alvaro@darce.com.br
IES-300 Tecnologia em Análise e Desenvolvimento de Sistemas Prof. Me. Álvaro d Arce alvaro@darce.com.br Teste de Caixa Branca 2 Teste de Componentes: Caixa Branca Teste de Caixa Branca Grafo de Fluxo de
Leia maisUNIVERSIDADE ESTADUAL PAULISTA. Apostila Pascal Ed. 2006. Prof. Dr. Galeno José de Sena DMA/FEG CAPÍTULO 8
unesp UNIVERSIDADE ESTADUAL PAULISTA Apostila Pascal Ed 2006 Prof Dr Galeno José de Sena DMA/FEG CAPÍTULO 8 ARQUIVOS DE DADOS EM PASCAL: ARQUIVOS SEQUENCIAIS - UMA INTRODUÇÃO 81 ARQUIVOS SEQUENCIAL E DIRETO
Leia maisIntrodução à Informática
Introdução à Informática Alexandre Meslin (meslin@nce.ufrj.br) Objetivo do Curso Apresentar os conceitos básicos de informática, de software e de hardware. Introduzir os conceitos relativos à representação
Leia maisAnálise de programas imperativos
Análise de programas imperativos AMC 2011/12 ì Paulo Mateus Departamento de Matemática IST 2012 Objectivos ì Noção de invariante e variante de um ciclo ì Prova (informal) da correção de algoritmos imperativos
Leia maisSubsequência comum mais longa Em inglês, Longest Common Subsequence (LCS)
Programação Dinâmica Subsequência comum mais longa Em inglês, Longest Common Subsequence (LCS) Fernando Lobo Algoritmos e Estrutura de Dados II 1 / 23 Longest Common Subsequence (LCS) Dadas duas sequências,
Leia maisEXERCÍCIOS DE ÁLGEBRA LINEAR E GEOMETRIA ANALÍTICA (sistemas de equações lineares e outros exercícios)
UNIVERSIDADE DO ALGARVE ESCOLA SUPERIOR DE TECNOLOGIA EXERCÍCIOS DE ÁLGEBRA LINEAR E GEOMETRIA ANALÍTICA (sistemas de equações lineares e outros eercícios) ÁREA DEPARTAMENTAL DE ENGENHARIA CIVIL Eercícios
Leia maisRentabilize a sua assistência pós-venda e, em simultâneo, surpreenda os seus clientes com o seu profissionalismo
Descritivo completo Suporte 2008 Rentabilize a sua assistência pós-venda e, em simultâneo, surpreenda os seus clientes com o seu profissionalismo Benefícios Help-desk e suporte pósvenda controlados; Integrado
Leia mais1 Teoria de conjuntos e lógica
1 Teoria de conjuntos e lógica Estes breves apontamentos dizem respeito à parte do programa dedicada à teoria de conjuntos e à lógica matemática. Embora concebidos sem grandes formalismos e com poucas
Leia maisUnidade 1: O Computador
Unidade : O Computador.3 Arquitetura básica de um computador O computador é uma máquina que processa informações. É formado por um conjunto de componentes físicos (dispositivos mecânicos, magnéticos, elétricos
Leia maisCapítulo 5: Repetições
Capítulo 5: Repetições INF1004 e INF1005 Programação 1 Pontifícia Universidade Católica Departamento de Informática Construção de Laços Repetição: Diversos problemas de difícil solução podem ser resolvidos
Leia mais,QVWDODomR. Dê um duplo clique para abrir o Meu Computador. Dê um duplo clique para abrir o Painel de Controle. Para Adicionar ou Remover programas
,QVWDODomR 5HTXLVLWRV0tQLPRV Para a instalação do software 0RQLWXV, é necessário: - Processador 333 MHz ou superior (700 MHz Recomendado); - 128 MB ou mais de Memória RAM; - 150 MB de espaço disponível
Leia maisAvaliação Baseada em Modelos Conceituais I - Engenharia Cognitiva
1 Avaliação Baseada em Modelos Conceituais I - Engenharia Cognitiva Aula 5 19/03/2012 2 O que são modelos? São moldes previamente estabelecidos que utilizamos para descrever, interpretar, construir objetos
Leia maisProf. Eugênio Carlos Stieler
CAPITALIZAÇÃO COMPOSTA CAPITALIZAÇÁO COMPOSTA: MONTANTE E VALOR ATUAL PARA PAGAMENTO ÚNICO Capitalização composta é aquela em que a taxa de juros incide sobre o capital inicial, acrescido dos juros acumulados
Leia maisCOMO VENDER MAIS USANDO FUNIL DE VENDAS. Capítulo III: Etapas do Funil de Vendas
COMO VENDER MAIS USANDO FUNIL DE VENDAS Capítulo III: Etapas do Funil de Vendas Índice Introdução Defina suas etapas de vendas corretamente Como definir suas etapas de vendas 03 05 06 2 Introdução Olá,
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. uma expressão com significado Uma expressão pode ser expressão sem significado
Leia mais2. ALGORITMOS. Unesp Campus de Guaratinguetá
2. ALGORITMOS Unesp Campus de Guaratinguetá Curso de Programação Computadores Prof. Aníbal Tavares Profa. Cassilda Ribeiro Ministrado por: Prof. André Amarante Problemas: Unesp-Campus de Guaratinguetá
Leia maisFastCube 2.0 Programmer Manual
FastCube 2.0 Programmer Manual I FastCube 2.0 Programmer Manual Table of contents Chapter I Arquitetura do FastCube 2 2 Chapter II Utilizaçã o dos componentes do FastCube 5 1 Salvar... e carregar um cubo
Leia maisModelo Lógico: Tabelas, Chaves Primárias e Estrangeiras
Modelo Lógico: Tabelas, Chaves Primárias e Estrangeiras Apresentar a próxima etapa da modelagem de dados: o modelo lógico e os conceitos de tabelas, chaves primárias e estrangeiras e como o banco de dados
Leia maisÁrvores. ! utilizada em muitas aplicações. ! modela uma hierarquia entre elementos. ! O conceito de árvores está diretamente ligado à recursão
Árvores 1 Árvores! utilizada em muitas aplicações! modela uma hierarquia entre elementos! árvore genealógica! diagrama hierárquico de uma organização! modelagem de algoritmos! O conceito de árvores está
Leia maisComandos de repetição while
Programação de Computadores I UFOP DECOM 2014 2 Aula prática 6 Comandos de repetição while Resumo Nesta aula vamos trabalhar com problemas cuja solução envolve realizar um cálculo ou tarefa repetidas vezes,
Leia maisAV2 - MA 12-2011 UMA SOLUÇÃO
Questão 1. Considere os caminhos no plano iniciados no ponto (0, 0) com deslocamentos paralelos aos eixos coordenados, sempre de uma unidade e no sentido positivo dos eixos x e y (não se descarta a possibilidade
Leia maisResolução do exemplo 8.6a - pág 61 Apresente, analítica e geometricamente, a solução dos seguintes sistemas lineares.
Solução dos Exercícios de ALGA 2ª Avaliação EXEMPLO 8., pág. 61- Uma reta L passa pelos pontos P 0 (, -2, 1) e P 1 (5, 1, 0). Determine as equações paramétricas, vetorial e simétrica dessa reta. Determine
Leia maisOptimização e Algoritmos (2004/2005)
Optimização e Algoritmos (2004/2005) Instituto Superior Técnico Engenharia Electrotécnica e de Computadores Série de Problemas 3 Regras de Armijo e Wolfe, Introdução às funções convexas Problema 1.[Regras
Leia maisEngenharia de Software II
Engenharia de Software II Aula 26 http://www.ic.uff.br/~bianca/engsoft2/ Aula 26-21/07/2006 1 Ementa Processos de desenvolvimento de software Estratégias e técnicas de teste de software Métricas para software
Leia maisFundamentos de Teste de Software
Núcleo de Excelência em Testes de Sistemas Fundamentos de Teste de Software Módulo 1- Visão Geral de Testes de Software Aula 2 Estrutura para o Teste de Software SUMÁRIO 1. Introdução... 3 2. Vertentes
Leia maisLógica para computação Professor Marlon Marcon
Lógica para computação Professor Marlon Marcon INTRODUÇÃO O objetivo geral da logica formal é a mecanização do raciocnio, ou seja, A obtenção de informação a partir de informações prévias por meio de recursos
Leia maisNOVA VERSÃO SAFE DOC MANUAL
NOVA VERSÃO SAFE DOC MANUAL COMO ACESSAR O APLICATIVO SAFE DOC CAPTURE Acesse o aplicativo SAFE-DOC CAPTURE clicando no ícone na sua área de trabalho: SAFE-DOC Capture Digite o endereço do portal que é
Leia maisEGEA ESAPL - IPVC. Resolução de Problemas de Programação Linear, com recurso ao Excel
EGEA ESAPL - IPVC Resolução de Problemas de Programação Linear, com recurso ao Excel Os Suplementos do Excel Em primeiro lugar deverá certificar-se que tem o Excel preparado para resolver problemas de
Leia maisAula 5. Uma partícula evolui na reta. A trajetória é uma função que dá a sua posição em função do tempo:
Aula 5 5. Funções O conceito de função será o principal assunto tratado neste curso. Neste capítulo daremos algumas definições elementares, e consideraremos algumas das funções mais usadas na prática,
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Especificação de programas Engenharia de Requisitos: como entender e modelar um problema
Leia maisT.I. para o DealerSuite: Servidores Versão: 1.1
T.I. para o DealerSuite: Servidores Versão: 1.1 Lista de Figuras T.I. para o Dealer Suite: Servidores Figura 1 Tela Principal do ESXi...4 Figura 2 Tela VMware Player...5 Figura 3 Arquivo /etc/exports do
Leia maisREUNIÃO COMO CONDUZI-LA?
REUNIÃO COMO CONDUZI-LA? REUNIÃO As reuniões são um meio para partilhar, num grupo de pessoas, um mesmo nível de conhecimento sobre um assunto ou um problema e para tomar decisões coletivamente. Além disso,
Leia maisSISTEMAS DIGITAIS Prof. Ricardo Rodrigues Barcelar http://www.ricardobarcelar.com
- Aula 3 - ÁLGEBRA BOOLEANA 1. Introdução O ponto de partida para o projeto sistemático de sistemas de processamento digital é a chamada Álgebra de Boole, trabalho de um matemático inglês que, em um livro
Leia maisIntrodução à Programação. Funções e Procedimentos. Prof. José Honorato F. Nunes honoratonunes@gmail.com
Introdução à Programação Funções e Procedimentos Prof. José Honorato F. Nunes honoratonunes@gmail.com RESUMO DA AULA SUB-ROTINAS: Procedimentos Funções Escopo de variáveis Parâmetros Prof. José Honorato
Leia maisJorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos 2005.1. Jorge Figueiredo, DSC/UFCG. Análise e Técnicas de Algoritmos 2005.
Agenda Análise e Técnicas de Algoritmos Jorge Figueiredo Conceitos básicos Classes de de Complexidade P NP Redução Problemas NPC NP-Completude Introdução Existem alguns problemas computacionais que são
Leia maisConhecimentos Bancários. Item 3.8 - Derivativos
Conhecimentos Bancários Item 3.8 - Derivativos Conhecimentos Bancários Item 3.8 - Derivativos São instrumentos financeiros que têm seus preços derivados (daí o nome) do preço de mercado de um bem ou de
Leia maisM =C J, fórmula do montante
1 Ciências Contábeis 8ª. Fase Profa. Dra. Cristiane Fernandes Matemática Financeira 1º Sem/2009 Unidade I Fundamentos A Matemática Financeira visa estudar o valor do dinheiro no tempo, nas aplicações e
Leia maisADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8
ADMINISTRAÇÃO DE BANCOS DE DADOS MÓDULO 8 Índice 1. Modelagem de Dados - Continuação...3 1.1. Modelo Entidade-Relacionamento (MER) - II... 3 1.1.1. Entidades fortes e entidades fracas... 3 1.2. Dicionário
Leia maisMatemática Básica Intervalos
Matemática Básica Intervalos 03 1. Intervalos Intervalos são conjuntos infinitos de números reais. Geometricamente correspondem a segmentos de reta sobre um eixo coordenado. Por exemplo, dados dois números
Leia maisCDI-II. Derivadas de Ordem Superior. Extremos. ; k = 1,2,...,n.
Instituto Superior Técnico Departamento de Matemática Secção de Álgebra e Análise Pro. Gabriel Pires CDI-II Derivadas de Ordem Superior. Extremos 1 Derivadas de Ordem Superior Seja : D R n R, deinida num
Leia maisMatemática - Módulo 1
1. Considerações iniciais Matemática - Módulo 1 TEORIA DOS CONJUNTOS O capítulo que se inicia trata de um assunto que, via-de-regra, é abordado em um plano secundário dentro dos temas que norteiam o ensino
Leia maisPara entender o conceito de objetos em programação devemos fazer uma analogia com o mundo real:
Introdução a Orientação a Objetos com Java Autor: Professor Victor Augusto Zago Menegusso. Orientação a Objetos É um paradigma de programação que define a estrutura de um programa baseado nos conceitos
Leia maisLista de Exercícios 5: Soluções Teoria dos Conjuntos
UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 5: Soluções Teoria dos Conjuntos Ciências Exatas & Engenharias 2 o Semestre de 206. Escreva uma negação para a seguinte afirmação: conjuntos A,
Leia maisFigura 4.1: Diagrama de representação de uma função de 2 variáveis
1 4.1 Funções de 2 Variáveis Em Cálculo I trabalhamos com funções de uma variável y = f(x). Agora trabalharemos com funções de várias variáveis. Estas funções aparecem naturalmente na natureza, na economia
Leia maisAfirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 1 I- Lógica Informal Afirmação verdadeira: frase, falada ou escrita, que declara um facto que é aceite no momento em que é ouvido ou lido. Afirmação
Leia maisLinguagem de Programação
Linguagem de Programação Aula 2 Introdução Universidade Federal de Santa Maria Colégio Agrícola de Frederico Westphalen Curso Técnico em Informática Prof. Bruno B. Boniati www.cafw.ufsm.br/~bruno O que
Leia maisVariáveis e estruturas de controlo. Introdução à Programação André L. Santos
Variáveis e estruturas de controlo Introdução à Programação André L. Santos Variáveis Uma variável pode ser vista como um espaço em memória onde um valor de determinado tipo (p.e. inteiro) pode ser guardado.
Leia maisUNIVERSIDADE DO VALE DO RIO DOS SINOS - UNISINOS CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CENTRO 06. Funções, variáveis, parâmetros formais
UNIVERSIDADE DO VALE DO RIO DOS SINOS - UNISINOS CENTRO DE CIÊNCIAS EXATAS E TECNOLÓGICAS - CENTRO 06 Disciplina: Linguagem de Programação C Profª Viviane Todt Diverio Funções, variáveis, parâmetros formais
Leia maisProgramação de Computadores I Estruturas de Repetição PROFESSORA CINTIA CAETANO
Programação de Computadores I Estruturas de Repetição PROFESSORA CINTIA CAETANO Introdução Existem situações onde é necessário repetir um determinado trecho de um programa um certo número de vezes. Assim,
Leia maisSeleção, Projeção, Produto Cartesiano e Junção
Seleção, Projeção, Produto Cartesiano e Junção Apresentar as operações de seleção, projeção e junção com a linguagem principal utilizada pelos bancos de dados relacionais. SQL Structured Query Language
Leia maisGramáticas Livres de Contexto
Conteúdo da aula Gramáticas Livres de Contexto Marcelo Johann Trabalho - primeira etapa Definição, código e estrutura Mais elementos e detalhes de lex GLCs Gramática, produção, derivações, árvores Ambíguas,
Leia maisActivALEA. ative e atualize a sua literacia
ActivALEA ative e atualize a sua literacia N.º 26 A FREQUÊNCIIA RELATIIVA PARA ESTIIMAR A PROBABIILIIDADE Por: Maria Eugénia Graça Martins Departamento de Estatística e Investigação Operacional da FCUL
Leia maisIntrodução ao Teste de Software
Introdução ao Teste de Software Ricardo A. Ramos [Baseado na apresentação do LABS ICMC-USP -> http://www.labes.icmc.usp.br] Organização Introdução Teste de Software Terminologia e Conceitos Básicos Técnicas
Leia maisProgramação Básica em Arduino Aula 2
Programação Básica em Arduino Aula 2 Execução: Laboratório de Automação e Robótica Móvel Variáveis são lugares (posições) na memória principal que servem para armazenar dados. As variáveis são acessadas
Leia maisINICIADOS - 2ª Sessão ClubeMath 7-11-2009
INICIADOS - 2ª Sessão ClubeMath 7-11-2009 Adivinhar o dia de aniversário de outra pessoa e o mês Temos uns cartões mágicos, que vão permitir adivinhar o dia de aniversário de qualquer pessoa e outros que
Leia maisAutômatos a pilha. UFRN/DIMAp/DIM0330 Linguagens formais. David Déharbe. http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.
UFRN/DIMAp/DIM0330 Linguagens formais http://www.consiste.dimap.ufrn.br/ david/enseignement/2003.1/dim0330 1/36 Autômatos a pilha David Déharbe UFRN/DIMAp Campus Universitário, Lagoa Nova, 59072-970 Natal,
Leia maisManual do Usúario Vivo Sync. Manual do Usuário. Versão 1.3.1. Copyright Vivo 2014. http://vivosync.com.br
Manual do Usuário Versão 1.3.1 Copyright Vivo 2014 http://vivosync.com.br 1 Vivo Sync... 3 2 Instalação do Vivo Sync... 4 3 Configurações... 7 3.1 Geral... 9 3.2 Fotos... 11 3.2.1 UpLoad:... 11 3.2.2 Download:...
Leia mais