Inteligência Computacional
|
|
- Ana Vitória Felgueiras Rios
- 5 Há anos
- Visualizações:
Transcrição
1 Inteligência Comutacional CP78D Lógica Proosicional e Lógica de Predicados Aula 3 Prof. Daniel Cavalcanti Jeronymo Universidade Tecnológica Federal do Paraná UTFPR Engenharia Eletrônica 9º Período /22
2 Lógica Proosicional Plano de Aula Lógica de Predicados Agentes Lógicos Atividade Z3Prover 2/22
3 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Permite a construção de roosições lógicas Lógica Proosicional Provas matemáticas são argumentos válidos Argumento é uma seuência de declarações ue termina em uma conclusão Válido: a conclusão segue da suosição das remissas como verdadeiras Utiliza-se regras de inferência ara construir argumentos válidos 3/22
4 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Esse argumento é valido? Lógica Proosicional Se você escuta então você entende o ue estou falando argumento - modus onens Você está escutando Logo, você entende o ue estou falando Faça reresentar a declaração você escuta Faça reresentar a declaração você entende o ue estou falando 4/22
5 5/22 Lógica Proosicional é uma tautologia Maneira alternativa de escrever isso ortanto Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade
6 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Premissas / hióteses: Se está chovendo então vou me molhar Se vou me molhar então reciso me roteger Lógica Proosicional Conclusão: Se está chovendo então reciso me roteger Deveria ter utilizado lógica roosicional Leo DiCario 6/22
7 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Como chegamos na conclusão a artir das remissas? Lógica Proosicional roosições = está chovendo = vou me molhar r = reciso me roteger Conclusão or silogismo hiotético r r 7/22
8 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Suer resumão de lógica roosicional Lógica Proosicional Um argumento com remissas e conclusão, 2,, n é valido uando 2 n Cláusula de Horn é uma tautologia Prova-se a validade de um argumento elas regras de inferência mas oderíamos também utilizar uma tabela verdade... or ue não? 8/22
9 9/22 Lógica Proosicional Resolution ] [ n Conjunctio tion Simlifica Addition e syllogism Disjunctiv syllogism al Hyothetic ] [ tollen Modus ] [ onens Modus ] [ Name Tautology inference of Rule r r r r r r r r Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade
10 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Lógica Proosicional 0/22
11 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Métodos de rova Lógica Proosicional Prova direta Prova or contradição muitos outros métodos de rova /22
12 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Prova or contradição reductio ad absurdum Lógica Proosicional Em vez de rovar a tautologia 2 n Provar a contradição 2 n 2/22
13 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Lógica roosicional é uma linguagem fraca Lógica de Predicados Não há como uantificar roriedades de indivíduos: João é alto Generalizações e adrões não são facilmente reresentados: todo triângulo tem três lados 3/22
14 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Lógica de rimeira ordem é mais exressiva e estende a lógica roosicional Lógica de Predicados São incluídas relações, variáveis e uantificadores: Todo elefante é cinza Existe um jacaré branco x elefante x cinza x x jacare x branco x 4/22
15 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Sócrates é mortal? Lógica de Predicados Premissas Todo homem é mortal Socrates é homem Conclusão: xhomem x mortal x Socrates é mortal homem socrates 5/22
16 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Sócrates é mortal? Lógica de Predicados Premissas Todo homem é mortal Socrates é homem Conclusão: Socrates é mortal xhomem x mortal x homem socrates mortal socrates modus onens 6/22
17 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Agentes: Tem objetivos Sentem e agem sobre o mundo Indeendentes Agentes Lógicos Como armazenar o conhecimento dos agentes? KB Knowledge Base 7/22
18 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Agentes lógicos alicam inferência à base de conhecimentos Obter novas informações Tomar decisões Agentes Lógicos Leitura: ca. 7 agentes lógicos do livro do Russel & Norvig 8/22
19 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Auecimento Provar elo Z3Prover ue Sócrates é mortal Atividade Z3Prover Baixar o binário do Z3Prover ara sua aruitetura Windows, Linux, etc. htts://github.com/z3prover/bin/tree/master/releases Baixar o aruivo socrates.y na ágina da discilina e seguir exemlo no reâmbulo do código Uma alternativa ao Z3Prover é o SymPy: htt://docs.symy.org/dev/modules/logic.html 9/22
20 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Auecimento Provar elo Z3Prover ue Socrates é mortal from z3 imort * # Define um objeto Z3 Object = DeclareSort'Object' # Define a função Humano Human = Function'Human', Object, BoolSort # Define a função Mortal Mortal = Function'Mortal', Object, BoolSort # Define o objeto Socrates socrates = Const'socrates', Object # As variáveis ara o forall devem ser declaradas como Const x = Const'x', Object # Define os axiomas # Ax Humanox -> Mortalx # HumanoSocrates axioms = [ForAll[x], ImliesHumanx, Mortalx, Humansocrates] Atividade Z3Prover s = Solver s.addaxioms rints.check # 'sat' ois axiomas são coerentes # refutação rova or contradição # ~MortalSocrates s.addnotmortalsocrates rints.check # 'unsat' ois socrates é mortal # afinal MortalSocrates - modus onens 20/22
21 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Atividade arte Dado ue: Se o unicórnio é mítico, então é imortal, mas se ele não for mítico, então é um mamífero mortal. Se o unicórnio for imortal ou mamífero, então tem chifre. O unicórnio é mágico se ele tem chifre. Prove ue o unicórnio: é mítico é mágico tem chifre Atividade Z3Prover 2/22
22 Lógica Proosicional Lógica de Predicados Agentes Lógicos Atividade Atividade arte 2 Prove ue o aradoxo do barbeiro é insatisfatível Atividade Z3Prover Havia em Servilha um barbeiro ue só cortava o cabelo de todas as essoas ue não cortavam o rório cabelo. Troue essoas or homens o roblema é mantido? Considere ue o barbeiro ode ser homem ou mulher. 22/22
Recredenciamento Portaria MEC 347, de D.O.U
Quest(iii) Argumento Dado um fenômeno ou fato, rocura-se justificá-lo, exlicá-lo. Esta justificativa é dada na forma de um raciocínio através do ual chegamos a uma afirmação, e uando este raciocínio é
Leia maisPassos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4
Lógica ara Ciência da Comutação I Lógica Matemática Texto 18 Passos lógicos Sumário 1 Limitações do Método das Tabelas 2 1.1 Observações................................ 4 2 Passos lógicos 4 2.1 Observações................................
Leia maisIMPLICAÇÃO LÓGICA. Prof.: Rafael Dias Ribeiro,M.Sc.
IMPLICAÇÃO LÓGICA Prof.: Rafael Dias Ribeiro,M.Sc. Imlicação Lógica O rocesso de inferência automática oderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratégia lenta e que ocuaria
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proosições Uma roosição é uma frase ue ode ser aenas verdadeira ou falsa. 1. Os saos são anfíbios. 2. A caital do Brasil é Porto Alegre. 3. O tomate é um tubérculo. 4. Por
Leia maisDistribuição de uma proporção amostral
Distribuição de uma roorção amostral Estatística II Antonio Roque Aula 4 Exemlo Ilustrativo: Suonha que se saiba que em uma certa oulação humana uma roorção de essoas igual a = 0, 08 (8%) seja cega ara
Leia maisUniversidade Federal do Espírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 25/07/2017
Universidade Federal do Esírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 5/07/017 Aluno: Matrícula. Nota: : : Orientações: Todas as resostas devem ser devidamente justi cadas
Leia maisLógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisMATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira
MATEMÁTICA 3 Professor Renato Madeira MÓDULO 1 Lógica SUMÁRIO 1. Proosição. Negação 3. Conectivos 4. Condicionais 4.1. Relação de imlicação 4.. Relação de equivalência 5. Álgebra das roosições 6. Quantificadores
Leia maisEP33D Matemática Discreta 2013/2S
EP33D Matemática Discreta 2013/2S Lista 01 Lógica Proosicional Problema 1. Qual é a negação de cada roosição a seguir? a) Hoje é quinta-feira. b) Não há oluição em São Paulo. c) 2+1=3 d) O verão no Rio
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
Leia maisLógica A lógica fornece-nos regras e técnicas para determinar se um argumento é válido. Matemática. Lógica Demonstração de teoremas
Lógica Lógica A lógica fornece-nos regras e técnicas ara determinar se um argumento é válido. Matemática Lógica Demonstração de teoremas Ciências de comutação Lógica erificação de rogramas ida corrente
Leia maisSomas de números naturais consecutivos
Julho 006 - nº 5 Somas de números naturais consecutivos António Pereira Rosa Escola Secundária Maria Amália Vaz de Carvalho, Lisboa. Introdução O objectivo deste trabalho é abordar o roblema da reresentação
Leia maisLÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal
LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E COMPOSTAS Rafael D. Ribeiro, M.Sc. rafaeldiasribeiro@gmail.com htt://www.rafaeldiasribeiro.com.br Autora: Prof. Dra. Denise Candal 1 Definição: Chama-se roosição
Leia maisNoções de lógica matemática Conceitos Básicos
Conceitos Básicos CH f Noções de lógica matemática Conceitos Básicos CH 1 Conceitos Básicos - E CH CH f ^ Noções de lógica matemática Conceitos Básicos - E CH CH ^ 2 Conceitos Básicos - OU CH CH f Noções
Leia maisa) a soma de dois números pares é par. b) a soma de dois números ímpares é par. c) a soma de um número par com um número ímpar é ímpar.
!#"%$ & '%( )( *+'%,-"/. 0# 1 45687 9 9
Leia maisCálculo Proposicional
Cálculo Proosicional Lógica - Deinição Inteligência Artiicial Nesta aula são introduzidos conceitos básicos sobre o Cálculo Proosicional (CP) O CP é também denominado Cálculo de Proosições ou Lógica de
Leia maisProposição 0 (Divisão Euclidiana): Dados a b, b b * existem q, r b unicamente determinados tais que 0 r < b e a = bq + r
"!$#%& '!)( * +-,/.10 2/3"456387,:9;2 .1?/@.1, ACB DFEHG IJDLK8MHNLK8OHP Q RTSVUVWYXVZ\[^]_W Este artigo se roõe a ser uma referência sobre os temas citados no título, que aarecem naturalmente em diversos
Leia maisValores e vectores próprios
Valores e Vectores Prórios - Matemática II- /5 Valores e vectores rórios De nem-se valores e vectores rórios aenas ara matrizes quadradas, elo que, ao longo deste caítulo e quando mais nada seja eseci
Leia maisLógica de Predicados
Lógica de Predicados Prof. Dr. Silvio do Lago Pereira slago@ime.us.br 1 Introdução Há vários tios de argumentos ue não odem ser adeuadamente formalizados em lógica roosicional. Como exemlo, considere o
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisSIMULADO. 05) Atribuindo-se todos os possíveis valores lógicos V ou F às proposições A e B, a proposição [( A) B] A terá três valores lógicos F.
01) Considere as seguintes roosições: P: Está quente e Q: Está chovendo. Então a roosição R: Se está quente e não está chovendo, então está quente ode ser escrita na forma simbólica P..( Q) P, em que P..(
Leia mais2.1 A realidade sob a ótica da lógica proposicional
Caítulo 2 Lógica Proosicional 2.1 A realidade sob a ótica da lógica roosicional 1. a) Proosições simles: (1) João é olítico; (2) João é honesto. A roosição é uma conjunção de (1) e (2). b) Proosições simles:
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia mais12 E 13 DE DEZEMBRO DE 2015
PROBLEMAS DO 1 o TORNEIO CARIOCA DE MATEMÁTICA 12 E 13 DE DEZEMBRO DE 2015 Conteúdo Notações 1 1 O suer-mdc 1 2 Os Reis do etróleo 2 3 Quadraturas de Triângulos 3 4 Um roblema bimodular 4 5 Sistemas de
Leia maisPré-Cálculo. Humberto José Bortolossi. Aula 7 10 de setembro de Departamento de Matemática Aplicada Universidade Federal Fluminense
Pré-Cálculo Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Aula 7 10 de setembro de 2010 Aula 7 Pré-Cálculo 1 Módulo (ou valor absoluto) de um número real x
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisPCS Inteligência Artificial
PCS 2428 - Inteligência Artificial Gabarito da 1a. Lista de Exercícios 1. O operador (ou exclusivo) pode ser definido pela tabela abaixo. Criar uma expressão do cálculo proposicional usando somente,,,
Leia mais-- INSTRUÇÕES -- Elementos de Probabilidade e Estatística U.C de Junho de Duração da prova: 2 horas mais 30 minutos de tolerância.
Ministério da Ciência, Tecnologia e Ensino Suerior U.C. 037 Elementos de Probabilidade e Estatística de Junho de 0 -- INSTRUÇÕES -- O estudante deverá resonder à rova na folha de onto, reencher o cabeçalho
Leia maisFunção par e função ímpar
Pré-Cálculo Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Função ar e função ímar Parte 3 Parte 3 Pré-Cálculo 1 Parte 3 Pré-Cálculo 2 Função ar Definição Função
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
Leia maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisMATEMÁTICA Professores: Adriano, Andrey, Aurélio e Rodrigo Comentário Geral Prova bem abrangente como todos os anos, mas com dois detalhes que
MTEMÁTIC rofessores: driano, ndrey, urélio e Rodrigo Comentário Geral rova bem abrangente como todos os anos, mas com dois detalhes que chamaram a atenção. rimeiro a ausência de uma questão de trigonometria
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 12.º Ano Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A.º Ano Versão 4 Nome: N.º Turma: Aresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisInteligência Computacional
Inteligência Computacional CP78D Redes Neurais Aula 7 Prof. Daniel Cavalcanti Jeronymo Universidade Tecnológica Federal do Paraná (UTFPR) Engenharia Eletrônica 7º Período 1/24 Plano de Aula Perceptron
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas
Leia maisA seguir veremos o conceito de limites das funções de duas ou mais variáveis.
Limites de Função de várias variáveis. Limites: No curso de CDI-I estudamos ite de uma função real de uma variável. A definição rigorosa de ite é dada or: f ( L, ( / se A seguir veremos o conceito de ites
Leia maisRememorando. Situação-problema 5. Teorema do Limite Central. Estatística II. Aula II
UNIVERSIDADE FEDERAL DE RONDÔNIA CAMPUS DE JI-PARAN PARANÁ DEPARTAMENTO DE ENGENHARIA AMBIENTAL Rememorando Estatística II Aula II Profa. Renata G. Aguiar 1 Figura 7 Distribuição de uma amostra (n = 150).
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia maisMATEMÁTICA COMENTÁRIO DA PROVA
COMENTÁRIO DA PROVA Os objetivos desta rova discursiva foram lenamente alcançados. Os conteúdos rinciais foram contemlados, inclusive comlementando os tóicos abordados na ª. fase, mostrando uma conveniente
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisMódulo (ou valor absoluto) de um número real: a função modular
Matemática Básica Humberto José Bortolossi Deartamento de Matemática Alicada Universidade Federal Fluminense Módulo (ou valor absoluto) de um número real: a função modular Parte 5 Parte 5 Matemática Básica
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia maisM odulo de Potencia c ao e D ızimas Peri odicas Nota c ao Cient ıfica e D ızimas Oitavo Ano
Módulo de Potenciação e Dízimas Periódicas Notação Científica e Dízimas Oitavo Ano Exercícios Introdutórios Exercício. Escreva os seguintes números na notação científica: a) 4673. b) 0, 0034. c). d) 0,
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisRedes Neurais e Sistemas Fuzzy
Conceitos básicos de redes neurais recorrentes Redes eurais e Sistemas Fuzzy Redes eurais Recorrentes A Rede de Hofield A suressão do ruído numa memória auto-associativa linear ode ser obtida colocando-se
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.2 Introdução a Lógica Booleana. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.2 Introdução a Lógica Booleana Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Você está viajando e o pneu do seu carro fura! 2 Quais são os passos para se trocar
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisIST-2010/11-1 o Semestre-MArq Matemática I 1 o TESTE (VERSÃO A) 6 de Novembro de 2010
IST-00/- o Semestre-MArq Matemática I o TESTE (VERSÃO A) 6 de Novembro de 00 Nome: Número: Sala: O teste que vai realizar tem a duração de hora e 0 minutos e consiste de 5 roblemas. Os roblemas,, e 4 deverão
Leia mais1 cor disponível (não pode ser igual à anterior) Casos possíveis: 3 x 2 x 1 x 1 x 3 = 18 Resposta: B
Prearar o Exame 01 017 Matemática A Página 7 1. Observa o seguinte esquema: cores ossíveis cores ossíveis 1 cor disonível (não ode ser igual à anterior) 1 cor disonível (não ode ser igual à anterior) cores
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
Leia mais9º ENTEC Encontro de Tecnologia: 23 a 28 de novembro de 2015
9º ENTEC Encontro de Tecnologia: a 8 de novembro de 05 CRITÉRIO DE VON MIE EM O UO DA TENÕE NORMAI PRINCIPAI Iago Porto Almeida Borges¹; Roberta Bastos de Oliveira²; Eliane Regina Flôres Oliveira³,, Universidade
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisGabarito da Lista 6 de Microeconomia I
Professor: Carlos E.E.L. da Costa Monitor: Vitor Farinha Luz Gabarito da Lista 6 de Microeconomia I Eercício Seja Y um conjunto de ossibilidades de rodução. Dizemos que uma tecnologia é aditiva quando
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisInteligência Computacional
Inteligência Computacional CP78D Aula 5 Prof. Daniel Cavalcanti Jeronymo Introdução à aprendizado de máquina. Árvores de Decisão. Sistemas Especialistas e motores de inferência. Universidade Tecnológica
Leia maisPROTOCOLO PARA ESTIMAR ERROS DE DISCRETIZAÇÃO EM CFD: VERSÃO 1.1. Carlos Henrique Marchi. Curitiba, UFPR, setembro de 2005.
PROTOCOLO PARA ESTIMAR ERROS DE DISCRETIZAÇÃO EM CFD: VERSÃO. Carlos Henrique Marchi Curitiba, FPR, setembro de 2005. O objetivo deste rotocolo é adronizar o rocesso de Verificação de soluções numéricas
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia mais1. Em cada caso, obtenha a equação e esboce o grá co da circunferência.
3.1 A Circunferência EXERCÍCIOS & COMPLEMENTOS 3.1 1. Em cada caso, obtenha a equação e esboce o grá co da circunferência. (a) Centro C ( 2; 1) e raio r = 5: (b) Passa elos ontos A (5; 1) ; B (4; 2) e
Leia maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisGrupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. Grupo II ( tabelas) Grupo III ( inspetores)
Grupo I ( traduções) Simboliza cada uma das proposições que se seguem. Não esquecer do dicionário. a) O João vai à praia se e só se não tiver almoçado e fizer bom tempo b) Se os alunos jogam futebol no
Leia maisMAC425/5739 Inteligência Artificial 6. Agentes lógicos
MAC425/5739 Inteligência Artificial 6. Agentes lógicos Denis Deratani Mauá (largamente baseado no material de aula dos Profs. Edileri de Lima e Leliane de Barros) REPRESENTAÇÃO DE CONHECIMENTO Busca (cega,
Leia maisProposta de teste de avaliação
Proosta de teste de avaliação Matemática. O NO DE ESOLRIDDE Duração: 90 minutos Data: Gruo I Na resosta aos itens deste gruo, selecione a oção correta. Escreva, na folha de resostas, o número do item e
Leia maisAula # 8 Vibrações em Sistemas Contínuos Modelo de Segunda Ordem
UNIVERSIDADE DE SÃO PAULO ESCOLA DE ENGENHARIA DE SÃO CARLOS DEPARTAMENTO DE ENGENHARIA MECÂNICA Laboratório de Dinâmica SEM 504 DINÂMICA ESTRUTURAL Aula # 8 Vibrações em Sistemas Contínuos Modelo de Segunda
Leia maisConjunto de Valores. A Função de Probabilidade (fp)
Prof. Lorí Viali, Dr. viali@mat.ufrgs.br htt://www.mat.ufrgs.br/~viali/ Bernoulli Binomial Binomial Negativa ou Pascal Geométrica Hiergeométrica Uniforme Poisson Eerimento Qualquer um que corresonda a
Leia maisVERDADE E VALIDADE, PROPOSIÇÃO E ARGUMENTO
ENADE 2005 e 2008 1 O que B. Russell afirma da matemática, em Misticismo e Lógica: "uma disciplina na qual não sabemos do que falamos, nem se o que dizemos é verdade", seria particularmente aplicável à
Leia maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisLógica Dedutiva e Falácias
Lógica Dedutiva e Falácias Aula 3 Prof. André Martins Lógica A Lógica é o ramo do conhecimento humano que estuda as formas pelas quais se pode construir um argumento correto. O que seria um raciocínio
Leia maisInteligência Computacional
Inteligência Computacional CP78D Lógica Fuzzy Aula 4 Prof. Daniel Cavalcanti Jeronymo Universidade Tecnológica Federal do Paraná (UTFPR) Engenharia Eletrônica 9º Período 1/37 Lógica Clássica Plano de Aula
Leia maisUnidade II LÓGICA. Profa. Adriane Paulieli Colossetti
Unidade II LÓGICA Profa. Adriane Paulieli Colossetti Relações de implicação e equivalência Implicação lógica Dadas as proposições compostas p e q, diz-se que ocorre uma implicação lógica entre p e q quando
Leia maisO que é um senhorio?
Ser um bom senhorio O que é um senhorio? O senhorio é o dono de uma roriedade, a qual é arrendada ou alugada a outra essoa. A essoa que arrenda a roriedade é o inquilino. O acordo entre o senhorio e o
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisLÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
Leia mais11. Equilíbrio termodinâmico em sistemas abertos
Equilíbrio termodinâmico em sistemas abertos Em um sistema aberto definimos o equilíbrio termodinâmico quando este sistema encontra-se simultaneamente em equilíbrio térmico, equilíbrio mecânico e equilíbrio
Leia maisassim são válidas devido à sua estrutura e ao significado dos quantificadores universal e existencial
LÓGICA DE PREDICADOS Na ló predicados uma wff verdadeira significa uma wff vá lida, isto é, uma wff que seja válida em qualquer interpretação possível. AXIOMAS E REGRAS DE INFERêNCIA: wffs predicativas
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisAULA 5. Registros e Structs. Registros e Structs. Pausa para nossos comerciais. Hoje. Registros e structs
Pausa ara nossos comerciais AULA 5 Plantão de dúidas: Vinícius Horário: terças das 12h às 13h Onde: Rede Linux do IME, Bloco A, sala 127 Treinos ara Maratona de Programação: Horário: quintas das 14h às
Leia maisSolução dos exercícios do capítulo 2, pp (a) Expansão isotérmica de um gás ideal. Trabalho: pdv = NRT 1
Solução dos exercícios do caítulo 2,. 31-32 Equações de um gás ideal = NRT U = NcT U = c R Exercício 1. (a) Exansão isotérmica de um gás ideal. Trabalho: W = 2 1 d = NRT 2 1 1 d = NRT ln 2 1 omo a energia
Leia maisNoções de Testes de Hipóteses
Noções de Testes de Hióteses Outro tio de roblema da Inferência Estatística é o de testar se uma conjectura sobre determinada característica de uma ou mais oulações é, ou não, aoiada ela evidência obtida
Leia maisUniversidade Federal de Santa Catarina Centro de Ciências Físicas e Matemáticas Departamento de Matemática. Cadeias de Markov
Universidade Federal de Santa Catarina Centro de Ciências Físicas e Matemáticas Deartamento de Matemática Introdução às Variáveis Aleatórias e Cadeias de Markov Rafael Pedro Mariotto Orientador: Prof o.
Leia maisUnidade I 1. Termometria. Professor Dr. Edalmy Oliveira de Almeida
Governo do Estado do Rio Grande do Norte Secretaria de Estado da Educação e da ultura - SEE UNIVERSIDADE DO ESADO DO RIO GRANDE DO NORE - UERN Pró-Reitoria de Ensino de Graduação PROEG Home Page: htt://www.uern.br
Leia maisCap. 6. Definição e métodos de resolução do problema de valores de fronteira
Ca. 6. Definição e métodos de resolução do roblema de valores de fronteira 1. Pressuostos. Formulação clássica do roblema de elasticidade linear.1 Condições no interior. Condições de fronteira.3 ios dos
Leia maisInvertendo a exponencial
Reforço escolar M ate mática Invertendo a exonencial Dinâmica 3 2ª Série 1º Bimestre DISCIPLINA SÉRIE CAMPO CONCEITO Matemática 2ª do Ensino Médio Algébrico Simbólico Função Logarítmica Aluno Primeira
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Leia maisInteligência Artificial. Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente
Inteligência Artificial Prof. Tiago A. E. Ferreira Aula 15 Agentes que Raciocinam Logicamente 1 Bem-vindos ao Mundo do Wumpus Wumpus Agente caçador de tesouros 2 Codificação do Mundo do Wumpus 4 3 fedor
Leia maisTermodinâmica. Universidade Federal de Ouro Preto Instituto de Ciências Exatas e Biológicas Departamento de Química
Universidade Federal de Ouro Preto Instituto de iências Exatas e Biológicas Deartamento de Química ermodinâmica Aula 3 Professora: Melissa Soares aetano Discilina QUI 317 Mudanças de estado a ressão constante
Leia maisLÓGICA I. André Pontes
LÓGICA I André Pontes 1. Conceitos fundamentais O que é a Lógica? A LÓGICA ENQUANTO DISCIPLINA Estudo das leis de preservação da verdade. [Frege; O Pensamento] Estudo das formas válidas de argumentos.
Leia maisUma Prova Vetorial da Fórmula de Heron
Uma Prova Vetorial da Fórmula de Heron Fernando Neres de Oliveira 1 de janeiro de 015 Resumo Neste trabalho aresentaremos uma rova ara a famosa fórmula de Heron, usando algumas das oerações básicas da
Leia maisLimite e Continuidade
Matemática Licenciatura - Semestre 200. Curso: Cálculo Diferencial e Integral I Professor: Robson Sousa Limite e Continuidade Neste caítulo aresentaremos as idéias básicas sobre ites e continuidade de
Leia maisAGRUPAMENTO DE ESCOLAS DE RIO DE MOURO EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS
EXERCÍCIOS DE LÓGICA - INSTRUÇÕES GERAIS Caro aluno, Vai encontrar aqui um conjunto de exercícios de lógica cujo objetivo é facilitar-lhe o estudo autónomo. Estes exercícios irão estar disponíveis num
Leia maisSilogismos Categóricos e Hipotéticos
Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar
Leia maisAA-220 AERODINÂMICA NÃO ESTACIONÁRIA
AA- AERODINÂMICA NÃO ESTACIONÁRIA Introdução e conceitos básicos da teoria Prof. Roberto GIL Email: gil@ita.br Ramal: 648 1 AERODINÂMICA NÃO ESTACIONÁRIA Objetivo: Partir das equações de Navier-Stokes
Leia maisDouglas Léo PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES: SILOGISMO
Douglas Léo PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES: SILOGISMO PROPOSIÇÕES CATEGÓRICAS DE ARISTÓTELES (384 a 322 a.c) SÉCULO IV A.C do por AB qualquer uma das quatro proposições categ ro proposições categóricas
Leia maisSIMBOLOS MATEMÁTICOS. Ex: 6/2 = 3, significa que se dividirmos 6 por 2, o resultado é 3.
SIMBOLOS MATEMÁTICOS A seguir são aresentados alguns dos rinciais símbolos utilizados em Matemática. Se você conhece algum símbolo não aresentado na tabela abaixo, ode sugerir a inclusão do mesmo através
Leia mais