Fundamentos da Computação 1. Carmen Cecilia Centeno
|
|
- Edson Aveiro Pinheiro
- 5 Há anos
- Visualizações:
Transcrição
1 Fundamentos da Computação 1 Carmen Cecilia Centeno
2 Aula 05 Sobre o curso de Ciência da Computação - lembretes. Plano de Ensino. Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças Definição da Semântica. Exercício prático para desenvolvimento do raciocínio.
3 PROA Programa de Orientação ao aluno da PUC Goiás TOPComp Tutoria Orientada Para Computação Projeto Calcule Monitoria Cursos a Distância
4 Atividades Complementares Cada aluno deve cumprir, até o final do curso, 120 horas de atividades complementares. Essas horas são decorrentes da participação em: congressos; palestras; workshops; minicursos; feiras; etc. Ver regulamento no site do curso ou no mural da Escola
5 De volta à Disciplina Plano de Ensino
6 Comunicação Utilizaremos Enviar Assunto: aluno Fundamentos Todo enviado será respondido, a não obtenção de resposta significa o não recebimento do .
7 Plano de Ensino Ementa Objetivos Gerais Objetivos Específicos Conteúdo Programático Metodologia Avaliação Atividade Externa à Disciplina Bibliografia Básica Bibliografia Complementar Cronograma Disponível no SOL
8 Avaliação Nota Final 0.4 * N * N2 Nota 1 (0 10) Prova (8.0) + Participação (1.0) + AED (1.0) Nota 2 (0 10) Prova 3 (8.0) + AI (1.0) + AED (1.0)
9 AED 1 Objetivo: Relembrar os conteúdos estudados no ensino médio como números inteiros, conjuntos e funções, além de, para os casos em que se fizer necessário, propiciar ao aluno uma oportunidade de recuperar tais conteúdos, de forma a se atingir excelência no processo de aprendizagem dos alunos. Descrição: Será passada uma lista de exercícios a qual o aluno deverá entregar até dia estabelecido no cronograma. O aluno poderá sanar dúvidas sobre os exercícios durante horário do programa TOPComp ou pré agendar com a professora uma horário para a recuperação do conteúdo. Cronograma: Entrega no dia 20/03/2018. Forma de Registro: Será feito um registro de freqüência dos alunos que entregarem a lista de exercícios, contabilizando quatro presenças. A lista será corrigida podendo atingir valor máximo de 1 ponto. Critérios de Avaliação: A atividade irá integralizar a freqüência do aluno com 4 presenças e terá valor de até 1.0 na N1. Bibliografia: Utilizar a Bibliografia Básica e Complementar citada no Plano.
10 AED 2 Objetivo: Reforçar os conteúdos estudados em sala de aula, de forma que o aluno aprenda ensinando. Propiciar ao aluno uma oportunidade de recuperar conteúdos ensinados em sala de aula através da metodologia de estudo em grupos. Descrição: O aluno deverá desenvolver uma atividade interativa/jogo para aplicar em sala de aula que ensine algum conteúdo visto sobre lógica proposicional. Cronograma: No dia 13/04 será sorteada a ordem de apresentação dos grupos e a data de apresentação. Cada grupo terá 20 minutos para apresentar aos colegas a atividade desenvolvida Forma de Registro: Será feito um registro de frequência dos alunos que apresentarem a atividade, contabilizando quatro presenças. A apresentação e a atividade será avaliada segundo critérios que serão discutidos em sala de aula, podendo atingir valor máximo de 1 ponto. Critérios de Avaliação: A atividade irá integralizar a freqüência do aluno com 4 presenças e terá valor de até 1.0 na N2. Bibliografia: Utilizar a Bibliografia Básica e Complementar citada no Plano.
11 Avaliação Interdisciplinar AI Valor: 0 a 1.0 Somada na N2 de todas as disciplinas Calendário: 10 de Maio
12 Freqüência Falta Reprova Mínimo: 75% 60 presenças; 20 faltas Cada aula conta 2 presenças Cada AED conta 4 presenças
13 Bibliografia Básica Xerox Capítulos: 1,2,3
14 Lembretes Toda aula haverá chamada
15 Cronograma Datas Importantes: Prova 1 06/04/2018 Prova 2 15/06/2018 Entrega AED 1 20/03/2018 Entrega AED 2 13/04/2018 Avaliação Interdisciplinar 10/05/2018
16 Definição da Sintaxe Para construir nosso raciocínio lógico é necessário a especificação de algumas definições.
17 Definição da Sintaxe Para construir nosso raciocínio lógico é necessário a especificação de algumas definições. A Linguagem da Lógica: A lógica tem como objeto de estudo as proposições.
18 Linguagem da Lógica Proposição é uma sentença declarativa que pode ser interpretada como verdadeira ou falsa mas não ambos.
19 Quais sentenças são proposições? Qual é o seu nome?
20 Quais sentenças são proposições? Qual é o seu nome?
21 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa.
22 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção!
23 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção!
24 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção! É uma sentença imperativa.
25 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção! É uma sentença imperativa. José é uma pessoa legal.
26 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção! É uma sentença imperativa. José é uma pessoa legal.
27 Quais sentenças são proposições? Qual é o seu nome? É uma sentença interrogativa. Prestem atenção! É uma sentença imperativa. José é uma pessoa legal. É uma sentença declarativa.
28 Quais sentenças são proposições? X + 1 = 2
29 Quais sentenças são proposições? X + 1 = 2
30 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar.
31 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa.
32 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa.
33 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa. Ela não está especificado por isso não é verdadeiro nem falso.
34 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa. Ela não está especificado por isso não é verdadeiro nem falso. Dez é menor do que sete.
35 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa. Ela não está especificado por isso não é verdadeiro nem falso. Dez é menor do que sete.
36 Quais sentenças são proposições? X + 1 = 2 Não é verdadeira nem falsa, não podemos especificar. Ela é muito talentosa. Ela não está especificado por isso não é verdadeiro nem falso. Dez é menor do que sete. É uma proposição e seu valor é falso.
37 Proposição Uma proposição não pode ser uma sentença ambígua. Eu vi José com uma luneta. Eu José
38 Sintaxe A lógica se preocupa apenas com o conteúdo. Ana comeu o bolo. O bolo foi comido por Ana.
39 Sintaxe Vamos representar as proposições com variáveis proposicionais (letras): p, q, r, s,... Cada variável proposicional tem um valor verdade associado. Verdadeiro (V) ou Falso (F)
40 Sintaxe Vamos representar as proposições com variáveis proposicionais (letras): p, q, r, s,... Cada variável proposicional tem um valor verdade associado. Verdadeiro (V) ou Falso (F) Negação (~, ) Hoje é sexta feira. (p) Hoje não é sexta feira (~p)
41 Sintaxe Proposições Compostas ou Formulas Podemos formar novas proposições combinando uma ou mais proposições, utilizando para isso operadores lógicos.
42 Sintaxe Proposições Compostas ou Formulas Podemos formar novas proposições combinando uma ou mais proposições, utilizando para isso operadores lógicos. Conectivos proposicionais (usam duas proposições) Conjunção Disjunção Disjunção Exclusiva Condicional Bicondicional
43 Conjunção Representado por: Λ E lógico p e q (p Λ q) Exemplo: O sol está brilhando, mas (e) está chovendo. O sol está brilhando (p) Está chovendo (q)
44 Disjunção Representado por: v Ou lógico p ou q (p v q) Exemplo: Hoje é sexta feira ou hoje está chovendo Hoje é sexta feira (p) Hoje está chovendo (q)
45 Disjunção Exclusiva Representada por: v Ou mas não ambos. Exemplo: Mario é alagoano ou gaúcho Mario é alagoano (p) Mario é gaúcho (q) p v q
46 Condicional Representada por: Se p então q p é a hipótese, antecedente, premissa q é a conclusão, conseqüência, conseqüente.
47 Condicional Representada por: Se p então q p é a hipótese, antecedente, premissa q é a conclusão, conseqüência, conseqüente. Uma proposição condicional é também chamada de implicação. É essencial no raciocínio matemático.
48 Bicondicional Representado por: p se e somente se q Vou passar em Fundamentos 1 (p) Vou estudar e fazer os exercícios (q) p q
49 Resumo Símbolos Verdade: V, F Símbolos Proposicionais: p, q, r,... Conectivos Proposicionais: ~, v,λ,, Símbolos de Pontuação: (, )
50 Formulas bem formuladas Não são formulas: pq (p ~Λ)
51 Formulas bem formuladas Ordem de Precedência Não E OU Condicional Bicondicional
52 Traduzindo Sentenças em Português Negação Não A É falso que A Não é verdade que A
53 Traduzindo Sentenças em Português Conjunção E Mas Também Além disso
54 Traduzindo Sentenças em Português Disjunção Ou
55 Traduzindo Sentenças em Português Condicional (A B) Se A então B A implica B A logo B A só se B B segue se A A é uma condição suficiente para B Basta A para B B é uma condição necessária para A
56 Traduzindo Sentenças em Português Bicondicional A se e somente se B A é condição suficiente e necessária para B
57 Traduzindo Sentenças em Português Se há fumaça há fogo. O fogo é uma condição necessária para a fumaça A fumaça é condição suficiente para haver fogo A é uma condição suficiente para B B é uma condição necessária para A
58 Traduzindo Sentenças em Português Se há fumaça há fogo. O fogo é uma condição necessária para a fumaça Há fumaça. (p) Há fogo. (q) p q
59 Traduzindo Sentenças em Português Você pode acessar a Internet deste campus se somente se você é um expert em Ciência da Computação ou não é um novato. Achar os conectivos proposicionais
60 Traduzindo Sentenças em Português Você pode acessar a Internet deste campus se somente se você é um expert em Ciência da Computação ou não é um novato. Definir proposições.
61 Traduzindo Sentenças em Português Você pode acessar a Internet deste campus (p) se somente se você é um expert em Ciência da Computação (q) ou não é um novato (r). Você pode acessar a Internet deste campus (p) Você é um expert em Ciência da Computação (q) Você é um novato (r).
62 Traduzindo Sentenças em Português Você pode acessar a Internet deste campus (p) se somente se você é um expert em Ciência da Computação (q) ou não é um novato (r). Você pode acessar a Internet deste campus (p) Você é um expert em Ciência da Computação (q) Você é um novato (r). p (q v ~r)
63 Traduzindo Sentenças em Português Você pode pular de para quedas se você tem autorização de seus pais ou se tem mais de 18 anos.
64 Traduzindo Sentenças em Português Você pode pular de para quedas se você tem autorização de seus pais ou se tem mais de 18 anos. Você pode pular de para quedas. (p) Você tem autorização de seus pais. (q) Você tem mais de 18 anos. (r)
65 Exercícios - Rosen Página 16 e 17 Exercícios: 1,2,3,4, 7, 9, 10, 11
Fundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
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 proposicional: introdução,
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 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. Carmen Cecilia Centeno
Fundamentos da Computação 1 Carmen Cecilia Centeno Aula 04 Sobre o curso de Ciência da Computação. Plano de Ensino. O que é lógica. Exercício prático para desenvolvimento do raciocínio. Ciência da Computaçã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 mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Leia maisLógica Proposicional Sintaxe
Lógica Proposicional Sintaxe José Gustavo de Souza Paiva Lógica Proposicional Forma mais simples da lógica Fatos do mundo real representados por sentenças sem argumento proposições Proposição Sentença
Leia maisLógica Proposicional Fórmulas e Precedência de Operadores
Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução
Leia maisLógica para computação
Lógica para computação A SEMÂNTICA DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Após entender como deve ser uma fórmula da Lógica Proposicional, devemos entender como esta deve ser interpretada. Quando
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
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 maisAula 2: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.
Leia maisOperações Lógicas sobre Proposições
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Operações Lógicas sobre Proposições Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisA semântica da Lógica Proposicional(Capítulo 2)
A semântica da Lógica Proposicional(Capítulo 2) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Interpretação 2. Semântica dos conectivos 3. Exemplos 4. Questão desafio
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma A01 Engenharia da Computação e Ciência da Computação Horário: Segunda, Terça e Quinta.
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
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 maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Leia maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
Leia maisMétodos para a construção de algoritmo
Métodos para a construção de algoritmo Compreender o problema Identificar os dados de entrada e objetos desse cenário-problema Definir o processamento Identificar/definir os dados de saída Construir o
Leia maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia maisIntrodução à Lógica Proposicional Sintaxe e Semântica
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe e Semântica SINTAXE E SEMÂNTICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 LINGUAGEM SIMBÓLICA: COMPONENTES
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Segunda e Quinta:
Leia maisLógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisIntrodução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Leia maisIntrodução à Lógica Proposicional Sintaxe
Bacharelado em Ciência e Tecnologia BC&T Introdução à Lógica Proposicional Sintaxe PASSOS PARA O ESTUDO DE LÓGICA Prof a Maria das Graças Marietto graca.marietto@ufabc.edu.br 2 ESTUDO DE LÓGICA O estudo
Leia maisLinguagens Formais e Autômatos. Apresentação do Plano de Ensino
Linguagens Formais e Autômatos Apresentação do Plano de Ensino Linguagens Formais e Autômatos LFA Código - CMP4145 Turma C01 Engenharia da Computação e Ciência da Computação Horário: Terça e Sexta: 20:30
Leia mais70 Tons de. Raciocínio. Lógico
70 Tons de Raciocínio Lógico BRDE 2015 Qual operação lógica descreve a tabela verdade da função Z abaixo cujo operandos são A e B? Considere que V significa Verdadeiro, e F, Falso. A B Z F F V F V V V
Leia maisRelações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
Leia maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisProf. Tiago Semprebom, Dr. Eng. 09 de abril de 2013
Lógica Clássica e Lógica Simbólica Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 09 de abril de 2013 Prof. Tiago
Leia maisComo primeira e indispensável parte da Lógica Matemática temos o Cálculo Proporcional ou Cálculo Sentencial ou ainda Cálculo das Sentenças.
NE-6710 - SISTEMAS DIGITAIS I LÓGICA PROPOSICIONAL, TEORIA CONJUNTOS. A.0 Noções de Lógica Matemática A,0.1. Cálculo Proposicional Como primeira e indispensável parte da Lógica Matemática temos o Cálculo
Leia mais22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Leia maisLógica Proposicional Semântica e Tabelas Verdade
Lógica Proposicional Semântica e Tabelas Verdade Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 30 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 30 de março de 2015 1 / 20 1 Introdução
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisIntrodução. História. História 18/03/2012. Lógica para Ciência da Computação. O que é Lógica?
IFMG-Formiga Introdução Lógica para Ciência da Computação O que é Lógica? É a formalização de linguagem e raciocínio, além de meios para expressar (dar significado) a essas formalizações. Profª. Danielle
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 maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
Leia maisIntrodução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Leia maisÁlgebra das Proposições. Prof. Guilherme Tomaschewski Netto
Álgebra das Proposições Prof. Guilherme Tomaschewski Netto guilherme.netto@gmail.com Roteiro! Lógica Matemática clássica! Proposições! alores lógicos! Conectivos! Fórmulas Lógicas! Exemplos de aplicações
Leia maisNome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar. Noções de Lógica
Nome: Data: Semestre: Curso: TADS Disciplina: Matemática Aplicada à Computação Professor: Shalimar Villar Noções de Lógica Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa
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 maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisRaciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01
Raciocínio lógico matemático: proposições, conectivos, equivalência e implicação lógica, argumentos válidos. PART 01 PROPOSIÇÕES Denomina-se proposição a toda frase declarativa, expressa em palavras ou
Leia maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
Leia maisRaciocínio Lógico. Conectivo se e somente se (Bicondicional) Professor Edgar Abreu.
Raciocínio Lógico Conectivo se e somente se (Bicondicional) Professor Edgar Abreu www.acasadoconcurseiro.com.br Raciocínio Lógico BICONDICIONAL... SE SOMENTE SE... Recebe o nome de bicondicional toda
Leia maisLÓGICA COMPUTACIONAL. Prof. André Aparecido da Silva Disponível em:
LÓGICA COMPUTACIONAL Prof. André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica 1 CODIFICAÇÃO DA CONJECURA DE COLLATZ QUE FALEI NA AULA PASSADA. 2 3 4 A lógica é usada para guiar
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 maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisIniciação a Lógica Matemática
Iniciação a Lógica Matemática Faculdade Pitágoras Prof. Edwar Saliba Júnior Julho de 2012 1 O Nascimento da Lógica É lógico que eu vou!, Lógico que ela disse isso! são expressões que indicam alguma coisa
Leia maisC o n h e c i m e n t o n o l o c a l e x a t o!
C o n h e c i m e n t o n o l o c a l e x a t o! Passo a passo para você montar qualquer tabela verdade Oi, meu nome é SAMUEL VALENTIM, sou mestre em Física, na área de Cosmologia e gravitação e meus estudos
Leia maisLógica Computacional
Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos
Leia maisRACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL
RACIOCÍNIO LÓGICO LÓGICA PROPOSICIONAL Atualizado em 12/11/2015 LÓGICA PROPOSICIONAL Lógica é a ciência que estuda as leis do pensamento e a arte de aplicá-las corretamente na investigação e demonstração
Leia maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Raciocínio Lógico Equivalência de Proposições Compostas Duas proposições são consideradas EQUIVALENTES entre si, quando elas transmitem a mesma ideia. De forma prática, dizemos
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Conteúdo Programático Unidade I Linguagens Formais Linguagens Formais Sigma Álgebras Relação entre Linguagens Formais e Sigma Álgebras Sigma Domínios
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisNão sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira
Leia maisOFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
Leia maisRaciocínio Lógico. Matemático. Lógica Proposicional
Raciocínio Lógico Matemático Lógica Proposicional Proposições Lógicas Denomina-se proposição toda frase declarativa, expressa em palavras ou símbolos, que exprima um juízo ao qual se possa atribuir, dentro
Leia maisMatemática Régis Cortes. Lógica matemática
Lógica matemática 1 INTRODUÇÃO Neste roteiro, o principal objetivo será a investigação da validade de ARGUMENTOS: conjunto de enunciados dos quais um é a CONCLUSÃO e os demais PREMISSAS. Os argumentos
Leia maisLógica em Computação. .: Calculo Proposicional :. Prof. Luís Rodrigo
.: Calculo Proposicional :. Prof. Luís Rodrigo {} [/] Proposição e Conectivos Proposição Simples Uma proposição simples (ou enunciado, ou sentença), é uma declaração que exprime um pensamento com sentido
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisAnotações LÓGICA PROPOSICIONAL DEFEITOS DO RACIOCÍNIO HUMANO PROPOSIÇÕES RICARDO ALEXANDRE - CURSOS ON-LINE RACIOCÍNIO LÓGICO AULA 01 DEFINIÇÃO
RACIOCÍNIO LÓGICO AULA 01 LÓGICA PROPOSICIONAL DEFINIÇÃO A Lógica estuda o pensamento como ele deveria ser, sem a influência de erros ou falácias. As falácias em torno do raciocínio humano se devem a atalhos
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 maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisAula 3 Lógica Matemática
UNIP Ciência da Computação Prof. Gerson Pastre de Oliveira 1 Aula 3 Lógica Matemática Construção de tabelas-verdade 1) Proposições compostas e tabelas-verdade Várias proposições simples podem ser combinadas
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Leia maisMatemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Leia maisTABELA VERDADE. por: André Aparecido da Silva. Disponível em:
TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos
Leia maisCAPÍTULO I. Lógica Proposicional
Lógica Proposicional CAPÍTULO I Lógica Proposicional Sumário: 1. Lógica proposicional 2. Proposição 2.1. Negação da proposição 2.2. Dupla negação 2.3. Proposição simples e composta 3. Princípios 4. Classificação
Leia maisDedução Natural LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
Dedução Natural LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Lista Um dos objetivos principais da lógica é o estudo de estruturas
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisPrograma. Raciocínio Lógico Matemático. Livros. Provas
Programa Raciocínio Lógico Matemático Prof. RANILDO Introdução à lógica. Lógica proposicional Argumento Tabela-verdade Tautologias, Contradições e Contingências Operações lógicas Livros Introdução à Lógica
Leia mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
Leia maisn. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
Leia maisRECEITA FEDERAL ANALISTA
SENTENÇAS OU PROPOSIÇÕES São os elementos que expressam uma idéia, mesmo que absurda. Estudaremos apenas as proposições declarativas, que podem ser classificadas ou só como verdadeiras (V), ou só como
Leia maisRepresentação de Conhecimento
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisPLANO DE CURSO 1. DADOS DE IDENTIFICAÇÃO:
PLANO DE CURSO 1. DADOS DE IDENTIFICAÇÃO: Curso: Bacharelado em Sistemas de Informação Disciplina: Lógica Matemática Professor: Msc. Jacson Gomes de Oliveira / Esp. Osman Ramalho Dantas e-mail: jacson@fasete.edu.br
Leia maisAULA 1 Frases, proposições e sentenças 3. AULA 2 Conectivos lógicos e tabelas-verdade 5. AULA 3 Negação de proposições 8
Índice AULA 1 Frases, proposições e sentenças 3 AULA 2 Conectivos lógicos e tabelas-verdade 5 AULA 3 Negação de proposições 8 AULA 4 Tautologia, contradição, contingência e equivalência 11 AULA 5 Argumentação
Leia maisProf. João Giardulli. Unidade I LÓGICA
Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisAtenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
Leia maisLógica das Proposições
Lógica das Proposições Transcrição - Podcast 1 Professor Carlos Mainardes Olá eu sou Carlos Mainardes do blog Matemática em Concursos, e esse material que estou disponibilizando trata de um assunto muito
Leia mais