Aviso. Este material é apenas um resumo de parte do conteúdo da disciplina.

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

Download "Aviso. Este material é apenas um resumo de parte do conteúdo da disciplina."

Transcrição

1 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 1 - Seções 1.4 e 1.5 do livro texto da disciplina: Números e Funções Reais, E. L. Lima, Coleção PROFMAT. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 1/14

2 Números e Funções Reais Conjuntos: reunião e interseção Carlos Humberto Soares Júnior PROFMAT - SBM

3 Reunião Definição Dados conjuntos A e B, definimos a reunião A B como sendo o conjunto formado pelos elemento de A juntamente com os elementos de B. De forma concisa, A B = {x / x A ou x B}. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 3/14

4 Interseção Definição Dados conjuntos A e B, definimos a interseção A B como sendo o conjunto formado pelos elemento que são simultaneamente de A e de B. Concisamente, temos A B = {x / x A e x B}. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 4/14

5 Conectivos OU e E Observe que as operações A B e A B representam o equivalente matemático dos conectivos lógicos ou e e. Assim, se A é formado pelos elementos que satisfazem a propriedade P e B pelos elementos que satisfazem a propriedade Q, os conjuntos A B e A B estão definidos, respectivamente, pelas propriedades P ou Q e P e Q. Exemplo: Consederemos as propriedades abaixo: (P) x satisfaz a igualdade x 2 + x 6 = 0; (Q) x satisfaz a igualdade x 3 7x x = 0. O conjunto dos números que satifazem a propriedade P é A = { 3, 2} e o conjunto dos números que satisfazem a propriedade Q é B = {0, 2, 5}. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 5/14

6 Conectivos OU e E Assim, a afirmação (P ou Q) x 2 + x 6 = 0 ou x 3 7x x = 0 é equivalente a e a afirmação x A B = { 3, 0, 2, 5} (P e Q) x 2 + x 6 = 0 e x 3 7x x = 0 equivale a x A B = {2}, isto é, x = 2. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 6/14

7 Conectivo OU O conectivo OU tem, em matemática, um significado diferente daquele que lhe é atribuído na linguagem do dia-a-dia. Na linguagem comum OU normalmente é usado em afirmações incompatíveis, por exemplo, na frase Você nasceu no Brasil ou nos Estados Unidos? Em matemática a afirmação P ou Q significa que pelo menos uma das alternativas P ou Q é verdadeira, podendo ser ambas. Por exemplo, é correta a afirmação o triângulo possui um ângulo agudo ou um ângulo obtuso. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 7/14

8 Regras operacionais Todas as regras operacionais a seguir podem ser verificadas considerandose todos os casos possíveis. Essas regras regem o uso combinado do conectivo OU e E. Comutatividade: Associatividade: A B = B A e A B = B A; (A B) C = A (B C) e (A B) C = A (B C); PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 8/14

9 Regras operacionais Distributividade: A (B C) = (A B) (A C) e A (B C) = (A B) (A C) Conexão entre as operações, e a relação : A B = B A B A B = A; além disso A B A C B C e A C B C para todo C. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 9/14

10 Regras operacionais Relações de De Morgan: Sejam A e B subconjuntos do universo U. Então, (A B) c = A c B c e (A B) c = A c B c. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 10/14

11 Exercício Exercício Sejam A, B e C subconjuntos do conjunto universo U. Definimos a diferença de conjuntos por A B = {x U / x A e x B}. Mostre que A B = A C se, e somente se, A B = A C. Solução: Inicialmente mostremos que A B B c A c. De fato, suponhamos que A B. Então, x B c x B x A x A c. Portanto B c A c. O restante da demonstração segue por simetria, tendo em vista que (A c ) c = A, A. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 11/14

12 Exercício Demonstremos a recíproca. Inicialmente observe que A B = A B c. Portanto, se A B = A C, então, A B = A B c A (A B) c = A (A C) c = = A (A c C c ) = (A A c ) (A C c ) = = A C c = A C c = A C. Por simetria, temos que A C A B e portanto A B = A C. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 12/14

13 Exercício Suponhamos agora que A B = A C, então, x A B x A e x B x A e x A B x A e x A C x A e x C x A C. Logo, A B = A C. PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 13/14

14 . Obrigado PROFMAT - SBM Números e Funções Reais, Conjuntos: reunião e interseção slide 14/14

Este material é apenas um resumo de parte do conteúdo da disciplina.

