Capítulo 3 Lógica de Primeira Ordem
|
|
- João Pedro Valente Mangueira
- 6 Há anos
- Visualizações:
Transcrição
1 Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur
2 Bibliografia Baseados nos slides de Andrew Rice, Universidade de Cambridge, Martins J.P., Prolog, Capítulo 5. Ben-Ari M., Mathematical Logic for Computer Science, Springer-Verlag, 2003, Capítulo 8.
3 Programa de festas Exemplos e mais exemplos... Puzzle da zebra Permutação de listas 8 rainhas ordenada insertion sort Torres de Hanoi Missionários e canibais
4 Puzzle da zebra (atribuído a Einstein) 5 casas, 5 nacionalidades, 5 marcas de cigarro, 5 bebidas, 5 animais de estimação (todos diferentes) 1. O Inglês vive numa casa vermelha. 2. O Espanhol é dono de um cão. 3. Na casa verde bebe-se café. 4. O Ucraniano bebe chá. 5. A casa verde está imediatamente à direita da casa branca. 6. A pessoa que fuma Old Gold é dona de uma cobra. 7. Na casa amarela fuma-se Kools. 8. Na casa do meio bebe-se leite. 9. O Norueguês vive na primeira casa. 10. A pessoa que fuma Chesterfields vive na casa ao lado da casa onde vive uma raposa. 11. Os cigarros Kools são fumados na casa ao lado da casa onde vive um cavalo. 12. O fumador de Lucky Strike bebe sumo de laranja. 13. O Japonês fuma Parliaments. 14. O Norueguês vive junto à casa azul.
5 Puzzle da zebra (cont.) Objectivos Onde é que a zebra vive? Em que casa é que se bebe água? Para já vamos considerar apenas a existência de factos e objectivos
6 Puzzle da zebra: modelação Representação de cada casa house(nationality,pet,smokes,drinks,colour) Representação da fila de casas (designada Houses) (H1,H2,H3,H4,H5)
7 Puzzle da zebra: código O Inglês vive numa casa vermelha. exists(house(english,,,,red),houses) exists(a,(a,,,, )). exists(a,(,a,,, )). exists(a,(,,a,, )). exists(a,(,,,a, )). exists(a,(,,,,a)). exists(a,,,, ) é satisfeito se a casa A unifica com a primeira casa
8 Puzzle da zebra: código (cont.) A casa verde está imediatamente à direita da casa branca. rightof(house(,,,,green),house(,,,,ivory),houses) rightof(a,b,(b,a,,, )). rightof(a,b,(,b,a,, )). rightof(a,b,(,,b,a, )). rightof(a,b,(,,,b,a)).
9 Puzzle da zebra: código (cont.) Na casa do meio bebe-se leite. middlehouse(house(,,,milk, ),Houses) middlehouse(a,(,,a,, )). O Norueguês vive na primeira casa. firsthouse(house(norwegian,,,, ),Houses) firsthouse(a,(a,,,, )).
10 Puzzle da zebra: código (cont.) A pessoa que fuma Chesterfields vive na casa ao lado da casa onde vive uma raposa. nextto(house(,,chesterfields,, ), house(,fox,,, ),Houses) nextto(a,b,(a,b,,, )). nextto(a,b,(,a,b,, )). nextto(a,b,(,,a,b, )). nextto(a,b,(,,,a,b)). nextto(a,b,(b,a,,, )). nextto(a,b,(,b,a,, )). nextto(a,b,(,,b,a, )). nextto(a,b,(,,,b,a)).
11 Puzzle da zebra: código - objectivo :- exists(house(english,,,,red),houses), exists(house(spanish,dog,,, ),Houses), exists(house(,,,coffee,green),houses), exists(house(ukranian,,,tea, ),Houses), rightof(house(,,,,green),house(,,,,ivory),houses), exists(house(,snail,oldgold,, ),Houses), exists(house(,,kools,,yellow),houses), middlehouse(house(,,,milk, ),Houses), firsthouse(house(norwegian,,,, ),Houses), nextto(house(,,chesterfields,, ),house(,fox,,, ),Houses), nextto(house(,,kools,, ),house(,horse,,, ),Houses), exists(house(,,luckystrike,orangejuice, ),Houses), exists(house(japanese,,parliaments,, ),Houses), nextto(house(norwegian,,,, ),house(,,,,blue),houses), exists(house(waterdrinker,,,water, ),Houses), exists(house(zebraowner,zebra,,, ),Houses), write( WaterDrinker = ), write(waterdrinker), nl, write( ZebraOwner = ), write(zebraowner),nl, write(houses).
12 Puzzle da zebra: execução
13 Puzzle da zebra com LISTAS e REGRAS Houses passa a ser uma lista com 5 elementos do tipo house houses([house(,,,, ), house(,,,, ), house(,,,, ), house(,,,, ), house(,,,, )]). Acrescentar ao objectivo houses(house)
14 Puzzle da zebra com LISTAS e REGRAS (cont.) Regras para exists, rightof e nextto exists(x,[x ]). exists(x,[ Y]) :- exists(x,y). rightof(a,b,[b,a ]). rightof(a,b,[ Y]) :- rightof(a,b,y). nextto(a,b,[a,b ]). nextto(a,b,[b,a ]). nextto(a,b,[ Y]) :- nextto(a,b,y).
15 Remoção de um elemento de uma lista (relembrar) remove(cabeca,[cabeca Cauda],Cauda). remove(x,[cabeca Cauda1],[Cabeca Cauda2]) :- remove(x,cauda1,cauda2).
16 Permutação de listas perm([],[]). perm(lst,[cabeca Cauda]) :- remove(cabeca,lst,res),perm(res,cauda).
17 Permutação de listas: exemplo
18 Permutação de listas: aplicação Agora podemos usar este predicado para ajudar a resolver o problema das 8 rainhas.
19 Resolução de problemas por geração&teste Metodologia usada na resolução do problema das 8 rainhas 1. Gerar uma potencial solução com o predicado perm 2. Verificar se a solução é válida 3. Se não for válida retroceder para encontrar a potencial solução seguinte
20 Problema das 8 rainhas [5,3,1,7,2,8,6,4]
21 Problema das 8 rainhas - código oito-rainhas(res) :- perm([1,2,3,4,5,6,7,8],res), diagonaisok(res).
22 Problema das 8 rainhas - código (cont.) diagonaisok([ ]). diagonaisok([rainha OutrasRainhas]) :- posicaook(rainha,1,outrasrainhas), diagonaisok(outrasrainhas). posicaook(,,[]). posicaook(col,distlinha,[rainha OutrasRainhas]) :- DiagKO1 is Col + DistLinha, Rainha =\= DiagKO1, DiagKO2 is Col - DistLinha, Rainha =\= DiagKO2, DistLinha1 is DistLinha + 1, posicaook(col,distlinha1,outrasrainhas).
23 Ordenação: predicado ordenada ordenada([]). ordenada([ ]). ordenada([x,y Ys]) :- X=<Y, ordenada([y Ys]).
24 Ordenação por geração e teste ordena(xs,ys) :- perm(xs,ys), ordenada(ys).
25 Ordenação: insertion sort Um elemento (tipicamente o primeiro) é removido da lista O resto da lista é ordenada recursivamente O elemento removido é inserido de uma forma ordenada
26 Ordenação: predicado insert insert(x,[],[x]). insert(x,[y Ys],[Y Zs]) :- X > Y,!, insert(x,ys,zs). insert(x,[y Ys],[X,Y Ys]) :- X =< Y.
27 Ordenação: insertion sort insertion-sort([x Xs],Ys) :- insertion-sort(xs,zs),!, insert(x,zs,ys). insertion-sort([],[]).
DESAFIO DE EINSTEIN. (supostamente atribuído a ele, por sua aparente enorme complexidade de solução)
1 DESAFIO DE EINSTEIN (supostamente atribuído a ele, por sua aparente enorme complexidade de solução) Numa rua existem 5 casas, lado a lado, de cores diferentes, e habitadas por pessoas... de nacionalidades
Leia maisc- Muitas vezes nos deparamos com situações em que nos sentimos tão pequenos e às vezes pensamos que não vamos dar conta de solucioná-las.
FICHA DA SEMANA 5º ANO A e B Instruções: 1- Cada atividade terá uma data de realização e deverá ser entregue a professora no dia seguinte; 2- As atividades deverão ser copiadas e respondidas no caderno,
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular CONTABILIDADE DE SEGUROS Ano Lectivo 2009/2010
Programa da Unidade Curricular CONTABILIDADE DE SEGUROS Ano Lectivo 2009/2010 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Contabilidade 3. Ciclo de Estudos 1º 4. Unidade Curricular
Leia maisBombons a Granel. Série Matemática na Escola. Objetivos 1. Introduzir e mostrar aplicações do produto de matrizes.
Bombons a Granel Série Matemática na Escola Objetivos 1. Introduzir e mostrar aplicações do produto de matrizes. Bombons a granel Série Matemática na Escola Conteúdos Produto de matrizes. Duração Aprox.
Leia maisExemplos. Jogo dos oito :-) Mundo dos blocos (ex: torre de Hanoi) Poblema das rainhas. Criptoaritmética. Missionários e Canibais.
istemas Inteligentes, 10-11 1 Exemplos Jogo dos oito :-) Mundo dos blocos (ex: torre de Hanoi) Poblema das rainhas Criptoaritmética Missionários e Canibais Resta-um e muitos outros... istemas Inteligentes,
Leia maisFaculdade de Informática e Tecnologia de Pernambuco
Faculdade de Informática e Tecnologia de Pernambuco Plano de Ensino Disciplina: INF101 - Álgebra Aplicada à Computação; Professor: Diego Machado Dias; Curso: Ciência da Computação; Carga horária: 72h;
Leia maisTisana de Matemática
Tisana de Matemática tica (Infusão de ideias) no Encontro de ex-alunos de Matemática tica da UA 6 de Junho de 2009 EECM (Escola de Educação Complementar em Matemática) tica) Adelaide Valente, adelaide@ua.pt
Leia maisC O L É G I O I N T E G R A D O D I A D E M A Rua Washington Luiz, 566/574 Pq. 7 de Setembro Diadema SP CEP 09910-190 Fone: 4057 3003 e Fax: 4054 2929
6º ANO 2015 01 agenda escolar a ser comprada na escola. Elaborada especialmente para o Integrado, seu uso é obrigatório. 01 caderno de capa dura espiral universitário de 10 matérias para as disciplinas
Leia maisVivendo em grupo. Que sugestão você daria a dona Rosa para que as galinhas não se bicassem?...
A UU L AL A Vivendo em grupo Todos os dias, pela manhã e à tarde, dona Rosa chamava suas galinhas para lhes dar comida. Elas vinham correndo e, assim que chegavam, dona Rosa começava a jogar o milho ou
Leia maisA dependência entre a inflação cabo-verdiana e a portuguesa: uma abordagem de copulas.
A dependência entre a inflação cabo-verdiana e a portuguesa: uma abordagem de copulas. Jailson da Conceição Teixeira Oliveira 1 Murilo Massaru da Silva 2 Robson Oliveira Lima 3 Resumo: Cabo Verde é um
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular DIREITO DA ACTIVIDADE COMERCIAL Ano Lectivo 2010/2011
Programa da Unidade Curricular DIREITO DA ACTIVIDADE COMERCIAL Ano Lectivo 2010/2011 1. Unidade Orgânica Direito (1º Ciclo) 2. Curso Direito 3. Ciclo de Estudos 1º 4. Unidade Curricular DIREITO DA ACTIVIDADE
Leia maisPESQUISA OPERACIONAL 4470E- 04
O Solver é uma ferramenta de otimização disponível no MS- Excel; PESQUISA OPERACIONAL 4470E- 04 A estrutura de planilha do Excel facilita na modelagem de um problema de Programação Linear neste ambiente;
Leia maisIndíce. Indice... 1. 1) Identificar a sua persona (Cliente ideal)...erro! Indicador não definido. Exemplo... 4
Indíce Sumário Indice... 1 1) Identificar a sua persona (Cliente ideal)...erro! Indicador não definido. Exemplo... 4 2) Gerar relacionamento / lista de emails... 5 Exemplo... 6 3)Faça a oferta... 7 Exemplo...
Leia maisInstalação e uso da placa XYZ XYZ
Instalação e uso da placa XYZ XYZ Fabricada para trabalhar com diversos programas de controle encontrados na internet, a placa XYZ comanda dois ou três motores de passo diretamente através da porta paralela.
Leia maisPrefácio. 2. As lições são programadas para pessoas que cumpram os seguintes requisitos:
Prefácio 1. Este curso foi preparado pelo Seminário por Extensão às Nações (SEAN). Para que se obtenha o máximo benefício de um seminário por extensão, é recomendável estudar sob a direção de um orientador,
Leia maisALGORITMOS E COMPLEXIDADE PROBLEMAS E ALGORITMOS
ALGORITMOS E COMPLEXIDADE PROBLEMAS E ALGORITMOS Algoritmos e Complexidade 1 Plano Problemas e algoritmos. Estrutura de um algoritmo e dados manipulados. Métodos algorítmicos para resolução de problemas.
Leia maisProgramação Lógica (em uma aula!)
Paradigmas de Programação Programação Lógica (em uma aula!) Profª Andréa Schwertner Charão DLSC/CT/UFSM Programação lógica Paradigma baseado no Cálculo de Predicados (Lógica Matemática Dedutiva) Exemplo:
Leia maisEspaço para logotipos de patrocinador/ colaborador, se houver.
SUGESTÃO 1 Camiseta preta (Fatec ou Etec) SUGESTÃO 2 Camiseta azul (Fatec ou Etec) SUGESTÃO 3 Camiseta branca (Fatec ou Etec) SUGESTÃO 4 Camiseta amarela (Fatec ou Etec) SUGESTÃO 5 Camiseta verde (Fatec
Leia maisTema do Projeto Educativo: Quero ser grande e feliz
Tema do Projeto Educativo: Quero ser grande e feliz A primeira tarefa da educação é ensinar a ver É através dos olhos que as crianças tomam contacto com a beleza e o fascínio do mundo Os olhos têm de ser
Leia maisPor que estudar os adventistas? Cerca de 50% são vegetarianos.
Viver Mais Viver Melhor A experiência de saúde dos Adventistas do Sétimo Dia Fred Hardinge, DrPH, RD Diretor Associado do MS da Associação Geral Dados cortesia de Gary Fraser, MBBS, DrPH Diretor do ESA
Leia maisMobilidade: implicações económicas. Prof. João Confraria ( UCP )
Mobilidade Uma presença pervasiva no quotidiano das sociedades modernas 21 de Outubro de 2004 Hotel Le Meridien Mobilidade: implicações económicas Prof. João Confraria ( UCP ) Patrocínio Organização Mobilidade:
Leia maisESCOLA MUNICIPAL ANÁPOLIS, PROFESSORA: ALUNO (A): ANO: MÊS: DOMINGO SEGUNDA TERÇA QUARTA QUINTA SEXTA SÁBADO
PREENCHA O CALENDÁRIO ABAIXO: MÊS: DOMINGO SEGUNDA TERÇA QUARTA QUINTA SEXTA SÁBADO AGORA, RESPONDA: A) QUANTOS DIAS TÊM NO MÊS? B) QUE DIA DA SEMANA COMEÇOU O MÊS? C) QUE DIA DA SEMANA TERMINOU O MÊS?
Leia maisColégio Batista de Guarulhos
5º ano 01 Bloco de canson 180 gramas branco 20 folhas 04 Placa de E.V.A Vermelho 6º ano 04 Placa de E.V.A Verde 7º ano 04 Placa de E.V.A Amarela 8º ano 04 Placa de E.V.A Azul 9º ano 02 Fita Adesiva Transparente
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 maisAprendendo a trabalhar com frações parciais
Parte 1: Aprendendo a trabalhar com frações parciais Para trabalhar com frações parciais em Matlab, você tem que conhecer o funcionamento das seguintes funções: roots, poly e residue. Os pontos abaixo
Leia maisEstudo Interoperabilidade na Saúde Apresentação Pública
Interoperabilidade na Saúde - Onde Estamos? 26 de novembro de 2013 Auditório Escola Nacional de Saúde Pública Patrocinadores Globais APDSI Estudo Interoperabilidade na Saúde Apresentação Pública Escola
Leia maisMATEMÁTICA PARA VENCER. Apostilas complementares APOSTILA 10: Exercícios Cap 01. www.laercio.com.br
MATEMÁTICA PARA VENCER Apostilas complementares APOSTILA 10: Exercícios Cap 01 www.laercio.com.br APOSTILA 10 Exercícios cap 01 MATÉRIA FÁCIL, QUESTÕES DIFÍCEIS HORA DE ESTUDAR (cap 01) Apostila de complemento
Leia maisParecer Jurídico Recibos Verdes e Progressão na Carreira no Ensino Particular e Cooperativo
Sindicato Nacional dos Professores Licenciados pelos Politécnicos e Universidades Parecer Jurídico Recibos Verdes e Progressão na Carreira no Ensino Particular e Cooperativo Na sequência de um parecer
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 maisAtualidades em alimentos e câncer. Profa. Renata Torres Abib Bertacco
Atualidades em alimentos e câncer Profa. Renata Torres Abib Bertacco Roteiro da aula: Introdução Publicações nacionais e internacionais recentes Exercícios Bibliografia História 1942: estudos com animais
Leia maisPROGRAMAÇÃO LINEAR. Formulação de problemas de programação linear e resolução gráfica
PROGRAMAÇÃO LINEAR Formulação de problemas de programação linear e resolução gráfica A programação linear surge pela primeira vez, nos novos programas de Matemática A no 11º ano de escolaridade. Contudo
Leia maisMatemática Discreta - 08
Universidade Federal do Vale do São Francisco urso de Engenharia da omputação Matemática Discreta - 08 Prof. Jorge avalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisCÁLCULOS TESTES BIMESTRAL - TARDE MATEMÁTICA
Nome: Nº: Disciplina: MATEMÁTICA Prova: BIMESTRAL - TARDE Data: / /2008 Série: ª/Ano: 6º Bimestre: 3º NOTA: Orientações para a prova: A prova é um instrumento de avaliação e aprendizagem. 1 - Leia cada
Leia maisInquérito dos Hábitos de Sono aos Alunos do IST
Inquérito dos Hábitos de Sono aos Alunos do IST Sexo: Ano Nascimento: Estado Civil : Vive : Curso que frequenta: Ano de Curso: Média de Curso: Número de Reprovações: http://www.inqueritomedicinadosono.pt.vu/
Leia maisCurso básico de Xadrez
Projeto LIPRA Livro Interativo Potencializado com Realidade Aumentada Curso básico de Xadrez Autor: Raryel Costa Souza Orientação: Claudio Kirner Xadrez 1 Introdução O xadrez é um jogo de tabuleiro para
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 mais12/07 MANHÃ GINÁSIO Disputa de sete metros Categorias 4, 5 e 6 (6º ano ao Ens. Médio)
12/07 MANHÃ GINÁSIO Disputa de sete metros Categorias 4, 5 e 6 (6º ano ao Ens. Médio) 7:30h Azul x Vermelha (cat. 4,5,6) Verde x Amarela (cat. 4,5,6) Handebol feminino II Categoria 4 (6º e 7º anos) 8:00h
Leia maisMATERIAL ESCOLAR / 2016 PRIMEIRO SEMESTRE
MATERNAL BABY 05 placas de E.V.A. (nas cores: amarela, laranja, azul, branca e preta) 04 folhas de papel cartão (nas cores: preta, verde, amarela, vermelha) 04 folhas de color set (nas cores: amarela,
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPLEMENTOS DE PROJECTO APLICADO Ano Lectivo 2013/2014
Programa da Unidade Curricular COMPLEMENTOS DE PROJECTO APLICADO Ano Lectivo 2013/2014 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Contabilidade 3. Ciclo de Estudos 1º 4.
Leia maisMicrocrédito e Comércio Justo
Microcrédito e Comércio Justo Antiga DIT Antiga DIT A Antiga DIT A Antiga DIT baseava-se no princípio da especialização. Os países do Sul especializavam-se em produtos de baixo valor acrescentado. Quando
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular Globalização e Desigualdades Ano Lectivo 2014/2015
Programa da Unidade Curricular Globalização e Desigualdades Ano Lectivo 2014/2015 1. Unidade Orgânica Serviço Social (1º Ciclo) 2. Curso Serviço Social 3. Ciclo de Estudos 1º 4. Unidade Curricular Globalização
Leia maisTeste Anpad Raciocínio Lógico Edição: JUNHO de 2005
Teste Anpad Raciocínio Lógico Edição: JUNHO de 2005 01. Cinco pessoas, Flávio, Méricles, Armênio, Clodoaldo e Igor, utilizam um mesmo programa de computador, o qual facilita a comunicação online pela Internet,
Leia maisManual de Identidade Visual
Manual de Identidade Visual APRESENTAÇÃO :::... A Associa ção Horizontes, apresenta seu manual de aplicação de marca e com ele pretende consolidar o bem mais valioso que uma empresa ou instituição possui:
Leia maisUNIVERSIDADE ESTADUAL DO CEARÁ. Relatório Final: Estrutura de Dados II
UNIVERSIDADE ESTADUAL DO CEARÁ Relatório Final: Estrutura de Dados II Felipe José Aguiar Maia João Gonçalves Filho Prof.: Negreiros FORTALEZA 2010 Sumário 1 Introdução 2 2 Estruturas de Dados 2 2.1 AVL................................
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 maisLISTA DE MATERIAIS - EDUCAÇÃO INFANTIL II - 2016
1. AS AVENTURAS DE BAMBOLINA. Michele Iacocca. Editora Ática. 02 potes 250 ml de tinta guache (vermelho e amarelo); 03 folhas de EVA (vermelho, amarelo, laranja); 01 Corante Anilina comestível vermelho
Leia maisPara começar esse passo a passo, temos que falar primeiramente sobre os materiais usados na produção dessa tela:
Neste trabalho o objetivo é fazer uma apresentação de todas as fases da pintura espatulada do tema ARARA VERMELHA de uma forma descontraída para que os artistas participantes possa observar todos os recursos
Leia maisLISTA DE MATERIAL - 2015 6º Ano MATERIAL DE USO INDIVIDUAL
6º Ano 05 cadernos de 96 folhas (Matemática, Língua Portuguesa, História, Geografia e Ciências) 02 cadernos de 60 folhas (Filosofia e Inglês) MATERIAIS ESPECÍFICOS PARA AULA DE ARTES 01 pasta catálogo
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 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 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 maisEm duplas os alunos receberão uma folha contendo o material que será desenvolvido em aula.
Série: 5ª série Carga horária: 2 períodos Conteúdo: Frações Objetivo: O aluno ao final da aula deverá verificar por meio de representações concretas, que o resultado de dividir a por b é o mesmo que dividir
Leia maisProgramação de Computadores I Fluxogramas PROFESSORA CINTIA CAETANO
Programação de Computadores I Fluxogramas PROFESSORA CINTIA CAETANO Problemas & Algoritmos Para resolver um problema através dum computador é necessário encontrar em primeiro lugar uma maneira de descrevê-lo
Leia maisO que esta acontecendo com a Região Metropolitana de São Paulo Análise Socioeconômica Carlos Paiva*
O que esta acontecendo com a Região Metropolitana de São Paulo Análise Socioeconômica Carlos Paiva* Com a divulgação da Pesquisa da Mobilidade de São Paulo, com dados de 2012 (OD 2012) pelo Metrô-SP, torna-se
Leia maisAC-7000 Terminal de Reconhecimento Facial
Guia de Instalação AC-7000 Terminal de Reconhecimento Facial Data Nome Alterações Versão 29/06/2015 Paulo Pio da Silva Versão Inicial 1.00 suporte@virdi.com.br Avenida Paulista, 37, 4º Andar - Bela Vista
Leia maisLISTA DE MATERIAL - EDUCAÇÃO INFANTIL /2016 MATERNAL I
MATERNAL I *0i tubo de cola (grande) *01 caderno cartografia 48 folhas e capa dura *01 jogo de baldinho de areia *01 caixinha de massinha para modelar *01 pacote de palitos de sorvete MATERNAL I *01 tubo
Leia maisAvaliação de Interfaces Humano- Computador
Avaliação de Interfaces Humano- Computador Avaliação de Interfaces A avaliação deve ocorrer durante o ciclo de vida do design e seus resultados utilizados para melhorias gradativas da interface. Se faz
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 maisSOLUÇÕES N2 2015. item a) O maior dos quatro retângulos tem lados de medida 30 4 = 26 cm e 20 7 = 13 cm. Logo, sua área é 26 x 13= 338 cm 2.
Solução da prova da 1 a fase OBMEP 2015 Nível 1 1 SOLUÇÕES N2 2015 N2Q1 Solução O maior dos quatro retângulos tem lados de medida 30 4 = 26 cm e 20 7 = 13 cm. Logo, sua área é 26 x 13= 338 cm 2. Com um
Leia maisLógica e Bases de Dados. Prof. Elaine Faria e Hiran Nonato Programação Lógica UFU 2012
Lógica e Bases de Dados Prof. Elaine Faria e Hiran Nonato Programação Lógica UFU 2012 Bases de Dados Relacionais "Base de dados" Coleção de dados interrelacionados, armazenada de modo independente do programa
Leia maisAlgoritmos Paralelos - ordenação
Algoritmos Paralelos - ordenação Fernando Silva DCC-FCUP (Alguns dos slides são baseados nos do livro Parallel Programming Techniques & Applications Using Networked Workstations & Parallel Computers, 2nd
Leia maisTreinamento sobre Progress Report.
Treinamento sobre Progress Report. Objetivo O foco aqui é trabalhar o desenvolvimento pessoal de cada aluno. O instrutor irá analisar cada um e pensar em suas dificuldades e barreiras de aprendizado e,
Leia maisApós a gastroscopia e dilatação
Após a gastroscopia e dilatação After your Gastroscopy and Dilatation Portuguese UHN Informação para pacientes e familiares Leia este folheto e saiba: Como cuidar de si próprio depois de chegar a casa
Leia maisBCC402 Algoritmos e Programação Avançada. Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Tóffolo 2011/1
BCC402 Algoritmos e Programação Avançada Prof. Marco Antonio M. Carvalho Prof. Túlio Ângelo M. Tóffolo 2011/1 Introdução ao Curso 2 Carga horária semanal 2 aulas teóricas e 2 aulas práticas (ambas em laboratório)
Leia maisO Perfil e o impacto econômico do Visitante da Cidade de Niterói durante a Copa do Mundo 2014
O Perfil e o impacto econômico do Visitante da Cidade de Niterói durante a Copa do Mundo 2014 Faculdade de Turismo e Hotelaria Coordenadores da Pesquisa: Prof. Dr. Osiris Marques Prof. Dr. João Evangelista
Leia maisREGULAMENTO Artigo 1.º Criação do curso Artigo 2.º Objectivos Artigo 3.º Condições de acesso Artigo 4.º Critérios de selecção
REGULAMENTO Artigo 1.º Criação do curso A Faculdade de Economia da Universidade de Coimbra (FEUC) e a Escola de Economia e Gestão da Universidade do Minho (EEGUM), através do seu Departamento de Economia,
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular DIREITO ECONÓMICO Ano Lectivo 2015/2016
Programa da Unidade Curricular DIREITO ECONÓMICO Ano Lectivo 2015/2016 1. Unidade Orgânica Direito (1º Ciclo) 2. Curso Direito 3. Ciclo de Estudos 1º 4. Unidade Curricular DIREITO ECONÓMICO (02334) 5.
Leia maisNome. Data. Tarefa C1. diferentes, folha de papel A3, fita-cola.
Tarefa C1 Material por grupo: palhinhas com diferentes padrões diferentes, folha de papel A3, fita-cola. e/ou cores, de três tamanhos Observa bem as palhinhas que estão em cima da mesa e pensa numa maneira
Leia maisMATEMÁTICA. Prova bimestral. Aluno: nº Turma: 3º ano 1º bimestre. 1. Mariana mora em São Paulo. Nas férias, ela vai de carro com seu pai visitar a avó
MATEMÁTICA NOTA Profª Prova bimestral Aluno: nº Data: Turma: 3º ano 1º bimestre 1. Mariana mora em São Paulo. Nas férias, ela vai de carro com seu pai visitar a avó Olga que mora no Rio de Janeiro. a)
Leia maisProtocolo relativo a Estágio Curricular
Protocolo relativo a Estágio Curricular 1. Introdução O presente protocolo é celebrado entre a Faculdade de Engenharia da Universidade do Porto, adiante designada por FEUP, a empresa/instituição de estágio
Leia mais308 - Kit Elevador Modelix (Estrutura)
308 - Kit Elevador Modelix (Estrutura) 1 308 - Kit Elevador Modelix (Estrutura) 2x Viga 3D 7 Furos 11 4x Barra Dupla 5 Furos Lista de peças Os números em preto correspondem a quantidade de cada peça a
Leia maisQUESTÕES PARA A 3ª SÉRIE ENSINO MÉDIO MATEMÁTICA 2º BIMESTE SUGESTÕES DE RESOLUÇÕES
QUESTÕES PARA A 3ª SÉRIE ENSINO MÉDIO MATEMÁTICA 2º BIMESTE QUESTÃO 01 SUGESTÕES DE RESOLUÇÕES Descritor 11 Resolver problema envolvendo o cálculo de perímetro de figuras planas. Os itens referentes a
Leia maisMódulo 3 O Sistema RENAVAM
Módulo 3 O Sistema RENAVAM Neste módulo você irá estudar a definição, o histórico, e as mudanças importantes introduzidas pelo sistema RENAVAM. Você sabe o que é RENAVAM? Se até o momento você respondia
Leia maisCores: Amarelo Azul Claro Verde Claro Branco Laranja
Abelha Coração Estrela Margarida Trevo Coração 4 cores Estrela 4 cores Cores: Amarelo Azul Claro Verde Claro Branco Laranja Vermelho Roxo Ouro Rosa Salmão Medidas (cm): 10x15 11x20 15x22 15x30 17x35 20x30
Leia maisSeja bem-vindo! Conheça nosso plano de negócio!
Você está preste a conhecer um novo conceito de trabalho fundamentado em marketing de relacionamento, rede de cooperação baseado na economia solidária, capaz de melhorar a qualidade de vida em nosso planeta,
Leia maisLISTA DE MATERIAL DE ARTE - 2012
LISTA DE MATERIAL DE ARTE - 2012 ARTE - 6º ano 01 lápis 2B 01 Marcador para Porcelana Creative Marker na cor roxa. 01 Pote de 250 ml de tinta acrílica (cor vermelha ou amarela). 01 caixa de cola colorida
Leia maisLicitação por Pregão Eletrônico nº 032/2013 A REALIZAR SE EM 27/01/2014 AS 15:30 PROCESSO E-18/001/265/2013
Serviço Público Estadual Secretaria de Estado de Cultura Licitação por Pregão Eletrônico nº 032/23 A REALIZAR SE EM 27//24 AS 15:30 PROCESSO E-18/0/265/23 ANEXO III PROPOSTA DE PREÇO A firma ao lado mencionada
Leia maisAula 1 Oficina de Programação e Laboratório Apresentação. Profa. Elaine Faria UFU - 2016
Aula 1 Oficina de Programação e Laboratório Apresentação Profa. Elaine Faria UFU - 2016 Dados do Professor Elaine Ribeiro de Faria Paiva Email: elaine@ufu.br Sala: 1B137 Horário de atendimento (agendado
Leia mais1. CONTAS DE DEPÓSITO (PARTICULARES) (ÍNDICE)
1.1. Depósitos à ordem 1. Comissão de gestão/manutenção de conta Conta NB 100% (clientes particulares residentes e não residentes, maiores de 18 anos). Conta NB 100% 55+ (clientes particulares residentes
Leia maisAPOSTILA DE LÓGICA. # Proposições Logicamente Equivalentes. # Equivalências Básicas
INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CÂMPUS APODI Sítio Lagoa do Clementino, nº 999, RN 233, Km 2, Apodi/RN, 59700-971. Fone (084) 4005.0765 E-mail: gabin.ap@ifrn.edu.br
Leia maisObjetivo do Portal da Gestão Escolar
Antes de Iniciar Ambiente de Produção: É o sistema que contem os dados reais e atuais, é nele que se trabalha no dia a dia. Neste ambiente deve-se evitar fazer testes e alterações de dados sem a certeza
Leia maisFUNGOS: UMA ANÁLISE EXPERIMENTAL SOBRE OS AGENTES CAUSADORES DE PROBLEMAS AOS PRODUTOS TÊXTEIS
FUNGOS: UMA ANÁLISE EXPERIMENTAL SOBRE OS AGENTES CAUSADORES DE PROBLEMAS AOS PRODUTOS TÊXTEIS Júlia Carla de Queiroz 1, Veronica Rodrigues de Mendonça 2, Ammanda Adhemer Albuquerque Bandeira 3, Etienne
Leia maisUnidade 3 Função Afim
Unidade 3 Função Afim Definição Gráfico da Função Afim Tipos Especiais de Função Afim Valor e zero da Função Afim Gráfico definidos por uma ou mais sentenças Definição C ( x) = 10. x + Custo fixo 200 Custo
Leia maisFicha de Unidade Curricular 2009/2010
Ficha de Unidade Curricular 2009/2010 Unidade Curricular Designação Ferramentas Digitais/Gráficas II Área Científica Design Gráfico e Multimédia Ciclo de Estudos Obrigatório Carácter: Obrigatório Semestre
Leia maisMATERNAL BABY MATERIAL ESCOLAR 2015 PRIMEIRO SEMESTRE
MATERNAL BABY 01 brinquedo pedagógico 05 placas de E.V.A. (nas cores: amarela, laranja, azul escuro, branca e preta) 04 folhas de color set (nas cores: amarela, marrom, azul escuro e verde escuro) 04 folhas
Leia maisCircuitos Lógicos. Aulas Práticas
Circuitos Lógicos Aulas Práticas A Protoboard A Protoboard A Protoboard é um equipamento que permite interconectar dispositivos eletrônicos tais como resistores, diodos, transistores, circuitos integrados
Leia maisUniversidade Ibirapuera Arquitetura e Urbanismo Conforto Ambiental: Insolação e Iluminação MÓDULO 2: ILUMINAÇÃO NATURAL
Universidade Ibirapuera Arquitetura e Urbanismo Conforto Ambiental: Insolação e Iluminação MÓDULO : INSOLAÇÃO MÓDULO : ILUMINAÇÃO NATURAL MÓDULO : ILUMINAÇÃO DE INTERIORES Docente: Claudete Gebara J. Callegaro
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 maisRELATÓRIO FEIRA I SALONI MILÃO 2012. RELATÓRIO FEIRA SALONI MILÃO 2012 www.finsa.es Dpto. Marketing
RELATÓRIO FEIRA I SALONI MILÃO 2012 RELATÓRIO FEIRA SALONI MILÃO 2012 www.finsa.es Dpto. Marketing 292.370 visitantes 76% estrangeiros Salone internazionale del mobile Eurocucina Salone internazionale
Leia maisObjetivo do jogo 40 pontos todos os quadrados de um templo todos os quadrados amarelos todos os quadrados verdes Material do jogo 72 cartas
Objetivo do jogo Cada jogador representa o papel de um sumo sacerdote na luta pelo poder em Tebas no antigo Egito. Ganha o jogador que primeiro: Conseguir 40 pontos, ou Ocupar todos os quadrados de um
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular INTERVENÇÃO PSICOLÓGICA Ano Lectivo 2012/2013
Programa da Unidade Curricular INTERVENÇÃO PSICOLÓGICA Ano Lectivo 2012/2013 1. Unidade Orgânica Ciências Humanas e Sociais (1º Ciclo) 2. Curso Psicologia 3. Ciclo de Estudos 1º 4. Unidade Curricular INTERVENÇÃO
Leia maisPLANO DE ENSINO PROJETO PEDAGÓCIO: 2010. Carga Horária Semestral: 40 h Semestre do Curso: 3º
PLANO DE ENSINO PROJETO PEDAGÓCIO: 2010 Curso: Pedagogia Disciplina: Metodologia da Pesquisa Aplicada a Educação I Carga Horária Semestral: 40 h Semestre do Curso: 3º 1 - Ementa (sumário, resumo) A natureza
Leia maisMATEMÁTICA ENSINO FUNDAMENTAL
MATEMÁTICA QUESTÃO 01 QUESTÃO 04 O mosaico é um desenho formado por uma ou mais formas geométricas que se encaixam perfeitamente ao cobrirem uma superfície O mosaico da figura abaixo é formado por octógonos
Leia maisUNEMAT Universidade do Estado de Mato Grosso. INSTALAÇÕES HIDRÁULICAS E PREDIAIS Professora: Engª Civil Silvia Romfim
UNEMAT Universidade do Estado de Mato Grosso INSTALAÇÕES HIDRÁULICAS E PREDIAIS Professora: Engª Civil Silvia Romfim INSTALAÇÕES PREDIAIS DE ÁGUA QUENTE 2 Instalações de água quente Generalidades As instalações
Leia maisProbabilidade. Evento (E) é o acontecimento que deve ser analisado.
Probabilidade Definição: Probabilidade é uma razão(divisão) entre a quantidade de eventos e a quantidade de amostras. Amostra ou espaço amostral é o conjunto formado por todos os elementos que estão incluídos
Leia maisProblems and Programmers
DCC / ICEx / UFMG Problems and Programmers Eduardo Figueiredo http://www.dcc.ufmg.br/~figueiredo Visão Geral do PnP O jogo Problems and Programmers (PnP) simula um processo de software Fase de requisitos
Leia maisFL2100. Revestido em Couro. Dimensões: 94 x 28 x 4 mm. Capacidade: 64MB 128MB 256MB 512MB 1GB 2GB 4GB 8GB FL2110. Revestido em Couro
FL2100 Revestido em Couro 94 x 28 x 4 mm Preto Castanho Claro Vermelho Azul Verde Castanho Escuro 8GB FL2110 Revestido em Couro 23 x 4 x 82 mm Preto Castanho Claro Vermelho Azul Verde Castanho Escuro 8GB
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 mais