Fundamentos da Computação 1. Carmen Cecilia Centeno

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