Este material é apenas um resumo de parte do conteúdo da disciplina. Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 11 - Seção 1.3 do livro texto da disciplina: Aritmética, A. Hefez,

Leia mais

MA14 - Aritmética Unidade 22 Resumo. Aritmética das Classes Residuais

MA14 - Aritmética Unidade 22 Resumo. Aritmética das Classes Residuais MA14 - Aritmética Unidade 22 Resumo Aritmética das Classes Residuais Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Números e Funções Reais, E. L. Lima, Coleção PROFMAT.

Números e Funções Reais, E. L. Lima, Coleção PROFMAT. Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 8 - Seção 8.2 do livro texto da disciplina: Números e Funções Reais,

Leia mais

Aritmética. Somas de Quadrados

Aritmética. Somas de Quadrados Aritmética Somas de Quadrados Carlos Humberto Soares Júnior PROFMAT - SBM Objetivo Determinar quais números naturais são soma de dois quadrados. PROFMAT - SBM Aritmética, Somas de Quadrados slide 2/14

Leia mais

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do

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 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor

Leia mais

n. 25 DIAGRAMAS DE VENN

n. 25 DIAGRAMAS DE VENN n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu

Leia mais

Bases Matemáticas. Definição ingênua de conjunto. Aula 3 Conjuntos. Rodrigo Hausen

Bases Matemáticas. Definição ingênua de conjunto. Aula 3 Conjuntos. Rodrigo Hausen 1 ases Matemáticas ula 3 Conjuntos Rodrigo Hausen v. 2012-9-26 1/14 Definição ingênua de conjunto 2 Um conjunto é uma qualquer coleção de objetos, concretos ou abstratos, sem repetição. Dado um conjunto,

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

Leia mais

MA14 - Aritmética Unidade 5 Resumo. Máximo Divisor Comum

MA14 - Aritmética Unidade 5 Resumo. Máximo Divisor Comum MA14 - Aritmética Unidade 5 Resumo Máximo Divisor Comum Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

MA14 - Aritmética Unidade 6 - Parte 3 Resumo

MA14 - Aritmética Unidade 6 - Parte 3 Resumo MA14 - Aritmética Unidade 6 - Parte 3 Resumo A Equação Pitagórica Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

Gabarito da lista de Exercícios sobre Conjuntos

Gabarito da lista de Exercícios sobre Conjuntos Universidade Federal Fluminense Curso: Sistemas de Informação Disciplina: Fundamentos Matemáticos para Computação Professora: Raquel Bravo Gabarito da lista de Exercícios sobre Conjuntos 1. Determine quais

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

Números Naturais: Continuação

Números Naturais: Continuação Números Naturais: Continuação AULA 2 META: Apresentar as propriedades de Multiplicação e o Princípio da Boa Ordem. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Entender o processo de multiplicação

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

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

Este material é apenas um resumo de parte do conteúdo da disciplina.

Este material é apenas um resumo de parte do conteúdo da disciplina. Aviso Este material é apenas um resumo de parte do conteúdo da disciplina. O material completo a ser estudado encontra-se no Capítulo 10 - Seções 10.1 e 10.2 do livro texto da disciplina: Aritmética, A.

Leia mais

Bases Matemáticas. Aula 4 Conjuntos Numéricos. Rodrigo Hausen. v /9

Bases Matemáticas. Aula 4 Conjuntos Numéricos. Rodrigo Hausen. v /9 Bases Matemáticas Aula 4 Conjuntos Numéricos Rodrigo Hausen v. 2016-6-10 1/9 Números Naturais, Inteiros e Racionais naturais: inteiros: racionais: N = {0, 1, 2,...} Z = {... 2, 1, 0, 1, 2,...} { } p Q

Leia mais

INF 1771 Inteligência Artificial

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

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017 Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................

Leia mais

Instituto de Matemática e Estatística, UFF Março de 2011

Instituto de Matemática e Estatística, UFF Março de 2011 Instituto de Matemática e Estatística, UFF Março de 2011 Sumário.... Venn Matemático inglês. Levou os diagramas a sério. John Venn (1834 1923) Dados: Letras maiúsculas: A, B, C,..., A 1, B 1, C 1,...,

Leia mais

Fundamentos de Matemática

Fundamentos de Matemática Fundamentos de Matemática Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Aula 1 7 de janeiro de 2013 Aula 1 Fundamentos de Matemática 1 Apresentação Aula 1

Leia mais

Axiomas de corpo ordenado

