Álgebra Linear e Geometria Analítica
|
|
- Vítor de Almada Ferretti
- 7 Há anos
- Visualizações:
Transcrição
1 Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica - Noções Básicas de Lógica Matemática e Teoria de 2.1 Proposições e Valores Lógicos 2.2 Operações Lógicas 2.3 Propriedades das Operações Lógicas 2.4 e Operações com 2.5 Produto Cartesiano
2 2.1 Proposições e Valores Lógicos Proposição é uma expressão a respeito da qual faz sentido dizer se é verdadeira ou falsa. Cada proposição tem um e um só valor lógico, de entre dois disponíveis, verdadeiro (V) oufalso (F) Exemplos Viseu é uma cidade Proposição verdadeira Viseu é bonita Não é proposição (expressão de um sentimento de alguém) Amanhã vou ao cinema É uma proposição, que neste momento não se pode dizer o seu valor lógico, mas pode-se dizê-lo amanhã (ESTV) Álgebra Linear e Geometria Analítica 2007/ / Proposições e Valores Lógicos A lógica que vamos estudar pressupõe os seguintes princípios: Princípios Lógicos: Princípio da não contradição Uma proposição não pode ser verdadeira e falsa ao mesmo tempo Princípio do terceiro excluído Uma proposição é verdadeira ou falsa (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
3 2.2 Operações Lógicas A partir de proposições elementares e utilizando as operações lógicas, obtêm-se novas proposições (compostas). Operações Lógicas Negação p não é verdade que p não p Conjunção p q p e q Disjunção p q p ou q Implicação p q se p então q p só seq p é cond. suficiente para que q q é cond. necessária para que p Equivalência p q p equivalente a q p seesó se (sse) q Disjunção Exclusiva p q ou p ou q (ESTV) Álgebra Linear e Geometria Analítica 2007/ / Operações Lógicas p q antecedente consequente Exemplos Se estiver bom tempo e não estiver cansado vou à aula teórica de Álgebra Linear. 9 ou 15 são ímpares mas não são primos. É suficente ter 9.5 para passar a Álgebra Linear. Estudar é condição necessária para a época de exames. Um programa de computador funciona se e só se não tiver erros. (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
4 2.2 Operações Lógicas Tabelas de Verdade das Operações Lógicas: Uma tabela de verdade faz corresponder aos possíveis valores lógicos das proposições o correspondente valor lógico da expressão p V F p F V p q p q V V V V F F F V F F F F p q p q V V V V F V F V V F F F p q p q V V V V F F F V V F F V p q p q V V V V F F F V F F F V p q p q V V F V F V F V V F F F (ESTV) Álgebra Linear e Geometria Analítica 2007/ / Propriedades das Operações Lógicas Propriedades da Negação, da Conjunção e da Disjunção: p p V Lei do terceiro excluido p p F Lei da contradição p F p p V p Leis da identidade p V V p F F Leis da absorção p p p p p p Leis da idempotência ( p) p Lei da dupla negação p q q p p q q p Leis da comutatividade (p q) r p (q r) Leis da associatividade (p q) r p (q r) p (q r) (p q) (p r) Leis da distributividade p (q r) (p q) (p r) (p q) p q Leis de De Morgan (p q) p q (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
5 2.3 Propriedades das Operações Lógicas Propriedades da Implicação e da Equivalência: p q p q (p q) p q p q q p p q (p q) (q p) (p q) (p q) (q p) Relação da implicação com a disjunção Negação da implicação Lei da conversão Equivalência como conjunção de implicações Negação da equivalência (ESTV) Álgebra Linear e Geometria Analítica 2007/ / Propriedades das Operações Lógicas É possível demonstrar todas estas propriedades recorrendo a tabelas de verdade. Exemplo (Prova da relação da implicação com a disjunção) p q p q p q p q p p q V V V F V V F F F F F V V V V F F V V V Exercício Provar a equivalência como conjunção de implicações p q (p q) (q p) (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
6 2.4 e Operações com Axiomas Axioma da Extensão: dois conjuntos são iguais se, e só se, têm os mesmos elementos. Axioma da Especificação: a cada conjunto A e a cada condição S(x) corresponde um conjunto B cujos elementos são exactamente os elementos de A para os quais S(x) acontece. Escreve-se: B = {x : x A e S(x)} ou B = {x A : S(x)}. Exemplo A = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10} e B = {x A : 2 x < 9}. (ESTV) Álgebra Linear e Geometria Analítica 2007/ / e Operações com A B x (x A x B) A = B (A B e B A) Conjunto Vazio, {} Conjunto Universal E Operações entre Intersecção x A B x A x B Reunião x A B x A x B Complementação. c x A c (x A) Diferença x A B x A B c x A (x B) (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
7 2.4 e Operações com Exemplo (1) E = {números inteiros positivos não superiores a 10} A = {x N : x émúltiplo de 3exnão excede 9} B = {números inteiros positivos inferiores a 6} E = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} A = {3, 6, 9} B = {1, 2, 3, 4, 5} A c = {1, 2, 4, 5, 7, 8, 10} A B = {3} A B = {1, 2, 3, 4, 5, 6, 9} A B = {6, 9} (ESTV) Álgebra Linear e Geometria Analítica 2007/ / e Operações com Exemplo (2) A = {a, b} e B = {a} A B = {a} A B = A A B = {b} B A = {} Relação entre e Operações Lógicas Identidade Inclusão Intersecção Reunião Complementação Equivalência Implicação Conjunção Disjunção Negação (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
8 2.4 e Operações com Propriedades dos A A c = E Lei da complementação A A c = Lei da exclusão A = A; A E = A Leis da identidade A E = E; A = Leis da absorção A A = A; A A = A Leis da idempotência (A c ) c = A Lei da dupla complementação A B = B A; A B = B A Leis da comutatividade (A B) C = A (B C) Leis da associatividade (A B) C = A (B C) A (B C) =(A B) (A C) Leis da distributividade A (B C) =(A B) (A C) (A B) c = A c B c Leis de De Morgan (A B) c = A c B c (ESTV) Álgebra Linear e Geometria Analítica 2007/ / e Operações com Exercício Mostrar que: (A B) (A C) =A (B C); A (A c B) =A B. Disjuntos Dois conjuntos A e B dizem-se disjuntos se A B =. Dados conjuntos A i, i I, dizem-se disjuntos dois a dois se para quaisquer i, j I, com i j se tem A i A j =. Exemplo {2, 3, 4}, {5, 6, 7}, {8, 9, 10} são disjuntos dois a dois. (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
9 2.4 e Operações com Cardinal de um Conjunto O cardinal de um conjunto é igual ao número de elementos do conjunto. Notação: #A, card(a) ou A Exemplo card(a) =6 A = {1, 3, 5, 6, 5, 8, 1, 2} card(a B) = card(a)+ card(b) card(a B); Se A 1, A 2,...,A n forem disjuntos dois a dois card(a 1 A 2... A n )=card(a 1 )+ card(a 2 )+...+ card(a n ). (ESTV) Álgebra Linear e Geometria Analítica 2007/ / Produto Cartesiano Produto Cartesiano O produto cartesiano de A por B, designa-se por A B e é dado por: A B = {(a, b) :a A b B} O produto cartesiano de n conjuntos é definido da forma: A 1 A 2... A n = {(a 1, a 2,...,a n ):a 1 A 1 a 2 A 2... a n A n } A n = A A... A Se A 1, A 2,...,A n são conjuntos finitos então: card(a 1 A 2... A n )= card(a 1 ) card(a 2 )... card(a n ) (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
10 2.5 Produto Cartesiano Exemplo A = {a, b} e B = {1, 2, 3} A B = {(a, 1), (b, 1), (a, 2), (b, 2), (a, 3), (b, 3)} Conjunto Potência Seja A um conjunto. O conjunto potência de A ou o conjunto das partes de A designa-se por P(A) ou 2 A,eé o conjunto formado por todos os subconjuntos de A. Se A é finito então card(2 A )=2 card(a) Exemplo A = {a, b, c} 2 A = {, {a}, {b}, {c}, {a, b}, {a, c}, {c, b}, {a, b, c}} (ESTV) Álgebra Linear e Geometria Analítica 2007/ / 19
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 maisMATEMÁ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 maisMatemá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 maisTeoria 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. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisn. 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 maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisMatemá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 maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisÁ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 maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma
Leia maisDemonstrações. Terminologia Métodos
Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:
Leia mais1 Operações com conjuntos
Notas sobre Conjuntos (2) Anjolina Grisi de Oliveira 1 Operações com conjuntos Definição 1 (União) Sejam A e B dois conjuntos arbitrários. A união dos conjuntos A e B, denotada por A B, é o conjunto que
Leia maisMetas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: MATEMÁTICA A ANO:10.º Planificação (Conteúdos)... Período Letivo: 1.º Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas Álgebra - Radicais
Leia maisMatemá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 maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisLó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 maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisPara Computação. Aula de Monitoria - Miniprova
Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.
Leia maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisNome do aluno: N.º: Turma:
Teste de Matemática A 2017 / 2018 Teste N.º 1 Matemática A Duração do Teste: 90 minutos NÃO É PERMITIDO O USO DE CALCULADORA 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Na resposta aos itens de
Leia maisDEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (11 de setembro a 15 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisRevisões de Conjuntos
Revisões de Conjuntos {, {a}, {b}, {a, b}} a A a pertence a A, a é elemento de A a {a, b, c} a / A a não pertence a A d / {a, b, c} A B A contido em B, A subconjunto de B x A x B {a, b} {b, c, a} A B A
Leia maisMetas/ Objetivos Conceitos/ Conteúdos Aulas Previstas. Lógica e Teoria dos conjuntos: Introdução à lógica bivalente e à Teoria dos conjuntos
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (15 de setembro a 16 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Leia maisPontifícia Universidade Católica do Rio Grande do Sul
Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Matemática - Departamento de Matemática Estruturas Algébricas Prof. M.Sc. Guilherme Luís Roëhe Vaccaro e-mail: vaccaro@mat.pucrs.br Prof.
Leia maisInstituto 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 maisUniversidade 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 maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número
Leia maisLógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisCentro 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 maisPráticas de Investigação Quantitativa
Práticas de Investigação Quantitativa TEORIA DE CONJUNTOS Apontamentos Teóricos FEUC - 1 o Sem. 2010/2011 Vítor Castro (Apontamentos Teóricos) Teoria de Conjuntos FEUC - 1 o Sem. 2010/2011 1 / 20 Apresentação
Leia maisLó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 maisUniversidade 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 maisLógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisTó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 maisDISTRIBUIÇÃO DOS DOMÍNIOS POR PERÍODO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS Planificação Anual da Disciplina de Matemática 10.º ano Ano Letivo de 2015/2016 Manual adotado: Máximo 10 Matemática A 10.º ano Maria Augusta Ferreira
Leia maisSMA0341 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 maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Leia maisTeoria 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 maisTeoria 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 maisP L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o
P L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o 2015-2016 DISCIPLINA / ANO: Matemática A 10ºano de escolaridade MANUAL ADOTADO: NOVO ESPAÇO 10 GESTÃO DO TEMPO Nº de Nº de Nº de tempos tempos tempos
Leia maisPLANIFICAÇÃO A MÉDIO/LONGO PRAZO
207/208 PLANIFICAÇÃO A MÉDIO/LONGO PRAZO DISCIPLINA: Matemática A ANO: 0.º CURSO: Cientifico Humanísticos de Ciências e Tecnologias de Ciências Socioeconómicas.º Período Total de aulas Previstas: 53+9
Leia maisPLANIFICAÇÃO ANUAL DA DISCIPLINA DE MATEMÁTICA A
ESCOLA BÁSICA E SECUNDÁRIA DE BARROSELAS Ano Letivo 07/08 PLANIFICAÇÃO ANUAL DA DISCIPLINA DE MATEMÁTICA A 0.º ANO OBJETIVOS GERAIS DA DISCIPLINA: Adquirir conhecimentos, factos, conceitos e procedimentos;
Leia maisDEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500. Planificação Anual /Critérios de avaliação
Disciplina: Matemática A _ 10º ano _ CCH 2015/2016 AGRUPAMENTO DE ESCOLAS ANSELMO DE ANDRADE DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500 Planificação Anual /Critérios de avaliação Início
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Leia maisP L A N I F I C A Ç Ã O A N U A L
P L A N I F I C A Ç Ã O A N U A L DEPARTAMENTO: MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS ÁREA DISCIPLINAR: 500 - MATEMÁTICA DISCIPLINA: MATEMÁTICA A NÍVEL DE ENSINO: Secundário CURSO: Ciências e Tecnologias
Leia maisLógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisElementos de Matemática
Elementos de Matemática Álgebra de Boole Roteiro no. 10 - Atividades didáticas de 2007 8 de Outubro de 2007- Arq: elementos10.tex Departamento de Matemática - UEL Prof. Ulysses Sodré E-mail: ulysses(at)matematica(pt)uel(pt)br
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.est.ip.pt/paginaspessoais/lucas lucas@mat.est.ip.pt 007/008 Álgebra Linear e Geometria Analítica
Leia maisPlanificação Anual /Critérios de avaliação. Disciplina: Matemática A _ 10º ano - CCH 2016/2017
Agrupamento de Escolas Anselmo de Andrade DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500 Planificação Anual /Critérios de avaliação Disciplina: Matemática A _ 10º ano - CCH 2016/2017 Início
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia maisSistemas Digitais Álgebra de Boole Binária e Especificação de Funções
Sistemas Digitais Álgebra de Boole Binária e Especificação de Funções João Paulo Baptista de Carvalho (Prof. Auxiliar do IST) joao.carvalho@inesc.pt Álgebra de Boole Binária A Álgebra de Boole binária
Leia maisNoçõ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 maisTexto de apresentação
Índice 1 Elementos de Teoria de Conjuntos e de Lógica Matemática 3 1.1 ElementosdeTeoriadeConjuntos... 3 1.1.1 Introdução... 3 1.1.2 RelaçõesentreConjuntos... 5 1.1.3 ConjuntosdeConjuntos... 6 1.1.4 DiagramasdeVenn-Euler...
Leia maisIBM1088 Linguagens Formais e Teoria da Computação
IBM1088 Linguagens Formais e Teoria da Computação Conceitos fundamentais sobre Teoria dos Conjuntos Evandro Eduardo Seron Ruiz evandro@usp.br Universidade de São Paulo E.E.S. Ruiz (USP) LFA 1 / 26 Frase
Leia maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
Leia maisLógica 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 maisAná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 maisAplicaçõ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 maisAgrupamento de Escolas General Humberto Delgado Sede na Escola Secundária/3 José Cardoso Pires Santo António dos Cavaleiros
Agrupamento de Escolas General Humberto Delgado Sede na Escola Secundária/3 José Cardoso Pires Santo António dos Cavaleiros Curso Científico-Humanístico de Ciências e Tecnologias Curso Científico-Humanístico
Leia maisÁlgebra de Boole binária
Álgebra de Boole binária Fundamentação Funções lógicas de uma variável Funções lógicas de duas variáveis Princípio da dualidade Funções de n variáveis Definição formal da Álgebra de Boole Manipulação de
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisPlanificação do 1º Período
Direção-Geral dos Estabelecimentos Escolares Direção de Serviços da Região Centro Planificação do 1º Período Disciplina: Matemática A Grupo: 500 Ano: 10º Número de blocos de 45 minutos previstos: 74 Ano
Leia maisDEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO (Aprovados em Conselho Pedagógico de 27 de outubro de 2015) AGRUPAMENTO DE CLARA DE RESENDE CÓD. 152 870 No caso específico
Leia maisPlanificação do 1º Período
Direção-Geral dos Estabelecimentos Escolares Direção de Serviços da Região Centro Planificação do 1º Período Disciplina: Matemática A Grupo: 500 Ano: 10º Número de blocos de 45 minutos previstos: 74 Ano
Leia maisA 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 maisApresentação do curso
Folha 1 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
Leia maisAulas 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 maisSMA 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 maisLinguagem (formal) de alfabeto Σ
Linguagem (formal) de alfabeto Σ Linguagem é qualquer subconjunto de Σ, i.e. qualquer conjunto de palavras de Σ Σ = {a, b} {aa, ab, ba, bb} ou {x x {a, b} e x = 2} {a, aa, ab, ba, aaa, aab, aba,...} ou
Leia maisLó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 maisCapítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago
Capítulo 1 Os Números Última atualização em setembro de 2017 por Sadao Massago 1.1 Notação Números naturais: Neste texto, N = {0, 1, 2, 3,...} e N + = {1, 2, 3, }. Mas existem vários autores considerando
Leia maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu wwwestvipvpt/paginaspessoais/lucas lucas@matestvipvpt 007/008 Álgebra Linear e Geometria Analítica
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisCurso Científico- Humanístico de Ciências e Tecnologias. Curso Científico- Humanístico de Ciências Socioeconómicas
Curso Científico- Humanístico de Ciências e Tecnologias Curso Científico- Humanístico de Ciências Socioeconómicas Planificação Anual -------2016-2017 Matemática A 10º ano A Planificação Anual, apresentada,
Leia maisNoções básicas de Lógica
Noções básicas de Lógica Consideremos uma linguagem, com certos símbolos. Chamamos expressão a uma sequências de símbolos. Uma expressão pode ser uma expressão com significado expressão sem significado
Leia maisReferências e materiais complementares desse tópico
Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:
Leia maisAula 1: Introdução ao curso
Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisReticulados 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 maisLó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 maisPlanificação Anual Matemática A 10º Ano
ESCOLA SECUNDÁRIA/3 RAINHA SANTA ISABEL 402643 ESTREMOZ Planificação Anual Matemática A 10º Ano Ano letivo 2017/2018 PERÍODO Nº de AULAS PREVISTAS (45 min) 1º 78 2º 60 3º 54 Total: 192 Total de aulas previstas
Leia maisJá 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 mais1 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 maisNotas de Análise Matemática I
Notas de Análise Matemática I João Lopes Dias Departamento de Matemática, ISEG Universidade Técnica de Lisboa Rua do Quelhas 6, 1200-781 Lisboa, Portugal 6 de Dezembro de 2011 Resumo Estas notas destinam-se
Leia maisFunções Lógicas I. José Costa. Introdução à Arquitetura de Computadores. Departamento de Engenharia Informática (DEI) Instituto Superior Técnico
Funções Lógicas I José Costa Introdução à Arquitetura de Computadores Departamento de Engenharia Informática (DEI) Instituto Superior Técnico 2013-10-02 José Costa (DEI/IST) Funções Lógicas I 1 Sumário
Leia maisLFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos
LFA Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos Técnicas de Demonstração Um teorema é uma proposição do tipo: p q a qual, prova-se, é verdadeira sempre que: p q Técnicas de Demonstração
Leia maisSMA 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 mais4. CONTEÚDOS. 10.º ano
4. CONTEÚDOS Em cada ano de escolaridade, os conteúdos encontram-se organizados por domínios. A articulação entre os domínios de conteúdos e os objetivos acima referidos que constituem o conjunto de desempenhos
Leia maisInstituto 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 maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisANÁ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 maisTeoria 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