Você está na página 1de 4

Elementos de Matemtica (cdigo 13509) - 2009/2010

Perodo diurno

Sumrios das aulas tericas

Ms Dia Horas Objecto da lio 9 22 10h - 11h Apresentao dos tpicos do programa, dos objectivos e da bibliografia. Descrio do modo de funcionamento das aulas tericas e terico-prticas. Conselhos sobre o modo de estudarem a matria desta disciplina e sobre a assiduidade s aulas. Descrio do modo de avaliao. 9 24 9h30 - Valores lgicos, asseres e as operaes lgicas de conjuno, 10h30 disjuno, negao, condicionalizao e bicondicionalizao. Exemplos. Tabelas de verdade da conjuno e da disjuno. 9 29 10h - 11h Disjuno e disjuno exclusiva. Tabela de verdade da disjuno exclusiva. Exemplos de asseres com a condicionalizao. Tabelas de verdade da condicionalizao e da bicondicionalizao. Asseres elementares, anlise lgica e forma lgica de uma assero. Exemplos. Frmulas. Duas convenes sobre a dispensa de parntesis em frmulas. Exemplos. 10 1 9h30 Determinao do valor lgico de uma assero a partir de uma sua 10h30 forma lgica e dos valores lgicas das asseres elementares que a compem. Exemplo. Frmulas logicamente equivalentes. Caracterizao da bicondicionalizao como conjuno de duas implicaes. Apresentao e explicao, sem fazer as tabelas de verdade, das leis comutativas, associativas e de idempotncia da conjuno e da disjuno, das leis distributivas da conjuno (resp. disjuno) em relao disjuno (resp. conjuno), das leis de De Morgan, da dupla negao, condicional e do contra-recproco. Exemplos. Uma propriedade sobre substituio em frmulas. Exemplos. 10 6 10h - 11h Mais uma propriedade sobre substituio em frmulas. Exemplos. Tautologia e contradio. Exemplos. Recproco e contra-recproco de uma implicao. As formas de leitura de uma implicao. Exemplos. Relao entre as formas de leitura de uma equivalncia e de uma implicao. 10 8 9h30 Relao entre as formas de leitura de uma equivalncia e de uma

10h30

10

13 10h - 11h

10

15 9h30 10h30

10

20 10h - 11h

10

22 9h30 10h30

10

27 10h - 11h

10

29 9h30 10h30

11

10h - 11h

11

9h30 10h30

implicao. Argumento, premissas e concluso. Exemplos. Forma de argumento, premissas e concluso. Exemplos. Formalizao de um argumento. Exemplos. Forma de argumento vlido ou regra de inferncia. Forma de argumento invlido ou falacioso. Exemplos. Argumento vlido e argumento invlido ou falacioso. Exemplos. Apresentao de algumas formas de argumentos vlidos, incluindo modus ponens e modus tollens. Coleco e elemento de uma coleco. Exemplos.Variveis e condies. Exemplos. Substituio de uma varivel por objectos concretos. Exemplos. Domnio de uma varivel. Exemplos. Conectivos lgicos sobre condies. Exemplos. Anlise lgica de condies. Exemplos. Satisfao de uma condio por objectos concretos. Exemplos. Condio universal, possvel e impossvel. Exemplos. Quantificadores sobre uma condio com uma nica varivel. Exemplos de asseres com quantificadores. Mais exemplos de asseres com quantificadores. Varivel muda e varivel livre. Quantificadores sobre uma condio com mais do que uma varivel. Exemplos. Simplificao da escrita: remoo da palavra "verdadeira" em asseres do tipo "Logo P verdadeira". Exemplos. Significado de frases da forma "Em A, P", onde A um conjunto e P uma condio. Condies equivalentes num domnio e uso do smbolo <=> entre condies. Exemplos. Substituio numa assero ou condio de uma assero ou condio por outra que lhe seja equivalente. Exemplo. Substituio de uma varivel muda numa expresso com quantificadores. Exemplos. Negao de expresses com quantificadores. Exemplos. Significado de frases da forma "Em A, P > Q", ou "Em A, P no suficiente para Q", onde A um conjunto e P e Q so condies. Exemplos.Troca de ordem de dois quantificadores. Exemplos. Expresses do tipo "existe um e um s". Exemplos. Duas formulaes de "existe um e um s" em termos dos quantificadores existencial e universal.Conjuntos, princpio da extensionalidade e representao em extenso. Exemplos. Representao em compreenso. Exemplos. Conjunto vazio. Outra forma de representao em compreenso de certos conjuntos. Varivel muda. Incluso de conjuntos. Exemplos. Incluso prpria. As diferentes formas de representar a incluso e a incluso prpria. Negao da incluso. Caracterizao da igualdade e da diferena () em termos da incluso. Conjunto das partes de um conjunto. Exemplo de clculo do conjunto das partes de um conjunto. Interseco, unio e complementao de dois conjuntos. Exemplos. Propriedades sobre estas operaes. Conjuntos disjuntos entre si. Unio e interseco de conjuntos arbitrrios de conjuntos (com a restrio do conjunto de conjuntos no ser vazio para o caso da interseco). Exemplos. Outra representao para estas unies e