Axiomas de corpo ordenado Axiomas de corpo ordenado 2 a lista de exercícios Análise real A abordagem axiomática dos números reais previne erros que a intuição pode ocasionar e torna mais rigoroso o processo de demonstração matemática,

Leia mais

MA14 - Aritmética Unidade 9 Resumo. Teorema Fundamental Da Aritmética

MA14 - Aritmética Unidade 9 Resumo. Teorema Fundamental Da Aritmética MA14 - Aritmética Unidade 9 Resumo Teorema Fundamental Da Aritmética Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

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

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

Fabio Augusto Camargo

Fabio Augusto Camargo Universidade Federal de São Carlos Centro de Ciências Exatas e de Tecnologia Departamento de Matemática Introdução à Topologia Autor: Fabio Augusto Camargo Orientador: Prof. Dr. Márcio de Jesus Soares

Leia mais

Instituto de Matemática e Estatística, UFF Setembro de 2013

Instituto de Matemática e Estatística, UFF Setembro de 2013 Operações Instituto de Matemática e Estatística, UFF Setembro de 2013 ... Sumário.. Boole Um dos pioneiros da lógica matemática e dos estudos da lógica algébrica. Em sua homenagem foi cunhado o termo Álgebra

Leia mais

MA14 - Aritmética Unidade 15 - Parte 2 Resumo

MA14 - Aritmética Unidade 15 - Parte 2 Resumo MA14 - Aritmética Unidade 15 - Parte 2 Resumo Aplicações de Congruências Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante

Leia mais

Material Teórico - Módulo: Vetores em R 2 e R 3. Operações Envolvendo Vetores. Terceiro Ano - Médio

Material Teórico - Módulo: Vetores em R 2 e R 3. Operações Envolvendo Vetores. Terceiro Ano - Médio Material Teórico - Módulo: Vetores em R 2 e R 3 Operações Envolvendo Vetores Terceiro Ano - Médio Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto 1 Adição de vetores Na aula anterior

Leia mais

MA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana

MA14 - Aritmética Unidade 2 Resumo. Divisão Euclidiana MA14 - Aritmética Unidade 2 Resumo Divisão Euclidiana Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte da disciplina e o seu estudo não garante o domínio do assunto. O material

Leia mais

Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras.

Neste artigo, a título de sugestão de abordagem do tema, apresentamos exemplos de explicitação e utilização de algumas dessas regras. Somo Gilda de La Roque Palis e Iaci Malta PUC - RJ Em sua autobiografia, Carl Gustav Jung 1, um dos grandes pensadores da Psicanálise, lembrando de seus tempos de colégio, diz:... o que mais me irritava

Leia mais

MA14 - Aritmética Unidade 8 Resumo. Equações Diofantinas Lineares

MA14 - Aritmética Unidade 8 Resumo. Equações Diofantinas Lineares MA14 - Aritmética Unidade 8 Resumo Equações Diofantinas Lineares Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante

Leia mais

TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS

TEORIA DOS CONJUNTOS. Turma: A - Licenciatura em Matemática 1 Semestre de Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS TEORIA DOS CONJUNTOS Turma: 0004105A - Licenciatura em Matemática 1 Semestre de 2014 Prof. Dr. Agnaldo José Ferrari OS NÚMEROS NATURAIS Em 1908 Ernst Zermelo (Alemanha / 1871 1953) propôs usar a sequência,

Leia mais

INF 1771 Inteligência Artificial

INF 1771 Inteligência Artificial INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:

Leia mais

MA14 - Aritmética Unidade 15 - Parte 1 Resumo. Congruências

MA14 - Aritmética Unidade 15 - Parte 1 Resumo. Congruências MA14 - Aritmética Unidade 15 - Parte 1 Resumo Congruências Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do assunto.

Leia mais

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos

LISTA DE EXERCÍCIOS. Implicações e Teoria dos Conjuntos, Conectivos Lógicos LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 03 Implicações e Teoria dos Conjuntos, Conectivos Lógicos [01] Considere os seguintes predicados (x

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

3 o Curso Preparatório PROFMAT

3 o Curso Preparatório PROFMAT 3 o Curso Preparatório PROFMAT Natália Rocha Pinheiro 14 de agosto de 2013 Natália Rocha Pinheiro () 3 o Curso Preparatório PROFMAT 14 de agosto de 2013 1 / 13 Edital DO EXAME. 4.1. O Exame consistirá

Leia mais

1 Espaços Vectoriais

1 Espaços Vectoriais Nova School of Business and Economics Apontamentos Álgebra Linear 1 Definição Espaço Vectorial Conjunto de elementos que verifica as seguintes propriedades: Existência de elementos: Contém pelo menos um

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

X Encontro da Olimpíada Regional de Matemática

X Encontro da Olimpíada Regional de Matemática completa X Encontro da Olimpíada Regional de Matemática Florianópolis, 28 de Março de 2015. completa Demonstrando igualdades Seja n um número natural qualquer maior do que 1. Qual será o valor da soma

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

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

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

Os números inteiros. Capítulo 2

Os números inteiros. Capítulo 2 6 Capítulo 2 Os números inteiros Intuitivamente, o conjunto Z dos números inteiros é composto pelos números naturais e pelos "negativos". Como justificamos de uma forma simples qual a origem dos números

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

MA14 - Aritmética Unidade 2 - Parte 2

MA14 - Aritmética Unidade 2 - Parte 2 MA14 - Aritmética Unidade 2 - Parte 2 Aplicação da Indução (Aplicações Lúdicas) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante

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

Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12

Algoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações

Leia mais

Capítulo 2. Ortogonalidade e Processo de Gram-Schmidt. Curso: Licenciatura em Matemática

Capítulo 2. Ortogonalidade e Processo de Gram-Schmidt. Curso: Licenciatura em Matemática Capítulo 2 Ortogonalidade e Processo de Gram-Schmidt Curso: Licenciatura em Matemática Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves de Melo Disciplina: Álgebra Linear II Unidade II Aula

Leia mais

Notas de Aula Álgebra Linear. Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte

Notas de Aula Álgebra Linear. Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte Notas de Aula Álgebra Linear Elton José Figueiredo de Carvalho Escola de Ciências e Tecnologia Universidade Federal do Rio Grande do Norte Versão 201608221232c de 22 de agosto de 2016 Parte I Espaços vetoriais

Leia mais

Expressões e enunciados

Expressões e enunciados Lógica para Ciência da Computação I Lógica Matemática Texto 2 Expressões e enunciados Sumário 1 Expressões e enunciados 2 1.1 Observações................................ 2 1.2 Exercício resolvido............................

Leia mais

Lista de Exercícios 5: Soluções Teoria dos Conjuntos

Lista de Exercícios 5: Soluções Teoria dos Conjuntos UFMG/ICEx/DCC DCC Matemática Discreta Lista de Exercícios 5: Soluções Teoria dos Conjuntos Ciências Exatas & Engenharias 2 o Semestre de 206. Escreva uma negação para a seguinte afirmação: conjuntos A,

Leia mais

Aula 4: Consequência Lógica e Equivalência Lógica

Aula 4: Consequência Lógica e Equivalência Lógica Lógica para Computação Segundo Semestre, 2014 Aula 4: Consequência Lógica e Equivalência Lógica DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 4.1. Em lógica proposicional dizemos que uma fórmula B

Leia mais

Cálculo Diferencial e Integral Química Notas de Aula

Cálculo Diferencial e Integral Química Notas de Aula Cálculo Diferencial e Integral Química Notas de Aula João Roberto Gerônimo 1 1 Professor Associado do Departamento de Matemática da UEM. E-mail: jrgeronimo@uem.br. ÍNDICE 1. INTRODUÇÃO Esta notas de aula

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

Índice. Base de uma subcoleção sup fechada, 110 Bissetor condicional de ordem n, 207 Borda externa, 174 interna, 174 Borda 4 de um subconjunto, 145

Índice. Base de uma subcoleção sup fechada, 110 Bissetor condicional de ordem n, 207 Borda externa, 174 interna, 174 Borda 4 de um subconjunto, 145 Índice A Aberto morfológico segundo uma morfologia, 131 relativo a uma abertura, 108 topológico segundo uma topologia, 132 Abertura, 100 128 convexa, 183 curva, 184 genérica, 184 morfológica, 110 i.t.,

Leia mais

Lógica Proposicional e Álgebra de Boole

Lógica Proposicional e Álgebra de Boole Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser

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

37ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase

37ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase 37ª Olimpíada Brasileira de Matemática GABARITO Segunda Fase Soluções Nível 3 Segunda Fase Parte A CRITÉRIO DE CORREÇÃO: PARTE A Na parte A serão atribuídos 5 pontos para cada resposta correta e a pontuação

Leia mais

MAT Poli Roteiro de Estudos sobre as Cônicas

MAT Poli Roteiro de Estudos sobre as Cônicas MAT25 - Poli - 2003 Roteiro de Estudos sobre as Cônicas Martha Salerno Monteiro Departamento de Matemática IME-USP Uma equação quadrática em duas variáveis é uma equação da forma a + by 2 + cxy + dx +

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

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

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1 Aplicações da teoria de conjuntos álgebra booleana Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1 CONJUNTOS Conjuntos são fundamentais para formalização de qualquer teoria.

Leia mais

1. CONJUNTOS NUMÉRICOS

1. CONJUNTOS NUMÉRICOS . CONJUNTOS NUMÉRICOS.. INTRODUÇÃO Uma exposição sistemática dos conjuntos numéricos, utilizados na Matemática, pode ser feita a partir dos números usados para contar, chamados de números naturais. Estes

Leia mais

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira. Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro

Leia mais

PLANO DE ENSINO E APRENDIZAGEM

PLANO DE ENSINO E APRENDIZAGEM SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DO PARÁ INSTITUTO DE CIÊNCIAS EXATAS E NATURAIS CURSO DE LICENCIATURA PLENA EM MATEMÁTICA PARFOR PLANO DE ENSINO E APRENDIZAGEM I IDENTIFICAÇÃO: PROFESSOR (A)

Leia mais

SOLUCÃO DAS ATIVIDADES COM POLÍGONOS

SOLUCÃO DAS ATIVIDADES COM POLÍGONOS SOLUCÃO DAS ATIVIDADES COM POLÍGONOS 1. Classificação das vinte figuras de Polígonos segundo o número dos seus lados. Representação em tabela. Número lados de Polígono Representação gráfica Três lados

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

Ordem dos Inteiros AULA. 4.1 Introdução. 4.2 Ordem Ordem dos Inteiros

Ordem dos Inteiros AULA. 4.1 Introdução. 4.2 Ordem Ordem dos Inteiros META: Apresentar ordem nos números inteiros e os Princípio de indução e do Menor elemento. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Usar o processo de indução finita dos Inteiros. Justificar

Leia mais

n. 26 PRODUTO CARTESIANO

n. 26 PRODUTO CARTESIANO n. 26 PRODUTO CARTESIANO Os nomes Plano Cartesiano e Produto Cartesiano são homenagens ao seu criador René Descartes (1596 1650), filósofo e matemático francês. O nome de Descartes em Latim era Renatus

Leia mais

ATIVIDADES COM POLÍGONOS

ATIVIDADES COM POLÍGONOS ATIVIDADES COM POLÍGONOS Observação. Para o desenvolvimento das seguintes Atividades, levando em conta que Polígonos é uma coleção de peças com um número elevado de elementos, utilizamos as subcoleções

Leia mais

Lógica Elementar, Conjuntos e Relações

Lógica Elementar, Conjuntos e Relações Lógica Elementar Conjuntos e Relações Lógica Elementar O estudo da lógica é o estudo dos princípios e métodos usados para distinguir argumentos válidos dos não válidos. Proposição Declaração que é verdadeira

Leia mais

10 BIBLIOGRAFIA. Acesso em 16 janeiro 2014.

10 BIBLIOGRAFIA. Acesso em 16 janeiro 2014. 10 BIBLIOGRAFIA [1] BRASIL. Ministério da Educação. Secretaria de Educação Fundamental. Parâmetros Curriculares Nacionais: Matemática. Brasília: MEC, 1997. [2] CARVALHO J. P. de. Os três problemas clássicos

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

Lógica Computacional

Lógica Computacional Aula Teórica 4: Semântica 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 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

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

Soluções da Lista de Exercícios Unidade 4

Soluções da Lista de Exercícios Unidade 4 Soluções da Lista de Exercícios Unidade 4. a) Como 4! 4 e 4 6, de fato temos n! > n para n 4. Suponhamos que a desigualdade valha para algum n 4, ou seja n! > n. Multiplicando os dois lados da desigualdade

