Material de Apoio-Tecnologia em Análise e Desenvolvimentos de Sistemas Prof Marcos do Nascimento - MATEMÁTICA DISCRETA I

Tamanho: px
Começar a partir da página:

Download "Material de Apoio-Tecnologia em Análise e Desenvolvimentos de Sistemas Prof Marcos do Nascimento - MATEMÁTICA DISCRETA I"

Transcrição

1 Material de Aoio-Tecnologia em Análise e Desenvolvimentos de Sistemas Prof Marcos do Nascimento - MATEMÁTICA DISCRETA I Cáitulo I- TEORIA DOS CONJUNTOS Introdução Oerações entre Conjuntos Álgebra de Conjuntos Conjuntos finitos, Princíio da Enumeração Classes de Conjuntos, Conjunto das Partes, Partições... 5 Caítulo II- NOÇÕES DE LÓGICA Introdução Proosições e Conectivos Tautologias e Contradições Equivalência Lógica Álgebra das Proosições Relações de Imlicação e Equivalência Quantificadores... 9 Caítulo III - Relações Produto Cartesiano Relações Relações Inversas Tios de Relações Relação de Equivalência Caítulo IV-Funções Definição Domínio e Imagem Injetividade e Sobrejetividade Função Inversa Comosição de Funções Funções Imortantes

2 Símbolos Cáitulo I- TEORIA DOS CONJUNTOS Símbolo das Oerações : ertence : existe : A intersecção B : não ertence : não existe : A união B : está contido : ara todo (ou qualquer que seja) A - B: diferença de A com B : não está contido : conjunto vazio a < b: a menor que b : contém IN: conjunto dos números naturais : a menor ou igual a b : não contém Z : conjunto dos números inteiros a > b: a maior que b / : tal que Q: conjunto dos números racionais : a maior ou igual a b : imlica que I: conjunto dos números irracionais : a e b : se, e somente se IR: conjunto dos números reais : a ou b 1.1 Introdução No estudo da Teoria de Conjuntos, trabalhamos com alguns conceitos rimitivos, que devem ser entendidos e aceitos sem definição. Conceitos Primitivos Conjunto: reresenta uma coleção de objetos. I) O conjunto de todos os brasileiros. II) O conjunto de todos os números naturais. Em geral, um conjunto é denotado or uma letra maiúscula do alfabeto: A, B, C,..., Z. Elemento: é um dos comonentes de um conjunto. a. José da Silva é um elemento do conjunto dos brasileiros. b. 1 é um elemento do conjunto dos números naturais. Em geral, um elemento de um conjunto, é denotado or uma letra minúscula do alfabeto: a, b, c,..., z. 2

3 Pertinência: é a característica associada a um elemento que faz arte de um conjunto. I) José da Silva ertence ao conjunto dos brasileiros. II) 1 ertence ao conjunto dos números naturais. Símbolo de ertinência: Se um elemento ertence a um conjunto utilizamos o símbolo que se lê: "ertence". Um símbolo matemático muito usado ara a negação é a barra / traçada sobre o símbolo normal: não ertence. Notações: muitas vezes, um conjunto é reresentado com os seus elementos dentro de duas chaves { e } através de duas formas básicas e de uma terceira forma geométrica: Aresentação: Os elementos do conjunto estão dentro de duas chaves { e }. a) A={a,e,i,o,u} b) IN={0,1,2,3,4,...} Descrição: O conjunto é descrito or uma ou mais roriedades. a) A={x / x é uma vogal} b) IN={x/ x é um número natural} Subconjuntos Dados os conjuntos A e B, diz-se que A está contido em B, denotado or A B, se todos os elementos de A também estão em B. Se A B é ossível que A=B. Quando A B, mas A B, dizemos que A é um subconjunto rório de B ou que A está roriamente contido em B e escrevemos A B. Conjunto vazio: é um conjunto que não ossui elementos. É reresentado or { } ou or Ø. O conjunto vazio está contido em todos os conjuntos. Conjunto universo: é um conjunto que contém todos os elementos do contexto no qual estamos trabalhando e também contém todos os conjuntos desse contexto. O conjunto universo é reresentado or uma letra U. Na sequência não mais usaremos o conjunto universo. Proriedades: I) Para todo conjunto A, tem-se A U III) Se A B e II) Para todo conjunto A, tem-se 1.2 Oerações entre Conjuntos União B C, então A C A A IV) A= B se e somente se A B e B A A união dos conjuntos A e B é o conjunto de todos os elementos que ertencem ao conjunto A ou ao conjunto B. Intersecção A B = { x/ x A ou x B } A interseção dos conjuntos A e B é o conjunto de todos os elementos que ertencem ao conjunto A e ao conjunto B. A B = { x/ x A e x B } Quando a interseção de dois conjuntos A e B é o conjunto vazio, dizemos que estes conjuntos são disjuntos. Comlementares 3

