Inteligência Artificial. Prolog. Aula 2 Introdução (cont.)
|
|
- Nathalie da Cunha Bugalho
- 6 Há anos
- Visualizações:
Transcrição
1 Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação Inteligência Artificial Prolog Aula 2 Introdução (cont.)
2 Características - Palazzo As principais características que diferenciam os programas em lógica dos programas convencionais são as seguintes: Processamento simbólico Soluções heurísticas Estruturas de controle e conhecimento separadas Fácil modificação Incluem respostas parcialmente corretas Incluem todas as soluções possíveis;
3 Características - Palazzo Além disso, os sistemas de programação em lógica em geral e a linguagem Prolog em particular possuem as seguintes propriedades: Funcionam simultaneamente como linguagem de programação e de especificação Possuem capacidade dedutiva Operam de forma não-determinística Permitem a representação de relações reversíveis Permitem interpretação declarativa, procedimental e operacional São naturalmente recursivos;
4 Prolog - + Características O algoritmo é constituído por dois elementos: a lógica e o controle; O componente lógico corresponde à definição do que deve ser solucionado ou a base de conhecimento; O componente de controle estabelece como a solução pode ser obtida. O programador precisa somente descrever o componente lógico, deixando o controle da execução para ser exercido pelo sistema de programação em lógica.
5 Linguagem de Programação - Sebesta Prolog tem duas formas básicas de sentenças, aquelas que correspondem às Clausulas de Horn, com cabeça, e as sem cabeça do cálculo de predicados. A forma mais simples de Clausulas de Horn, sem cabeça em Prolog é uma estrutura única, um fato. Fatos são proposições assumidas como verdadeiras. Ex.: gosta(maria, pedro). valioso(ouro). mulher(jane).
6 Linguagem de Programação - Sebesta A outra forma básica de sentença em Prolog é a Clausula de Horn com cabeça. Uma conclusão pode ser tirada se o conjunto das condições dadas for satisfeito. O lado direito é o antecedente: a parte se O lado esquerdo é o consequente: a parte então Se o antecedente é verdadeiro, o consequente também o é. O consequente é um termo simples e o antecedente é um termo simples ou uma conjunção.
7 Linguagem de Programação - Sebesta A forma geral da sentença com cabeça em Prolog é: Consequente :- expressão_antecedente O consequente pode ser concluído se a expressão_ antecedente for verdadeira ou puder se tornar verdadeira por uma instanciação de variáveis. antecessor(adao, caim) :- pai(adao, caim).
8 Cláusula de Horn As cláusulas de Horn são assim denominadas em homenagem ao matemático Alfred Horn, que primeiro lhes estudou as propriedades, em Para um grande número de aplicações da lógica, é suficiente empregar o contexto restrito das cláusulas de Horn.
9 Cláusula de Horn Lógica de Horn: subconjunto da lógica da 1 a ordem restrita a conjunções de cláusulas de Horn Cláusula de Horn: disjunção de literais com ao máximo um literal positivo representação de proposições na forma de uma sentença se p então q.
10 Cláusulas de Horn Cláusula incondicional (fato): não contém condições. Exemplo: 3 é um número inteiro. Cláusula positiva (regra): Contém uma ou mais conclusões. Exemplo: Todo número natural é um número inteiro.
11 Cláusulas de Horn Cláusula condicional (regra): contém uma ou mais condições. Exemplo: Para que um número seja natural, ele deve ser inteiro e positivo. natural(n) inteiro(n) ^ N>0. cabeça da cláusula (conseqüente): conclusão corpo da cláusula (antecedente): condições a serem satisfeitas
12 Cláusulas de Horn Cláusula negativa (consulta): não contém conclusões Exemplo: Será 3 um número inteiro? Processo de dedução: Se 3 é um número natural (fato) e todo número natural é um inteiro (regra), então prova-se que 3 é um número inteiro. Consulta?- natural(3). yes?- natural(-3). no Fatos e Regras inteiro(3). inteiro(5). inteiro(-3). natural(n):-inteiro(n), N>0.
13 Atividade Utilizar o swi-prolog, acompanhar o material do prof. João Meidanis. Dar continuidade à lista de exercícios ampliada
Linguagem de Programação I
Linguagem de Programação I Programação Lógica Equipe: Yuri Joyce Carlos Éderson Paulo Maurício 26/05/2011 1 Súmario Introdução Origem Características Conceitos básicos Vantagens e desvantagens Aplicações
Leia maisLinguagem Lógica Prolog
Linguagem Lógica Prolog Linguagens de Programação Departamento de Computação Universidade Federal de Sergipe Conteúdo O que é diferente na Programação Lógica Cláusulas, Fatos, Regras e Predicado Objetos
Leia maisARQUITETURA DE COMPUTADORES. Professor: Clayton Rodrigues da Siva
ARQUITETURA DE COMPUTADORES Professor: Clayton Rodrigues da Siva OBJETIVO DA AULA Objetivo: Conhecer a estrutura da arquitetura da Máquina de Von Neumann. Saber quais as funcionalidades de cada componente
Leia maisCap. II EVENTOS MUTUAMENTE EXCLUSIVOS E EVENTOS NÃO- EXCLUSIVOS
Cap. II EVENTOS MUTUAMENTE EXCLUSIVOS E EVENTOS NÃO- EXCLUSIVOS Dois ou mais eventos são mutuamente exclusivos, ou disjuntos, se os mesmos não podem ocorrer simultaneamente. Isto é, a ocorrência de um
Leia maiswww.souvestibulando.com.br CURSO PRÉ-VESTIBULAR MATEMÁTICA AULA 2 TEORIA DOS CONJUNTOS
1 CURSO PRÉ-VESTIULR MTEMÁTIC UL 02 SSUNTO: TEORI DOS CONJUNTOS Esta aula é composta pelo texto da apostila abaixo e por um link de acesso à UL VIRTUL gravada. Estude com atenção o texto antes de acessar
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 maisCOMO ELABORAR UM CURRÍCULO
COMO ELABORAR UM CURRÍCULO Sandra Salgadinho O CURRÍCULO É UMA DAS MELHORES FORMAS DE MARKETING PESSOAL. É POR MEIO DESTE QUE UMA EMPRESA AVALIA O PERFIL DE UM PROFISSIONAL. É a forma convencionada de
Leia maisSistemas Distribuídos
Comunicação em Grupo Referência Sistemas operacionais modernos Andrew S. TANENBAUM Prentice-Hall, 1995 Seção 10.4 pág. 304-311 2 Comunicação em Grupo Suponha que se deseja um serviço de arquivos único
Leia maisORIENTAÇÕES PARA ELABORAÇÃO DE RELATÓRIO DE CONCLUSÃO DE ESTÁGIO
Prefeitura da Cidade do Rio de Janeiro Secretaria Municipal de Saúde e Defesa Civil Subsecretaria de Gestão Coordenadoria de Gestão de Pessoas Coordenação de Desenvolvimento Pessoal Gerência de Desenvolvimento
Leia maisO que é pesquisa? Finalidade da pesquisa. Método. O que é pesquisa? (COLLIS E HUSSEY, 2003)
O que é pesquisa? Uma indagação minuciosa ou exame crítico exaustivo na procura de fatos e princípios; uma diligente busca para averiguar algo (Webster s International Dictionary) Pesquisar não é apenas
Leia maisOrigem do PROLOG. Lógica e PROLOG
Origem do PROLOG A Linguagem PROLOG foi criada nos anos 70 por Alain Colmareur, na Universidade de Marselha O nome da linguagem vem de PROgramming in LOGic, ou seja, segue o paradigma da Programação em
Leia maisConteúdo programático
Introdução à Linguagem C Conteúdo programático Introdução à Linguagem C Estrutura de Programas Variáveis, Constantes Operadores, Entrada e Saída de Dados Estruturas de Desvio Estrutura de Múltipla Escolha
Leia maisAnálise de Requisitos
Análise de Requisitos Análise de Requisitos O tratamento da informação é um requisito que fundamenta o processo de desenvolvimento de software antes da solução de tecnologia a ser aplicada. Cada projeto
Leia maisMódulo de Princípios Básicos de Contagem. Segundo ano
Módulo de Princípios Básicos de Contagem Combinação Segundo ano Combinação 1 Exercícios Introdutórios Exercício 1. Numa sala há 6 pessoas e cada uma cumprimenta todas as outras pessoas com um único aperto
Leia maisAula 05 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 05 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Outras Traduções; Valor Lógico de Operações sobre proposições. Tabela da Verdade
Leia maisCURSO DE MATEMÁTICA BÁSICA PROGRAMA DE EDUCAÇÃO TUTORIAL CENTRO DE ENGENHARIA DA MOBILIDADE
CURSO DE MATEMÁTICA BÁSICA Aula 01 Introdução a Geometria Plana Ângulos Potenciação Radiciação Introdução a Geometria Plana Introdução: No estudo da Geometria Plana, consideraremos três conceitos primitivos:
Leia maisCONSELHO MUNICIPAL DE POLITICAS SOBRE DROGAS - COMAD REGULAMENTO
EDITAL Nº 01 / 2014 - DISPÕE SOBRE A REGULAMENTAÇÃO DO CONCURSO PARA ESCOLHA DA LOGOMARCA DO. REGULAMENTO O Conselho Municipal de Políticas sobre Drogas do município de Santos convida os universitários
Leia maisTERMOS DE REFERÊNCIA. Consultor/a Local Elaboração Guia Coletivo Empreendedorismo
TERMOS DE REFERÊNCIA Consultor/a Local Elaboração Guia Coletivo Empreendedorismo Localização: Brasil Prazo para candidatura: 07/01/2015 Tipo de Contrato: Nível do Posto: Idioma(s) necessário: Data esperada
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 maisAula 8 21/09/2009 - Microeconomia. Demanda Individual e Demanda de Mercado. Bibliografia: PINDYCK (2007) Capítulo 4
Aula 8 21/09/2009 - Microeconomia. Demanda Individual e Demanda de Mercado. Bibliografia: PINDYCK (2007) Capítulo 4 Efeito de modificações no preço: Caso ocorram modificações no preço de determinada mercadoria
Leia maisque não torne uma variável básica negativa. Se esse valor for infinito, o PL é ilimitado. Caso contrário, escolha uma variável
Método Simple. Montar um dicionário inicial 2. Olhando a equação do z, escolha uma variável nãobásica in cujo aumento melhoraria a solução corrente do dicionário (coeficiente negativo se for minimização,
Leia maisSilogística Aristotélica
Silogística Aristotélica Prof. Paulo Margutti Com base na possibilidade de padronizar todas as sentenças de conformidade com os tipos A, E, I e O, Aristóteles considerava que todos os argumentos poderiam
Leia maisTestes em Laboratório - Análise
Introdução à Interação Humano-Computador Testes com Usuários Professora: Raquel Oliveira Prates http://www.dcc.ufmg.br/~rprates/ihc \ Aula 8: 09/10 Testes em Laboratório - Análise Análise dos dados coletados
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 maisMODELO SUGERIDO PARA PROJETO DE PESQUISA
MODELO SUGERIDO PARA PROJETO DE PESQUISA MODELO PARA ELABORAÇÃO DE PROJETO DE PESQUISA (Hospital Regional do Mato Grosso do Sul- HRMS) Campo Grande MS MÊS /ANO TÍTULO/SUBTÍTULO DO PROJETO NOME DO (s) ALUNO
Leia maisAula 03. Processadores. Prof. Ricardo Palma
Aula 03 Processadores Prof. Ricardo Palma Definição O processador é a parte mais fundamental para o funcionamento de um computador. Processadores são circuitos digitais que realizam operações como: cópia
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 maisBanco de Dados I. Prof. Edson Thizon ethizon@bol.com.br
Banco de Dados I Prof. Edson Thizon ethizon@bol.com.br Conceitos Dados Fatos conhecidos que podem ser registrados e que possuem significado implícito Banco de dados (BD) Conjunto de dados interrelacionados
Leia maisSISTEMA DE NUMERAÇÃO NA FORMAÇÃO DO ALUNO UTILIZANDO MATERIAL CONCRETO
1 SISTEMA DE NUMERAÇÃO NA FORMAÇÃO DO ALUNO UTILIZANDO MATERIAL CONCRETO Ariana Oliveira Gomes - ariana_emanuelle@hotmail.com-uesb Christiano Santos Lima Dias - khristiano_dias@hotmail.com-uesb Evaneila
Leia maismedição, expedição e entrega de faturas Cesar A. Guimarães Pereira
Terceirização nos serviços de medição, expedição e entrega de faturas Cesar A. Guimarães Pereira Estrutura do Parecer (1º) O regime administrativo autoriza a terceirização de qualquer atividade ( meio
Leia maisESTATÍSTICA DESCRITIVA:
UNIVERSIDADE FEDERAL DE MATO GROSSO Campus Universitário de Sinop(CUS) ESTATÍSTICA DESCRITIVA: Medidas de forma: Assimetria e Curtose Profº Evaldo Martins Pires SINOP -MT TEMAS TRABALHADOS ATÉ AGORA Aula
Leia maisManual Geral de Aplicação Universal Entrada 2008
Universal Entrada 2008 Programa Programa - Manual do Aplicador Teste Universal - 2008 Teste Cognitivo Leitura/Escrita e Matemática Caro alfabetizador(a): Se você está recebendo este material, é porque
Leia maisCENTRO UNIVERSITÁRIO ANHANGUERA DE SANTO ANDRÉ. Ana Paula S. Valera TRAJETÓRIAS DO ENVELHECIMENTO
CENTRO UNIVERSITÁRIO ANHANGUERA DE SANTO ANDRÉ Ana Paula S. Valera TRAJETÓRIAS DO ENVELHECIMENTO Santo André 2012 CENTRO UNIVERSITÁRIO ANHANGUERA DE SANTO ANDRÉ Ana Paula S. Valera RA 2135001778 TRAJETÓRIAS
Leia maisSe A =, o evento é impossível, por exemplo, obter 7 no lançamento de um dado.
PROBABILIDADE Espaço amostral Espaço amostral é o conjunto universo U de todos os resultados possíveis de um experimento aleatório. O número de elementos desse conjunto é indicado por n(u). Exemplos: No
Leia maisESTRATÉGIAS PEDAGÓGICAS PARA ALUNOS COM DIFICULDADES DE APRENDIZAGEM
ESTRATÉGIAS PEDAGÓGICAS PARA ALUNOS COM DIFICULDADES DE APRENDIZAGEM MARA LÚCIA REIS MONTEIRO DA CRUZ mara.mcz@gmail.com INSTITUTO DE APLICAÇÃO FERNANDO RODRIGUES DA SILVEIRA (CAP-UERJ) 1 INTRODUÇÃO Alunos
Leia maishttp://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo
http://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo http://rogerioaraujo.wordpress.com Série Rações Semanais Xpath e XSLT Rogério Araújo Questões A persistência é o menor
Leia maisOs salários de 15 áreas de TI nas cinco regiões do Brasil
Os salários de 15 áreas de TI nas cinco regiões do Brasil Entre 2011 e 2012, os salários na área de tecnologia da informação (TI) cresceram em média 10,78% um número animador, que pode motivar jovens estudantes
Leia maisImplementação de um serviço de correio eletrônico na Intranet do Pólo de Touros utilizando o ambiente SQUIRELMAIL e POSTFIX em um Servidor Linux
UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE ESCOLA AGRÍCOLA DE JUNDIAÍ - EAJ CURSO TÉCNICO DE INFORMÁTICA Projeto das Disciplinas de Sistemas Operacionais de Redes e Projeto de Redes Implementação de um
Leia maisAvaliação de Empresas Profa. Patricia Maria Bortolon
Avaliação de Empresas RISCO E RETORNO Aula 2 Retorno Total É a variação total da riqueza proporcionada por um ativo ao seu detentor. Fonte: Notas de Aula do Prof. Claudio Cunha Retorno Total Exemplo 1
Leia maisSTV 8 SET 2008 2. uma polaridade de sincronismo negativa, com os pulsos de sincronismo na posição para baixo, como mostrado na figura abaixo
STV 8 SET 2008 1 ANÁLISE DOS SINAIS DE VÍDEO as três partes do sinal composto de vídeo, ilustradas na figura abaixo, são: 1 o sinal da câmera correspondendo às variações de luz na cena 2 os pulsos de sincronismo
Leia maisAula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas
Aula 05 Raciocínio Lógico p/ INSS - Técnico do Seguro Social - Com Videoaulas Professor: Arthur Lima AULA 05: RESUMO Caro aluno, Para finalizar nosso curso, preparei um resumo de toda a teoria vista nas
Leia maisProf. Daniela Barreiro Claro
O volume de dados está crescendo sem parar Gigabytes, Petabytes, etc. Dificuldade na descoberta do conhecimento Dados disponíveis x Análise dos Dados Dados disponíveis Analisar e compreender os dados 2
Leia maisInformação Prova de Equivalência à Frequência - 2015. Agrupamento de Escolas de ANTÓNIO NOBRE. DISCIPLINA: Inglês CÓDIGO DA PROVA: 358
DISCIPLINA: Inglês CÓDIGO DA PROVA: 358 CICLO: Secundário ANO DE ESCOLARIDADE: 12º Introdução O presente documento visa divulgar as características da prova de exame de equivalência à frequência da disciplina
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 maisDeswik.Sched. Sequenciamento por Gráfico de Gantt
Deswik.Sched Sequenciamento por Gráfico de Gantt SOLUÇÕES EM SEQUENCIAMENTO DE LAVRA QUE NOS DIFERENCIAM Uma abordagem dinâmica e moderna para o sequenciamento de lavra Desde gráficos de Gantt interativos
Leia maisLó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 maisO que é um banco de dados? Banco de Dados. Banco de dados
COLÉGIO EST. JOÃO MANOEL MONDRONE - ENS. FUNDAMENTAL, MÉDIO, PROFISSIONAL E NORMAL Rua Mato Grosso n.2233 - Fone/Fax (045) 3264-1749-3264-1507 Banco de Dados O que é um banco de dados? Um conjunto de informações
Leia maisAlgoritmo e Pseudo-código
Departamento de Sistemas de Computação Universidade de São Paulo Algoritmo e Pseudo-código Responsável Prof. Seiji Isotani (sisotani@icmc.usp.br) Objetivos do Curso Desenvolver o Pensamento Computacional
Leia maisExercícios: Recursão
UNIVERSIDADE FEDERAL DE UBERLÂNDIA Lista de exercícios de programação em linguagem C Exercícios: Recursão 1) Faça uma função recursiva que calcule e retorne o fatorial de um número inteiro N. 2) Faça uma
Leia maisMANUAL DO USUÁRIO SIMPLEX. Prof. Erico Fagundes Anicet Lisboa, M. Sc.
MANUAL DO USUÁRIO SIMPLEX Prof. Erico Fagundes Anicet Lisboa, M. Sc. erico@ericolisboa.eng.br Versão digital disponível na internet http://www.ericolisboa.eng.br RIO DE JANEIRO, RJ - BRASIL DEZEMBRO DE
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 maisUNIVERSIDADE FEDERAL DA BAHIA ESCOLA POLITÉCNICA DEPARTAMENTO DE ENGENHARIA QUÍMICA ENG 008 Fenômenos de Transporte I A Profª Fátima Lopes
Equações básicas Uma análise de qualquer problema em Mecânica dos Fluidos, necessariamente se inicia, quer diretamente ou indiretamente, com a definição das leis básicas que governam o movimento do fluido.
Leia maisAGRUPAMENTO DE ESCOLAS DE PÓVOA DE LANHOSO - 150915
INFORMAÇÃO - PROVA DE EQUIVALÊNCIA À FREQUÊNCIA INGLÊS Abril 2016 2016 367 Prova 11º Ano de escolaridade (Decreto-Lei nº 139/2012, de 05 de julho) O presente documento divulga informação relativa à prova
Leia maisTESTES SOCIOMÉTRICOS
TESTES SOCIOMÉTRICOS Docente: Mestre Mª João Marques da Silva Picão Oliveira TESTES SOCIOMÉTRICOS * O Teste Sociométrico ajuda-nos a avaliar o grau de integração duma criança/jovem no grupo; a descobrir
Leia maisIntrodução à Lógica de Programação
Sistemas Operacionais e Introdução à Programação Introdução à Lógica de Programação 1 Estruturas de dados Representação computacional das informações do problema ser resolvido Informações podem ser de
Leia maisLAVANDERIAS COMERCIAIS. Controles Quantum
LAVANDERIAS COMERCIAIS Controles Quantum RELATÓRIOS DE LOJA E DE RECEITAS O Quantum Gold monitora o seu equipamento para fornecer relatórios detalhados. Ao fornecer uma visão abrangente das especificações
Leia maisAlgoritmos e Programação II
Algoritmos e Programação II Agenda Desenvolver Software Objetos Classes Estudo de algumas Classes da API Estudo de algumas Classes da API Pacotes Criando nossa primeira classe Desenvolver SOFTWARE GAP
Leia maisInformática I. Aula 19. http://www.ic.uff.br/~bianca/informatica1/ Aula 19-20/06/06 1
Informática I Aula 19 http://www.ic.uff.br/~bianca/informatica1/ Aula 19-20/06/06 1 Ementa Histórico dos Computadores Noções de Hardware e Software Microprocessadores Sistemas Numéricos e Representação
Leia maisUnidade 11 Geometria Plana I. Congruência e semelhança de figuras planas Relações métricas do triângulo retângulo Triângulo qualquer
Unidade 11 Geometria Plana I Congruência e semelhança de figuras planas Relações métricas do triângulo retângulo Triângulo qualquer Congruência e Semelhança de Figuras Planas TRIÂNGULOS SEMELHANTES Dois
Leia maisProinfo. Programa educacional criado pelo MEC para promover o uso pedagógico da informática na rede pública de ensino fundamental e médio.
Introdução ao Linux Educacional Proinfo Programa educacional criado pelo MEC para promover o uso pedagógico da informática na rede pública de ensino fundamental e médio. O maior desafio é a formação dos
Leia maisRoteiro... Sistemas Distribuídos Aula 4. Troca de mensagens. Comunicação entre processos. Conceitos de SD, vantagens e desvantagens
Roteiro... Conceitos de SD, vantagens e desvantagens Infra-estrutura de um SD Considerações de projeto Sistemas Distribuídos Aula 4 Karine de Pinho Peralta Modelos de Comunicação - comunicação entre processos
Leia maisUNIVERSIDADE FEDERAL DE RORAIMA. PRÓ-REITORIA DE GRADUAÇÃO CEDUC: CENTRO EDUCACIONAL.
UNIVERSIDADE FEDERAL DE RORAIMA. PRÓ-REITORIA DE GRADUAÇÃO CEDUC: CENTRO EDUCACIONAL. ITAMARA CARDOSO DOS SANTOS JULIANA LIMA MAGALHÃES SUANI MARA DA SILVA VIANA UNIVERSIDADE ABERTA DO BRASIL (UAB) BOA
Leia maisUniversidade do Vale do Paraíba Univap. Resultados Avaliação Docente/Discente Curso de Aeronáutica e Espaço 2º Semestre 2010
Universidade do Vale do Paraíba Univap Resultados Avaliação Docente/Discente Curso de Aeronáutica e Espaço 2º Semestre 2010 São José dos Campos, Janeiro de 2011 HTTP://www.univap.br/cpa - (12)3947.1032
Leia maisAuditoria de Meio Ambiente da SAE/DS sobre CCSA
1 / 8 1 OBJETIVO: Este procedimento visa sistematizar a realização de auditorias de Meio Ambiente por parte da SANTO ANTÔNIO ENERGIA SAE / Diretoria de Sustentabilidade DS, sobre as obras executadas no
Leia maisSistemas da UFRN : iproject SUMÁRIO 3.MENU TESTES (DALTON ESTÁ ALTERANDO)...9 4.MENU ATUALIZAR EM PRODUÇÃO...10 6.MENU ATUALIZAR BANCO...
Sistemas da UFRN : iproject SUMÁRIO 1.INTRODUÇÃO...4 2.MENU TAREFAS/UC...5 3.MENU TESTES (DALTON ESTÁ ALTERANDO)...9 4.MENU ATUALIZAR EM PRODUÇÃO...10 5.MENU SUPORTE...12 6.MENU ATUALIZAR BANCO...13 7.MENU
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 maisDISCIPLINA: CONTABILIDADE GERAL PROF. BENADILSON
RESOLVA AS QUESTÕES DISCIPLINA: CONTABILIDADE GERAL PROF. BENADILSON 1) Qual o conceito de Contabilidade? 2) Cite três usuários da Contabilidade. 3) Para quem é mantida a Contabilidade? 4) Qual a diferença
Leia maisSICEEL. Simpósio de Iniciação Científica da Engenharia Elétrica. Edital de Abertura
EESC - Escola de Engenharia de São Carlos UFSCar - Universidade Federal de São Carlos SICEEL Simpósio de Iniciação Científica da Engenharia Elétrica Edital de Abertura São Carlos, 17 de Agosto de 2015
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 maisSumário. INF01040 Introdução à Programação. Elaboração de um Programa. Regras para construção de um algoritmo
INF01040 Introdução à Programação Introdução à Lógica de Programação s Seqüenciais Sumário Elaboração de um programa/algoritmo Formas de representação de um algoritmo Elementos manipulados em um programa/algoritmo
Leia maisModelagem de Sistemas Web. Metodologias para o desenvolvimento de sistemas web
Modelagem de Sistemas Web Aula 5 Metodologias para o desenvolvimento de sistemas web Metodologias para o desenvolvimento de sistemas web WebML Fontes: Itana Gimenes e Bruno Souza Et Estrutura t do WebML
Leia mais2 Workshop processamento de artigos em serviços de saúde Recolhimento de artigos esterilizados: é possível evitar?
2 Workshop processamento de artigos em serviços de saúde Recolhimento de artigos esterilizados: é possível evitar? 3 Farm. André Cabral Contagem, 19 de Maio de 2010 Rastreabilidade É definida como a habilidade
Leia maisNoções de Lógica - Teoria e Exercícios
ALUNO(A) C O L É G I O PROFESSOR (A) Alan Jefferson Série 1º ano Noções de Lógica - Teoria e Exercícios PROPOSIÇÃO Chama-se proposição ou sentença toda oração declarativa que pode ser classificada em verdadeira
Leia mais0.1 Introdução Conceitos básicos
Laboratório de Eletricidade S.J.Troise Exp. 0 - Laboratório de eletricidade 0.1 Introdução Conceitos básicos O modelo aceito modernamente para o átomo apresenta o aspecto de uma esfera central chamada
Leia maisAuxílio Estudantil Fase de análise
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ DIRETORIA DE GESTÃO DE TECNOLOGIA DA INFORMAÇÃO ASSESSORIA DE AUXÍLIO ESTUDANTIL PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Auxílio Estudantil Fase de análise
Leia maisFERRAMENTAS DA QUALIDADE DIAGRAMA DE AFINIDADES
FERRAMENTAS DA QUALIDADE DIAGRAMA DE AFINIDADES 1 O Diagrama de Afinidades permite que um grupo produza criativamente um grande número de idéias/questões e a seguir, as organize e resuma, com base em agrupamentos
Leia maisCICLO DE MELHORIA NACIONAL DA QUALIDADE DA PREVENÇÃO E CONTROLE DE INFECÇÕES RELACIONADAS À ASSISTÊNCIA À SAÚDE (IRAS) 2015/2016
CICLO DE MELHORIA NACIONAL DA QUALIDADE DA PREVENÇÃO E CONTROLE DE INFECÇÕES RELACIONADAS À ASSISTÊNCIA À SAÚDE (IRAS) 2015/2016 PROGRAMA DE GESTÃO DA QUALIDADE Programa de Gestão da Qualidade (GQ) é o
Leia maisProva 06 2º Ciclo do Ensino Básico
INFORMAÇÃO - PROVA DE EQUIVALÊNCIA À FREQUÊNCIA INGLÊS Prova escrita e oral 2016 Prova 06 2º Ciclo do Ensino Básico O presente documento visa divulgar as características da prova de equivalência à frequência
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 maisPressuposições à ANOVA
UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE JI-PARANÁ DEPARTAMENTO DE ENGENHARIA AMBIENTAL Estatística II Aula do dia 09.11.010 A análise de variância de um experimento inteiramente ao acaso exige que sejam
Leia maisMergulhe fundo nesse paraíso chamado. Boca Raton
Mergulhe fundo nesse paraíso chamado Boca Raton programa de FÉRIAS JULHO 2016 Vai ficar sem fazer nada as ferias inteiras? Aproveite suas férias de julho para estudar um idioma diferente e conhecer um
Leia maisROTEIRO ENTREGUE NA AULA PRÁTICA
ROTEIRO ENTREGUE NA AULA PRÁTICA 1 - FILO MOLLUSCA CLASSE GASTROPODA CONCHA A concha típica dos gastrópodes é uma espiral cônica assimétrica, composta de voltas tubulares e contendo a massa visceral do
Leia maisAULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE
Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases
Leia maisConstrução de tabelas verdades
Construção de tabelas verdades Compreender a Lógica como instrumento da ciência e como estrutura formal do pensamento, conhecendo e compreendendo as operações com os principais conceitos proposicionais
Leia maisDistribuição Normal de Probabilidade
Distribuição Normal de Probabilidade 1 Aspectos Gerais 2 A Distribuição Normal Padronizada 3 Determinação de Probabilidades 4 Cálculo de Valores 5 Teorema Central do Limite 1 1 Aspectos Gerais Variável
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 maisArquivos Indexados por Chaves Secundárias. Vanessa Braganholo
Arquivos Indexados por Chaves Secundárias Vanessa Braganholo Arquivos Indexados } Até agora, as alternativas que vimos funcionam apenas para indexar arquivos por chaves primárias } Isso otimiza a busca
Leia maisFaculdade Integrada do Ceará FIC Graduação em Redes de Computadores
Faculdade Integrada do Ceará FIC Graduação em Redes de Computadores Disciplina - Sistemas Distribuídos Prof. Andrey Halysson Lima Barbosa Aula 5 Comunicação em Sistemas Distribuídos Sumário Comunicação
Leia maisOPERAÇÕES COM FRAÇÕES
OPERAÇÕES COM FRAÇÕES Adição A soma ou adição de frações requer que todas as frações envolvidas possuam o mesmo denominador. Se inicialmente todas as frações já possuírem um denominador comum, basta que
Leia maisSISTEMAS DISTRIBUÍDOS
SISTEMAS DISTRIBUÍDOS Introdução Slide 1 Nielsen C. Damasceno Introdução Tanenbaum (2007) definiu que um sistema distribuído é aquele que se apresenta aos seus usuários como um sistema centralizado, mas
Leia maisEstudo aponta influência do código de barras e da tecnologia na decisão de compra do consumidor e na estratégia do varejo
Estudo aponta influência do código de barras e da tecnologia na decisão de compra do consumidor e na estratégia do varejo Associação Brasileira de Automação-GS1 Brasil revela resultado da terceira edição
Leia maisMontadores e Compiladores
Montadores e Compiladores Prof. Idevar Gonçalves de Souza Júnior Conteúdo Programático Resumido Revisão da Arquitetura de Computadores Introdução a Teoria das Linguagens Compilação e Interpretação Análise
Leia maisAtividades práticas-pedagógicas desenvolvidas em espaços não formais como parte do currículo da escola formal
Atividades práticas-pedagógicas desenvolvidas em espaços não formais como parte do currículo da escola formal Linha de Pesquisa: LINHA DE PESQUISA E DE INTERVENÇÃO METODOLOGIAS DA APRENDIZAGEM E PRÁTICAS
Leia mais2 Segmentação de imagens e Componentes conexas
Universidade Tecnológica Federal do Paraná (UTFPR) Departamento Acadêmico de Informática (DAINF) Algoritmos II Professor: Alex Kutzke (alexk@dainf.ct.utfpr.edu.br) Especificação do Primeiro Trabalho Prático
Leia maisPrograma Curricular GEOMETRIA I. Docente Responsável Assist. Ricardo Delgado. Ano Lectivo 2013-2014. Licenciatura em Ciências da Arte e do Património
Programa Curricular GEOMETRIA I Docente Responsável Assist. Ricardo Delgado Ano Lectivo 2013-2014 Ciclo de Estudos Licenciatura em Ciências da Arte e do Património Período Lectivo 1º Semestre Horas semanais
Leia maisRegras para publicação Revista Brasileira Militar de Ciências (RBMC)
Regras para publicação Revista Brasileira Militar de Ciências (RBMC) A revista aceitará materiais experimentais (com casuística) para publicação no campo relacionado, direta ou indiretamente, à atividade
Leia maisCONCEITOS DE CARTOGRAFIA ENG. CARTÓGRAFA ANNA CAROLINA CAVALHEIRO
CONCEITOS DE CARTOGRAFIA ENG. CARTÓGRAFA ANNA CAROLINA CAVALHEIRO CAMPO LARGO, 15 DE ABRIL DE 2013 Cartografia Cartografia é o conjunto de estudos e operações científicas, artísticas e técnicas, baseado
Leia maisSISTEMAS HIDRÁULICOS E PNEUMÁTICOS.
SISTEMAS HIDRÁULICOS E PNEUMÁTICOS. FUNDAMENTOS DE HIDROSTÁTICA Hidrostática é o ramo da Física que estuda a força exercida por e sobre líquidos em repouso. Este nome faz referência ao primeiro fluido
Leia mais