11

11 11

11

11

11

12

12

interseces no caso dos conjuntos estarem indexados num conjunto. Exemplo. 10 10h - 11h Produto cartesiano de dois conjuntos. Exemplos. Produto cartesiano de um nmero finito qualquer de conjuntos. Exemplos. Introduo a mtodos de demonstrao: axioma, definio, resultado, demonstrao, proposio, teorema, corolrio, lema, hiptese e tese. Demonstrao: dados e objectivo. 12 9h30 Demonstrao de uma implicao pelo mtodo directo. Exemplo. 10h30 Demonstrao de uma implicao por contra-recproco. Exemplo. 17 10h - 11h Estratgias de demonstrao quando: 1) um dado uma conjuno; 2) a tese uma conjuno. Os casos particulares da igualdade de conjuntos e da equivalncia como conjunes. Estratgias de demonstrao quando: 1) um dado uma disjuno (demonstrao por casos); exemplo; 2) a tese uma disjuno; exemplo. Considerao de ~P ou de ~Q quando se pretende demonstrar P v Q. Exemplo. 19 9h30 Demonstrao por reduo ao absurdo. Exemplo. Dado da forma 10h30 "existe". Objectivo da forma "existe". Exemplos. Dado da forma "para qualquer". Objectivo da forma "para qualquer...". Exemplo. Uma estratgia de demonstrao de incluso de conjuntos. Exemplo. Exemplo de uma demonstrao de uma proposio que comea por um quantificador universal seguido imediatamente de um quantificador existencial. 24 10h - 11h Duas estratgias de demonstrao de proposies da forma "existe um e um s...". Exemplos. Princpio de Induo Matemtica e mtodo de induo matemtica. Exemplo. Adaptao deste princpio ao conjunto dos nmeros inteiros maiores ou iguais a zero e ao conjunto dos nmeros naturais maiores que um dado nmero natural fixado. Exemplo. 26 9h30 Princpio de Induo Matemtica Completa e mtodo de induo 10h30 matemtica completa e suas variantes anlogas s dadas para o Princpio de Induo Matemtica. Exemplo: demonstrao at ao ponto de utilizao da hiptese de induo (a demonstrao completa disponibilizada na reprografia) de que todo o nmero natural maior que um primo ou produto de primos. Aplicao: conceito, notao, domnio, conjunto de chegada, objecto e imagem. Exemplos. Igualdade de aplicaes. Contradomnio. Exemplos. Definio de aplicaes por recorrncia cujo domnio seja o conjunto dos nmeros naturais, o conjunto dos nmeros inteiros maiores ou iguais a zero ou o conjunto dos nmeros naturais maiores que um dado nmero natural fixado. Exemplo: definio de factorial de um nmero natural. 3 9h30 Continuao da aula anterior. Exemplo. Aplicao injectiva, 10h30 sobrejectiva e bijectiva. Exemplos. Aplicao identidade de um conjunto. Composio de aplicaes. 10 9h30 Aplicao inversa de uma aplicao. Dois resultados sem as 10h30 demonstraes na aula (as demonstraes ficam na reprografia): 1)

12

12

Se f: A ---> B e g: B ---> A forem aplicaes tais que gof a identidade de A e fog a identidade de B, ento f bijectiva e a aplicao inversa de f g; 2) Se f: A ---> B e g: B ---> C forem aplicaes bijectivas, ento (i) a aplicao inversa de f tambm o e a sua inversa f; (ii) gof tambm o e a sua inversa a composta da inversa de f com a inversa de g. Relao binria num conjunto. Exemplos. Relao vazia, relao identidade e relao universal num conjunto. Diferentes formas de definir uma relao binria. Relao reflexiva, simtrica e transitiva. Relao de equivalncia. 15 10h - 11h Recapitulao dos conceitos de relao reflexiva, simtrica, transitiva e de equivalncia. Exemplos. Classe de equivalncia e conjunto quociente. Exemplos. Dois resultados sem as demonstraes na aula (as demonstraes ficam na reprografia) sobre relaes de equivalncia. Equivalncia, sem a demonstrao na aula (a demonstrao fica na reprografia), entre a igualdade de relaes de equivalncia, a igualdade das respectivas classes de equivalncia e a igualdade dos respectivos conjuntos quociente. 17 9h30 Partio de um conjunto. Exemplos. Observao de que o conjunto 10h30 quociente de uma relao de equivalncia uma partio. Relao de equivalncia determinada por uma partio. Exemplos. Dois resultados sem as demonstraes na aula (as demonstraes ficam na reprografia): 1) As classes de equivalncia da relao de equivalncia determinada por uma partio so exactamente os elementos da partio; 2) Dada uma partio, existe uma nica relao de equivalncia cujo conjunto quociente a partio. Observao de que, dada uma relao de equivalncia R num conjunto A, a relao de equivalncia determinada pela partio A/R a prpria relao R. Aplicao cannica de uma relao de equivalncia. Definio de aplicaes cujos elementos podem ser representados de vrias formas. Exemplos. Caso de o domnio ser um conjunto quociente. Exemplos.