4 Todos os conjuntos considerados em cada situação são subconjuntos de um conjunto universo fixo, U. O C comlementar absoluto, ou simlesmente comlementar de um conjunto A, denotado or A, é o conjunto dos elementos que ertencem a U, mas não ertencem a A, isto é C A = {x/ x U, x A} O comlementar relativo de um conjunto B em relação a A, ou simlesmente a diferença entre A e B, denotado or A-B, é o conjunto dos elementos que ertencem a A, mas não ertencem a B, isto é, A-B = {x/ x A, x B} 1.3 Álgebra de Conjuntos Conjuntos munidos das oerações de união, intersecção e comlementar, satisfazem a várias leis ou identidades que serão listadas a seguir. Idemotência I) A A= A II) A A= A Associatividade I) ( A B) C= A ( B C) II) ( A B) C = A ( B C) Comutatividade I) A B= B A II) A B= B A Distributividade I) A ( B C) = ( A B) ( A C) II) A ( B C) = ( A B) ( A C) Identidade I) A = A III) A U = A II) A U = U IV) A = Involução I) ( A ) C = A Comlementares I) A A = U III) A A C = C II) U = IV) C = U Leis de DeMorgan I) C C C ( A B) = A B II) ( A B) C = A C B C 1.4 Conjuntos finitos, Princíio da Enumeração Um conjunto é dito finito se contém exatamente m elementos distintos, em que m denota algum inteiro não negativo. Caso contrário o conjunto é dito infinito. Por exemlo, o conjunto de letras do alfabeto é finito, enquanto o conjunto dos inteiros ositivos ares, {2,4,6,...} é infinito. A notação n(a) será usada ara denotar o número de elementos de um conjunto finito A Teorema : Se A e B são conjuntos finitos, então A B e A B são finitos e n(a B) = n(a) + n(b ) - n(a B) Podemos alicar esse resultado ara obter uma fórmula similar ara três conjuntos. Corolário: Se A, B e C são conjuntos finitos, então A B C também é e: n(a B C) = n(a) + n(b )+n(c) - n(a B)- n(a C) n(b C) + n(a B C) 4

5 1.5 Classes de Conjuntos, Conjunto das Partes, Partições Classes de Conjuntos Dado um conjunto S, odemos querer tratar de alguns de seus subconjuntos, isto é, estaríamos considerando um conjunto de subconjuntos. Quando isso ocorrer, vamos nos referir a uma classe de conjuntos ou coleção de conjuntos no lugar de um conjunto de conjuntos. Se considerarmos alguns dos conjuntos de uma determinada classe, usaremos os termos subclasse ou subcoleção. Exemlo: consideremos o conjunto S={3, 6, 8, 9}. Seja A a classe de subconjuntos de S que contêm exatamente três elementos de S. Assim: A = [{3,6,8}, {3,6,9}, {3,8,9}, {6,8,9}] Logo os elementos de A são os conjuntos {3,6,8}, {3,6,9}, {3,8,9}, {6,8,9}. Consideremos agora a classe B dos subconjuntos de S que contêm o número 3 e outros dois elementos de S. Assim: B = [{3,6,8}, {3,6,9}, {3,8,9}] Os elementos de B são os conjuntos {3,6,8}, {3,6,9}, {3,8,9} que são elementos também do conjunto A, logo o conjunto B é uma subclasse de A Conjunto das Partes Para um dado conjunto S, odemos falar de todos os subconjuntos de S. Essa classe é chamada de conjunto das artes de S e será denotada or Partes(S). O número de elementos de Partes(S) é dado or: Exemlo: Suonha que S ={1,2,3}. Então: Partes(S) = {, {1}, {2}, {3}, {1,2}, {1,3},{2,3}, S } Partições n(partes(s))= 2 n(s) Seja S um conjunto não vazio. Uma artição de S é uma subdivisão de S em conjuntos não vazios disjuntos. Ou seja, uma artição de S é uma coleção {A i } de subconjuntos não vazios de S tais que: (i) Cada a em S ertence a algum dos A i. (ii) Os conjuntos em {A i } são disjuntos dois a dois, ou seja, se A A então i j A A =. i j Exemlo: consideremos o conjunto S={1, 2, 3, 4, 5, 6, 7, 8, 9} e a coleção de subconjuntos de S: A = [{1,3,5}, {2,6}, {4,8,9}] B = [{1,3,5}, {2,4,6,8}, {7,9}] Note que A não é uma artição de S, já que 7 ertence a S e não está em nenhum dos subconjuntos de A. Já B é uma artição de S. Caítulo II- NOÇÕES DE LÓGICA 5

6 2.1 Introdução A lógica matemática é de fundamental imortância em qualquer estudo em comutação e informática. Muitas demonstrações em matemática e muitos algoritmos em ciências da comutação usam exressões lógicas tais como: SE ENTÃO q ou SE OU q, ENTÃO E q Dessa forma, baseando-se na lógica booleana, desenvolvida or George Boole ( ), vamos estudar definições e roriedades que ermitirão ao aluno comreender não só a lógica matemática roriamente dita, mas também a lógica usada em rogramação ara linguagens esecíficas. 2.2 Proosições e Conectivos Uma roosição é uma construção (frase, sentença) à qual se ode atribuir juízo. Em lógica matemática, o tio de juízo é o verdairo-falso. Em outras alavras, roosição é uma sentença declarativa que ode ser falsa ou verdadeira, mas não ambas. Exemlos: I) 1+4 = 6 é uma roosição com valor lógico FALSO (F). II) Brasil é um aís. é uma roosição com valor lógico VERDADEIRO (V). III) 8 > 5 é uma roosição com valor lógico VERDADEIRO (V). IV) Faça a lista de matemática. não é uma roosição É ossível construirmos roosições mais comlexas comondo roosições através de oeradores lógicos, também chamados de conectivos. Vejamos: 2 I) 5 > 3 e 2 é uma raiz da equação x 5x+ 6= 0 II) Porto Alegre é a caital do Paraná ou Santos é caital do Rio de Janeiro III) -14 não é um número natural IV) Se Belo Horizonte é a caital de Minas Gerais, então -12 < -14 V) A= B se e somente se A B e B A Note que nos exemlos acima foram usados cinco conectivos ou oeradores lógicos que estudaremos com mais detalhe a seguir, são eles: e, ou, se-então e se-somente-se. Conjunção: q Quaisquer duas roosições odem ser combinadas ela alavra e ara formar uma roosição comosta chamada de conjunção. Simbolicamente: q (Lê-se e q ) Observe que a conjunção q reflete uma noção de simultaneidade ara ser verdadeira. Dessa forma a roosição comosta q é: Verdadeira, aenas quando e q são verdadeiras; Falsa, em qualquer outro caso. Tal fato é mais bem visualizado, usando-se uma tabela-verdade que descreve os valores lógicos de uma roosição em termos das ossíveis combinações dos valores lógicos das roosições comonentes e dos conectivos usados. Dessa forma, ara cada combinação de valores-verdade e de conectivos, a tabelaverdade fornece o valor verdade da exressão resultante. No caso da conjunção q, temos a seguinte tabela-verdade: Disjunção: q q q V V V V F F F V F F F F Figura 1: Tabela-verdade conjunção 6