Leia mais

MA14 - Aritmética Unidade 4. Representação dos Números Inteiros (Sistemas de Numeração)

MA14 - Aritmética Unidade 4. Representação dos Números Inteiros (Sistemas de Numeração) MA14 - Aritmética Unidade 4 Representação dos Números Inteiros (Sistemas de Numeração) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo

Leia mais

1. Quantos são os planos determinados por 4 pontos não coplanares?justifique.

1. Quantos são os planos determinados por 4 pontos não coplanares?justifique. Universidade Federal de Uberlândia Faculdade de Matemática Disciplina: Geometria euclidiana espacial (GMA010) Assunto: Paralelisno e Perpendicularismo; Distância e Ângulos no Espaço. Prof. Sato 1 a Lista

Leia mais

Curso de Administração Universidade Católica de Petrópolis. Matemática 1. Funções - Parte II v. 0.1

Curso de Administração Universidade Católica de Petrópolis. Matemática 1. Funções - Parte II v. 0.1 Curso de Administração Universidade Católica de Petrópolis Matemática 1 Funções - Parte II v. 0.1 Luís Rodrigo de O. Gonçalves luisrodrigoog@gmail.com Petrópolis, 22 de Agosto de 2016 Content 1 Função

Leia mais

Noções de Teoria dos Conjuntos