7 Quaisquer duas roosições odem ser combinadas ela alavra ou ara formar uma roosição comosta chamada de disjunção. Simbolicamente: q (Lê-se ou q ) Observe que a disjunção q reflete a noção de que elo menos uma (eventualmente as duas) das roosições comonentes deve ocorrer ara que a resultante seja verdadeira. Dessa forma, a roosição comosta q é: Verdadeira, quando elo menos uma das roosições é verdadeira; Falsa, somente quando simultaneamente e q são falsas. q q V V V V F V F V V F F F Figura 2: Tabela-verdade disjunção Negação: ~ Dada qualquer roosição, outra roosição, denominada negação de, ode ser formada inserindo a alavra não. Simbolicamente: ~ (Lê-se não ) No caso da negação tem-se Se é verdadeira, então ~ é falsa; Se é falsa, então ~ é verdadeira. V F ~ F V Figura 3: Tabela-verdade negação Condição: q Muitas declarações, articularmente em matemática, são da forma se então q. Tais declarações são chamadas de condicionais. Simbolicamente: q (Lê-se se então q ) Observe que a condição q reflete a noção de que, a artir de uma remissa verdadeira, obrigatoriamente deve-se chegar a uma conclusão verdadeira. Por outro lado, artindo de uma remissa falsa, qualquer conclusão ode ser considerada. Dessa forma, a roosição q é: Falsa, quando é verdadeira e q é falsa; Verdadeira, caso contrário. q q V V V V F F F V V F F V Figura 4: Tabela-verdade condição 7

8 Bicondição: q Outra declaração comum em matemática é da forma se e somente se q. Esse tio de declaração é denominada bicondicional. Simbolicamente: q (Lê-se se e somente se q ) Neste caso a declaração bicondicional reflete a condição nos dois sentidos, isto é, considera simultaneamente: Sentido de ida : é remissa e q é conclusão; Sentido de volta : q é remissa e é conclusão. Dessa forma, considerando a noção de condição já vista anteriormente e considerando que esta é nos dois sentidos, a roosição comosta q é: Verdadeira, quando e q são ambas verdadeiras ou ambas falsas; Falsa, quando as roosições e q ossuem valor-verdade distintos. q q V V V V F F F V F F F V Figura 5: Tabela-verdade bicondição 2.3 Tautologias e Contradições Algumas roosições contêm aenas o valor lógico VERDADEIRO (V) na última coluna de suas tabelas-verdade. Tais roosições são chamadas de tautologias. Analogamente se uma roosição é chamada de contradição se contiver aenas o valor lógico FALSO (F). 2.4 Equivalência Lógica Duas roosições P(,q,r...) e Q(,q,r...) são ditas logicamente equivalentes, ou simlesmente equivalentes, e indicamos or P(, q, r...) Q(, q, r...) se elas ossuírem tabelas-verdade idênticas. 2.5 Álgebra das Proosições As roosições satisfazem determinadas leis. Seguem algumas delas: I) a) b) (Idemotência) II) a) ( q) r ( q r) b) ( q) r ( q r) (Associatividade) III) a) q q 8

9 b) q q (Comutatividade) IV) a) ( q r) ( q) ( r) b) ( q r) ( q) ( r) (Distributividade) V) a) F V V b) V F F ( Identidade) VI) a) ~ ~ V F b) ~ F ~ F V (Comlementares) VII) ~~ (Involução) VIII) a) ~ ( q) ~ ~ q b) ~ ( q) ~ ~ q (Leis de DeMorgan) 2.6 Relações de Imlicação e Equivalência Os conectivos de condição e bicondição induzem as relações de imlicação e de equivalência entre fórmulas, resectivamente. A relação de imlicação está diretamente relacionada com o conceito de teorema, já a relação de equivalência ermite definir a noção de mesmo significado entre duas fórmulas (sintaticamente) diferentes. Relação de Imlicação: sejam e q duas fórmulas. Então imlica q, denotado or: q, se e somente se, q é uma tautologia. Relação de Equivalência: sejam e q duas fórmulas. Então é equivalente a q, denotado or: q, se e somente se, q é uma tautologia. 2.7 Quantificadores Proosição sobre um Conjunto: seja A um conjunto, uma roosição sobre A é uma roosição cujo valor lógico deende do elemento x A considerado. Quantificador: com freqüência, ara uma determinada roosição (x), é desejável quantificar os valores de x que devem ser considerados. Assim, os seguintes quantificadores são usados em lógica: Quantificador Universal: simbolizado or, que, quando associado a uma roosição (x), é denotado como segue: x A, (x).(lê-se ara todo x ertencente a A, (x)). Quantificador Existencial: simbolizado or, que, quando associado a uma roosição (x), é denotado como segue: x A, (x). (Lê-se Existe x ertencente a A, (x)). Seja (x) uma roosição lógica sobre um conjunto A. Então: I) (Quantificador Universal) A roosição x A, (x) é: VERDADEIRA, se o conjunto verdade for igual ao conjunto A; FALSA, caso contrário. II) (Quantificador Existencial) A roosição x A, (x) é: 9

10 VERDADEIRA, se o conjunto verdade for não vazio; FALSA, caso contrário Produto Cartesiano Caítulo III - Relações Considere dois conjuntos arbitrários A e B. O conjunto de todos os ares ordenados (a,b), onde a A e b B, é chamado de roduto cartesiano de A e B. Uma designação abreviada desse roduto é A B, que ode ser lida como A cartesiano B. Por definição: A B={(a,b): a A e b B} Exemlo: Dados A={a,b,c,d} e B={1,2,3}, o roduto cartesiano A B, terá 12 ares ordenados e será dado or: A B = {(a,1),(a,2),(a,3),(b,1),(b,2),(b,3),(c,1),(c,2),(c,3),(d,1),(d,2),(d,3)} Observações: A A=A 2 n(a B) = n(a).n(b) A B B A 3.2 Relações Definição: Sejam A e B conjuntos. Uma relação binária ou, simlesmente, relação de A ara B é um subconjunto de A B. Suonha que R é uma relação de A ara B. Então R é um conjunto de ares ordenados onde cada rimeiro elemento ertence a A e cada segundo elemento ertence a B. Assim se: (a,b) R;dizemos que a é R-relacionado a B, escrevendo arb. (a,b) R; dizemos a não é R-relacionado a b, escrevendo arb. Se R é uma de um conjunto A ara si mesmo, isto é, se R é um subconjunto de A A=A 2, então dizemos que R é uma relação em A. O domínio de uma relação R é o conjunto de todos os rimeiros elementos de um ar ordenado que ertence a R, e a imagem de R é o conjunto dos segundos elementos. Exemlo: Sejam A={1,2,3} e B={x,y,z}, e seja R ={(1,y), (1,z), (3,y)}. Então R é uma relação de A ara B, uma vez que R é um subconjunto de A B. Com reseito a esta relação tem-se: D(R)= {1,3} e Im(R)= {y,z}. 3.3 Relações Inversas 1Ry, 1Rz, 3Ry, mas 1Rx, 2Rx, 2Ry, 2Rz, 3Rx, 3Rz or: Seja R uma relação de A em B. A relação inversa de R, denotada or R -1, é definida de B em A R -1 = {(b,a): (a,b) R } 10

11 Exemlo: Sejam A={a,b,c}, B={d,e,f} e R uma relação em A B, definida or R = {(a,d),(a,e),(a,f),(b,d),(b,e),(b,f),(c,d),(c.e),(c,f)} Então: R -1 = {(d,a),(e,a),(f,a),(d,b),(e,b),(f,b),(d,c),(e,c),(f,c)} Tios de Relações Reflexiva: Uma relação R é reflexiva se todo elemento de A está relacionado consigo mesmo, ou seja, ara todo a A: (a,a) R, isto é, ara todo a A:aRa. Portanto, R não é reflexiva se existe a A e (a,a) R Exemlo: Uma relação reflexiva em A={a,b,c}, é dada or: R = {(a,a),(a,b),(b,b),(c,c), (a,c)} Simétrica: Uma relação R é simétrica se o fato que a está relacionado com b, imlicar necessariamente que b está relacionado com a, ou seja: quaisquer que sejam a A e b A tal que (a,b) R, segue que (b,a) R. Logo, R não é simétrica se existe (a,b) R, mas (b,a) R. Exemlo: Uma relação simétrica em A={a,b,c}, é: R = {(a,a),(b,b),(a,b),(b,a)} Transitiva: Uma relação R é transitiva, se a está relacionado com b e b está relacionado com c, imlicar que a deve estar relacionado com c, ou seja: quaisquer que sejam a A, b A e c A, se (a,b) R e (b,c) R então (a,c) R.. Logo R não é transitiva se existem a, b e c A tais que (a,b) R e (b,c) R mas (a,c) R. Exemlo: Uma relação transitiva em A={a,b,c}, é: R = {(a,a),(a,c),(c,b),(a,b)} Anti-simétrica: Uma relação R em um conjunto A é anti-simétrica se (a,b) e (b,a) R então, a=b. Portanto, não é anti-simétrica se existem a, b A tais que (a,b) e (b,a) R, mas a b. Exemlo: Uma relação anti-simétrica em A={a,b,c}, é: R = {(a,a),(b,b),(a,b),(a,c) } 3.5-Relação de Equivalência Uma relação R sobre um conjunto A não vazio é chamada relação de equivalência sobre A se, e somente se, R é reflexiva, simétrica e transitiva. Isto é, R é uma relação de equivalência em A se tem as seguintes roriedades: 1) Para todo a a A, ara. 2) Se arb, então bra. 3) Se arb e brc, então arc. 11