Noções de Teoria dos Conjuntos Capítulo 2 Noções de Teoria dos Conjuntos 2.1 A noção de conjunto Como se disse, sempre que se usa uma variável supõe-se que ela pode ser substituída por certos valores. A noção de variável é, pois, inseparável

Leia mais

Sistemas especialistas Fuzzy

Sistemas especialistas Fuzzy Sistemas Fuzzy Sistemas especialistas Fuzzy Especialistas Senso comum para resolver problemas Impreciso, inconsistente, incompleto, vago Embora o transformador esteja um pouco carregado, pode-se usá-lo

Leia mais

LÓGICA EM COMPUTAÇÃO

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

Afirmações Matemáticas

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

NÚMEROS REAIS RELATIVOS

NÚMEROS REAIS RELATIVOS NÚMEROS REAIS RELATIVOS Os números negativos apareceram, primeiramente, na China antiga, na tentativa de formular um algoritmo para resolução de equações de segundo grau. O matemático grego Diofanto operava

Leia mais

Álgebra Linear Semana 05

Álgebra Linear Semana 05 Álgebra Linear Semana 5 Diego Marcon 4 de Abril de 7 Conteúdo Interpretações de sistemas lineares e de matrizes invertíveis Caracterizações de matrizes invertíveis 4 Espaços vetoriais 5 Subespaços vetoriais

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

Retas e círculos, posições relativas e distância de um ponto a uma reta

Retas e círculos, posições relativas e distância de um ponto a uma reta Capítulo 3 Retas e círculos, posições relativas e distância de um ponto a uma reta Nesta aula vamos caracterizar de forma algébrica a posição relativa de duas retas no plano e de uma reta e de um círculo

Leia mais

MATEMÁTICA TIPO B GABARITO: VVVVF

MATEMÁTICA TIPO B GABARITO: VVVVF 1 MATEMÁTICA TIPO B 01. Na ilustração abaixo, temos um paralelepípedo retângulo, e estão indicados três de seus vértices A, B e C. A diagonal AB mede cm e forma com a horizontal um ângulo de 45 o. A diagonal

Leia mais

ANÁLISE MATEMÁTICA I. Curso: EB

ANÁLISE MATEMÁTICA I. Curso: EB ANÁLISE MATEMÁTICA I (com Laboratórios) Curso: EB Lógica - Resumo Ana Matos DMAT Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a qualquer sequência de símbolos.

Leia mais

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos Conjuntos AULA 1 Aula 1 Conjuntos Meta conjuntos. Introduzir as noções básicas de conjunto e produto cartesiano de Objetivos Ao final desta aula, você deve ser capaz de: Definir as noções básicas de conjunto

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

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

ALGORITMO DE EUCLIDES

ALGORITMO DE EUCLIDES Sumário ALGORITMO DE EUCLIDES Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 25 de agosto de 2017 Sumário 1 Máximo Divisor Comum 2 Algoritmo

Leia mais

MA14 - Aritmética Unidade 4 - Parte 2. Representação dos Números Inteiros (O Jogo de Nim)

MA14 - Aritmética Unidade 4 - Parte 2. Representação dos Números Inteiros (O Jogo de Nim) MA14 - Aritmética Unidade 4 - Parte 2 Representação dos Números Inteiros (O Jogo de Nim) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo

Leia mais

Geometria Analítica I - MAT Lista 1 Profa. Lhaylla Crissaff

Geometria Analítica I - MAT Lista 1 Profa. Lhaylla Crissaff 1. Entre os pontos A = (4, 0), B = ( 3, 1), C = (0, 7), D = ( 1 2, 0), E = (0, 3) e F = (0, 0), (a) quais estão sobre o eixo OX? (b) quais estão sobre o eixo OY? 2. Descubra qual quadrante está localizado

Leia mais