12 Exemlo: Se A={a,b,c} então a relação R em A, definida abaixo, é de equivalência: R = {(a,a),(b,b),(c,c),(a,c),(c,a) } Caítulo IV-Funções 4.1 Definição Sejam A e B conjuntos. Uma função de A em B é um maeamento de exatamente um elemento de B ara cada elemento de A. Podemos dar uma definição alternativa: uma função de A em B é um subconjunto de A B, onde cada elemento de A aarece exatamente uma única vez como rimeiro comonente do ar ordenado. Escrevemos f (a) = b se b é o único elemento de B associado ela função f ao elemento a de A. Se f é uma função de A em B, escrevemos f : A B. 4.2 Domínio e Imagem Se f é uma função de A em B dizemos que A é o domínio de f e B é o contradomínio de f. Se f (a) = b, dizemos que b é a imagem de a e a é a ré-imagem de b. O conjunto imagem, denotado or Im(f), de f é o conjunto de todas as imagens dos elementos de A. A definição comleta de uma função requer que se forneça seu domínio, seu contradomínio e associação (ou maeamento). Essa última ode ser fornecida através de: uma descrição verbal; um gráfico; uma equação; ou uma coleção de ares ordenados. Seja S A e seja f : A B. A imagem de S é o subconjunto de B que contém as imagens dos elementos de S. Denotamos a imagem de S or f (S), de forma que f (S) = {f (s)/ s S}. 4.3 Injetividade e Sobrejetividade Uma função f : A B é injetora (ou injetiva, ou um-ara-um) se nenhum elemento de B for imagem or f de dois elementos distintos de A. Ou seja, f é injetora se f ( a) = f ( a' ) imlicar a= a'. Uma função f : A B. é sobrejetora (ou sobrejetiva) se o conjunto imagem de f é igual ao seu contradomínio. Ou seja f ( A) = B. Uma função f : A B é bijetora (ou bijetiva) se for ao mesmo temo injetora e sobrejetora. 4.4 Função Inversa Seja f uma função bijetora de um conjunto S ara um conjunto B. A função inversa de f, denotada or f 1, é a função que associa a um elemento b B, um único elemento a A, de forma que se f (a) = b, então f 1 (b) = a. 4.5 Comosição de Funções Seja g uma função de A em B e seja f uma função de B em C. A comosição das funções f e g, também chamada da função comosta de f com g. denotada or f o g é definida como a seguir: (f o g)(a) = f (g(a)) 4.6 Funções Imortantes Função Floor e Ceiling 12

13 A função floor ou função chão associa ao número real x o maior inteiro que é menor ou igual a x. O valor x. A função ceiling ou função teto associa ao número real x o da função floor em x é denotado or menor inteiro que é maior ou igual a x. O valor da função ceiling em x é denotado or x. Exemlos: 3,14 = 3. 8,5 = 9 3,14 = 4 8,5 = 8 4,6 = 4 4,6 = Função Valor Inteiro e Valor Absoluto Seja x um número real qualquer. O valor inteiro de x, escrito INT(x), converte x em um inteiro deletando (truncando) a arte fracionária de um número. Exemlo: INT(4,18) = 4 INT(-9,5) = -9 INT(6,95) = 6 O valor absoluto de um número real x, denotado or ABS(x) ou x é definido como sendo o maior dos valores entre x e x. Portanto, ABS(0) =0 e, ara x 0, ABS(x) = x ou ABS(x) = -x, deendendo de x ser ositivo ou negativo. Exemlo: 12 = 12 5 = 5 4 = 4 4,45 = 4, Função Resto Seja k um inteiro qualquer e seja M um inteiro ositivo. Então: k(mod M) (lê-se k módulo M) denotará o resto inteiro de k dividido or M. Mais exatamente, k(mod M) é o único inteiro r tal que: k= M.q+r em que 0 r< M Se k é ositivo, basta dividir k or M e obter o resto r. Portanto: 25(mod 7) = 4 20 (mod 4) = 0 35 (mod 11) = 2 Se k é negativo, divida k or M ara obter o resto r. Portanto, k (mod M) = M r, quando r 0. Assim: -26 (mod 7) = 7-5 = (mod 8) = 8-3 = 5-39(mod 3) = 0 BIBLIOGRAFIA LIPSCHUTZ, S.; LIPSON, M. Matemática Discreta. 2ª ed., São Paulo: Bookman, GERSTING, Judith L, Fundamentos Matemáticos ara Ciência da Comutação, 4ª edição, São Paulo: LTC, MENEZES, Paulo B. Matemática Discreta ara Comutação e Informática. 3ª Ed. Porto Alegre, SCHEINERMAN, Edward R., Matemática Discreta-Uma Introdução. 2ª ed., Cengage Learning,

MATEMÁTICA 3 MÓDULO 1. Lógica. Professor Renato Madeira

MATEMÁ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 mais

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Uma 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 mais

1 TEORIA DOS CONJUNTOS

1 TEORIA DOS CONJUNTOS 1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,

Leia mais

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO

Leia mais

Noções de lógica matemática Conceitos Básicos

Noçõ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 mais

Funções, Seqüências, Cardinalidade

Funções, Seqüências, Cardinalidade Funções, Seqüências, Cardinalidade Prof.: Rossini Monteiro Noções Básicas Definição (Função) Sejam A e B conjuntos. Uma função de A em B é um mapeamento de exatamente um elemento de B para cada elemento

Leia mais

LÓGICA MATEMÁTICA PROPOSIÇÕES SIMPLES E Autora: Prof. Dra. Denise Candal

LÓ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 mais

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;

Leia mais

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO

Leia mais

Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos

Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos Notas de aula: Cálculo e Matemática Aplicados às Notas de aula: Ciências dos Alimentos 1 Conjuntos Um conjunto está bem caracterizado quando podemos estabelecer com certeza se um elemento pertence ou não

Leia mais

a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0.

a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0. Introdução aos conjuntos No estudo de Conjuntos, trabalhamos com alguns conceitos primitivos, que devem ser entendidos e aceitos sem definição. Para um estudo mais aprofundado sobre a Teoria dos Conjuntos,

Leia mais

Proposiçã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

Proposiçã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 mais

AXB = {(x, y) x A e y B}

AXB = {(x, y) x A e y B} CENTRO UNIVERSITÁRIO DO NORTE PAULISTA LÓGICA E MATEMÁTICA DISCRETA 2010 1 Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não

Leia mais

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76

Leia mais

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB;

Produto Cartesiano. Exemplo: Dados os conjuntos A = {5,6} e B = {2,3,4}, vamos determinar o produto cartesiano AXB; Produto Cartesiano Par ordenado: são dois elementos em uma ordem fixa, (x,y) Produto Cartesiano: Dados dois conjuntos A e B, não vazios, chamamos de produto cartesiano de A por B o conjunto indicado por

Leia mais

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há 1 Produto Cartesiano Par Ordenado A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há casos entretanto em que a ordem é importante. Daí a necessidade de se introduzir

Leia mais

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa

Leia mais

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 04 de Junho de 2010 Curso de Ciência da Computação Noções básicas Um conjunto designa-se geralmente por uma letra latina maiúscula:

Leia mais

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn

4.1 Preliminares. No exemplo acima: Dom(R 1 ) = e Im(R 1 ) = Dom(R 2 ) = e Im(R 2 ) = Dom(R 3 ) = e Im(R 3 ) = Diagrama de Venn 4 Relações 4.1 Preliminares Definição 4.1. Sejam A e B conjuntos. Uma relação binária, R, de A em B é um subconjunto de A B. (R A B) Dizemos que a A está relacionado com b B sss (a, b) R. Notação: arb.

Leia mais

SIMBOLOS MATEMÁTICOS. Ex: 6/2 = 3, significa que se dividirmos 6 por 2, o resultado é 3.

SIMBOLOS 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

Matemática Discreta Parte 11

Matemática Discreta Parte 11 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta Parte 11 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti

Leia mais

Ló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 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 mais

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008 ÁLGEBRA I Maria Lúcia Torres Villela Instituto de Matemática Universidade Federal Fluminense Junho de 2007 Revisão em Fevereiro de 2008 Sumário Introdução... 3 Parte 1 - Preliminares... 5 Seção 1 - Noções

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Matemática Discreta - 01

Matemá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 mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo

Leia mais

Prof. Jorge Cavalcanti

Prof. 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 mais

Centro de Informática UFPE

Centro de Informática UFPE ,, Estruturas,, Centro de Informática UFPE 1 ,, 1 2 3 4 2 ,, Introdução Uma matilha de cães Um cacho de uvas Uma quadrilha de ladrões Estes são exemplos de conjuntos. 3 ,, Definição Um conjunto é um coleção

Leia mais

Matemática Discreta - 07

Matemática Discreta - 07 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Teoria intuitiva de conjuntos

Teoria intuitiva de conjuntos Teoria intuitiva de conjuntos.................................... 1 Relação binária............................................ 10 Lista 3................................................. 15 Teoria intuitiva

Leia mais

Teoria Elementar dos Conjuntos

Teoria Elementar dos Conjuntos Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da

Leia mais

INTRODUÇÃO À LÓGICA MATEMÁTICA

INTRODUÇÃO À LÓGICA MATEMÁTICA INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição

Leia mais

SMA Elementos de Matemática Notas de Aulas. Ires Dias - Sandra Maria Semensato de Godoy

SMA Elementos de Matemática Notas de Aulas. Ires Dias - Sandra Maria Semensato de Godoy SMA - 341 - Elementos de Matemática Notas de Aulas Ires Dias - Sandra Maria Semensato de Godoy 2006 Capítulo 1 Noções de Lógica Lógica é a higiene usada pelos matemáticos para conservar suas idéias saudáveis

Leia mais

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. Matemática Discreta ESTiG\IPB Cap2. Relações. Funções pg 4 Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. então Produto cartesiano do conjunto A pelo conjunto B [cartesian product].

Leia mais

Atenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.

Atençã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 mais

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?

1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A? RESUMO A relação binária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática. Um par ordenado consiste de dois termos,

Leia mais

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A

Leia mais

INE Fundamentos de Matemática Discreta para a Computação

INE Fundamentos de Matemática Discreta para a Computação INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de

Leia mais

matematicaconcursos.blogspot.com

matematicaconcursos.blogspot.com Professor: Rômulo Garcia Email: machadogarcia@gmail.com Conteúdo Programático: Teoria dos Números Exercícios e alguns conceitos imortantes Números Perfeitos Um inteiro ositivo n diz-se erfeito se e somente

Leia mais

Ló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 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 mais

Aulas 10 e 11 / 18 e 20 de abril

Aulas 10 e 11 / 18 e 20 de abril 1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar

Leia mais

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA

A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA MAT1513 - Laboratório de Matemática - Diurno Professor David Pires Dias - 2017 Texto sobre Lógica (de autoria da Professora Iole de Freitas Druck) A LINGUAGEM DO DISCURSO MATEMÁTICO E SUA LÓGICA Iniciemos

Leia mais

Matemática tica Discreta Módulo Extra (2)

Matemática tica Discreta Módulo Extra (2) Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática tica Discreta Módulo Extra (2) Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br - www.univasf.edu.br/~jorge.cavalcanti

Leia mais

Função par e função ímpar

Funçã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 mais

Ou seja, A consiste nos números 1, 3, 5, 7, 9. O segundo conjunto, o qual se lê

Ou seja, A consiste nos números 1, 3, 5, 7, 9. O segundo conjunto, o qual se lê Capítulo 1 Teoria de Conjuntos 1.1 INTRODUÇÃO O conceito de conjunto aparece em toda a matemática. Este capítulo introduz a notação e a terminologia básicas da teoria de conjuntos usadas ao longo deste

Leia mais

Lógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza

Ló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 mais

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora

ÁLGEBRA. AULA 1 _ Conjuntos Professor Luciano Nóbrega. Maria Auxiliadora 1 ÁLGEBRA AULA 1 _ Conjuntos Professor Luciano Nóbrega Maria Auxiliadora 2 Pode-se dizer que a é, em grande parte, trabalho de um único matemático: Georg Cantor (1845-1918). A noção de conjunto não é suscetível

Leia mais

Teoria Ingênua dos Conjuntos (naive set theory)

Teoria Ingênua dos Conjuntos (naive set theory) Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,

Leia mais

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43 V Workshop de Álgebra UFG-CAC Só Funções Francismar Ferreira Lima Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de 2016 1 / 43 Planejamento da Apresentação 1 Produto Cartesiano 2 Relação

Leia mais

MAT105 - Fundamentos de Matemática Elementar I

MAT105 - Fundamentos de Matemática Elementar I MAT105 - Fundamentos de Matemática Elementar I Prof. Dr. Diogo Machado (diogo.machado@ufv.br) 1o semestre de 2016 Universidade Federal de Viçosa - UFV Departamento de Matemática Um dos mais importantes

Leia mais

CÁLCULO I. 1 Número Reais. Objetivos da Aula

CÁLCULO I. 1 Número Reais. Objetivos da Aula CÁLCULO I Prof. Edilson Neri Júnior Prof. André Almeida EMENTA: Conceitos introdutórios de limite, limites trigonométricos, funções contínuas, derivada e aplicações. Noções introdutórias sobre a integral

Leia mais

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1

Leia mais

Teoria da Computação

Teoria da Computação Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor

Leia mais

Tópicos de Matemática. Teoria elementar de conjuntos

Tópicos de Matemática. Teoria elementar de conjuntos Tópicos de Matemática Lic. em Ciências da Computação Teoria elementar de conjuntos Carla Mendes Dep. Matemática e Aplicações Universidade do Minho 2010/2011 Tóp. de Matemática - LCC - 2010/2011 Dep. Matemática

Leia mais

SMA0341 e SLC Elementos de Matemática Notas de Aulas

SMA0341 e SLC Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA0341 e SLC0603 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2012 Sumário

Leia mais

SMA Elementos de Matemática Notas de Aulas

SMA Elementos de Matemática Notas de Aulas Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções

Leia mais

Interbits SuperPro Web

Interbits SuperPro Web 1. (Ita 2017) Sejam A {1, 2, 3, 4, 5} e B { 1, 2, 3, 4, 5}. Se C {xy : x A e y B}, então o número de elementos de C é a) 10. b) 11. c) 12. d) 13. e) 14. 2. (Ita 2017) Sejam X e Y dois conjuntos finitos

Leia mais

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos

Semana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de

Leia mais

Slides de apoio: Fundamentos

Slides de apoio: Fundamentos Pré-Cálculo ECT2101 Slides de apoio: Fundamentos Prof. Ronaldo Carlotto Batista 23 de fevereiro de 2017 Conjuntos Um conjunto é coleção de objetos, chamados de elememtos do conjunto. Nomeraremos conjuntos

Leia mais

Interbits SuperPro Web

Interbits SuperPro Web 1. (Ita 2017) Sejam A e B dois conjuntos com 3 e 5 elementos, respectivamente. Quantas funções sobrejetivas f : B A existem? 2. (Ita 2017) Sejam A {1, 2, 3, 4, 5} e B { 1, 2, 3, 4, 5}. Se C {xy : x A e

Leia mais

Gestão Empresarial Prof. Ânderson Vieira

Gestão Empresarial Prof. Ânderson Vieira NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas

Leia mais

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores

Leia mais

Matemática discreta e Lógica Matemática

Matemá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 mais

Capítulo 0: Conjuntos, funções, relações

Capítulo 0: Conjuntos, funções, relações Capítulo 0: Conjuntos, funções, relações Notação. Usaremos Nat para representar o conjunto dos números naturais; Int para representar o conjunto dos números inteiros. Para cada n Nat, [n] representa o

Leia mais

RACIOCÍNIO LÓGICO. Curso Superior de Tecnologia. Aula 02 TEORIA DOS CONJUNTOS

RACIOCÍNIO LÓGICO. Curso Superior de Tecnologia. Aula 02 TEORIA DOS CONJUNTOS Aula 02 TEORIA DOS CONJUNTOS 1. Definição de Conjuntos 2. Como se representa um Conjunto 3. Subconjunto, Pertinência e Continência 4. Conjunto das Partes 5. Operação com Conjuntos 1. União ou Reunião (Conjunção)

Leia mais

1 FUNÇÃO - DEFINIÇÃO. Chama-se função do 1. grau toda função definida de por f(x) = ax + b com a, b e a 0.

1 FUNÇÃO - DEFINIÇÃO. Chama-se função do 1. grau toda função definida de por f(x) = ax + b com a, b e a 0. MATEMÁTICA ENSINO MÉDIO FUNÇÃO - DEFINIÇÃO FUNÇÃO - DEFINIÇÃO Chama-se função do 1. grau toda função definida de por f(x) = ax + b com a, b e a 0. EXEMPLOS: f(x) = 5x 3, onde a = 5 e b = 3 (função afim)

Leia mais

Capítulo 1. Conjuntos, Relações, Funções

Capítulo 1. Conjuntos, Relações, Funções i Sumário 1 Conjuntos, Relações, Funções 1 1.1 Axiomas e Definições.................................. 2 1.2 Operações com Conjuntos............................... 4 1.3 Relações.........................................

Leia mais

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos

Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção

Leia mais

Passos lógicos. Texto 18. Lógica Texto Limitações do Método das Tabelas Observações Passos lógicos 4

Passos 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 mais

ENFOQUE USANDO CORTES DE DEDEKIND

ENFOQUE USANDO CORTES DE DEDEKIND Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação eletrônica do KIT http://www.dma.uem.br/kit CONSTRUÇÃO DOS REAIS: UM ENFOQUE

Leia mais

Limite e Continuidade

Limite 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 mais

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.

A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A. Capítulo 1 Números Reais 1.1 Conjuntos Numéricos Um conjunto é uma coleção de elementos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos

Leia mais

Recredenciamento Portaria MEC 347, de D.O.U

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 mais

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados

Leia mais

Matemática Discreta - Departamento de Matemática - EST-IPV / III

Matemática Discreta - Departamento de Matemática - EST-IPV / III Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 III - 1 Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - III 1. Conjuntos Conjuntos, relações e funções Axioma

Leia mais

Reticulados e Álgebras de Boole

Reticulados e Álgebras de Boole Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente

Leia mais

Universidade Federal do Pampa - UNIPAMPA

Universidade Federal do Pampa - UNIPAMPA Universidade Federal do Pampa - UNIPAMPA Projeto: Fundamentos Matemáticos para Computação INTRODUÇÃO À MATEMÁTICA DISCRETA 2 Introdução Praticamente qualquer estudo relacionado a computação, teórico ou

Leia mais

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014

Bases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014 Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.

Leia mais

Aula 1 Aula 2. Ana Carolina Boero. Página:

Aula 1 Aula 2. Ana Carolina Boero.   Página: Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática

Leia mais

Notas de Aula de Fundamentos de Matemática

Notas de Aula de Fundamentos de Matemática Universidade Estadual de Montes Claros Centro de Ciências Exatas e Tecnológicas Departamento de Ciências Exatas Notas de Aula de Fundamentos de Matemática Rosivaldo Antonio Gonçalves Notas de aulas que

Leia mais

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos

Capítulo 1. Conjuntos e Relações. 1.1 Noção intuitiva de conjuntos. Notação dos conjuntos Conjuntos e Relações Capítulo Neste capítulo você deverá: Identificar e escrever os tipos de conjuntos, tais como, conjunto vazio, unitário, finito, infinito, os conjuntos numéricos, a reta numérica e

Leia mais

Relações Binárias, Aplicações e Operações

Relações Binárias, Aplicações e Operações Relações Binárias, Aplicações e Operações MAT 131-2018 II Pouya Mehdipour 6 de dezembro de 2018 Pouya Mehdipour 6 de dezembro de 2018 1 / 24 Referências ALENCAR FILHO, E. Teoria Elementar dos Conjuntos,

Leia mais

Lógica e Matemática Discreta

Lógica e Matemática Discreta Lógica e Matemática Discreta Teoria Elementar dos Conjuntos Prof Clezio 19 de Agosto de 2018 Curso de Ciência da Computação Relações Binárias Sejam A e B dois conjuntos. Definição: Chama-se relação binária

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

Módulo (ou valor absoluto) de um número real: a função modular

Mó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 mais

Campos Sales (CE),

Campos 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 mais

CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA

CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA CONJUNTO: É um conceito primitivo associado à idéia de coleção.. - INDICAÇÃO: Os conjuntos

Leia mais

MAT TEORIA DOS CONJUNTOS 1 o SEMESTRE 2014 BACHARELADO - IME

MAT TEORIA DOS CONJUNTOS 1 o SEMESTRE 2014 BACHARELADO - IME MAT 330 - TEORIA DOS CONJUNTOS 1 o SEMESTRE 2014 BACHARELADO - IME LISTA 2 1. Prove que (a, b) ( ({a, b, })) e a, b (a, b). Mais geralmente, se a A e b A, então (a, b) ( (A)). 2. Prove que (a, b), (a,

Leia mais

SIMULADO. 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.

SIMULADO. 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 mais

Matemática Discreta para Ciência da Computação

Matemática Discreta para Ciência da Computação Matemática Discreta para Ciência da Computação P. Blauth Menezes blauth@inf.ufrgs.br Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação

Leia mais

UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR

UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR UNIVERSIDADE FEDERAL DO CEARÁ PRÓ-REITORIA DE GRADUAÇÃO COORDENADORIA DE PROJETOS E ACOMPANHAMENTO CURRICULAR DIVISÃO DE DESENVOLVIMENTO CURRICULAR FORMULÁRIO PARA CRIAÇÃO E/OU REGULAMENTAÇÃO DE DISCIPLINA

Leia mais

Cálculo proposicional

Cá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 mais

Criptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens

Criptografia e Segurança das Comunicações. das Comunicações Bases Matemáticas - Relações e Ordens 9 Criptografia e Segurança das Comunicações Bases Matemáticas - Relações e Ordens Teoria Ordem: /22 Relações binárias () 9 Teoria da ordem é o ramo da matemática, dedicada a vária relações binárias, que

Leia mais

Como 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.

Como 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 mais

Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias

Faculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão

Leia mais