Matemática discreta

Alguns T´picos de Matem´tica Discreta o a
Ana Paula Tom´s a

Departamento de Ciˆncia de Computadores e Faculdade de Ciˆncias do Porto e 2005

Conte´do u
1 Conjuntos 1.1 Opera¸oes com Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c˜ 2 Representa¸ao de N´ meros em Computador c˜ u 2.1 Sistema de Representa¸ao Posicional . . . . . . . . . . . . . . . . c˜ c˜ a 2.1.1 Rela¸ao entre bin´rio, octal e hexadecimal . . . . . . . . . 2.1.2 Adi¸ao e multiplica¸ao na base b . . . . . . . . . . . . . . c˜ c˜ c˜ u u ıgitos 2.1.3 Representa¸ao de n´ meros com um n´ mero fixo de d´ 2.1.4 Representa¸ao de n´ meros negativos . . . . . . . . . . . . c˜ u c˜ c˜ 2.2 Adi¸ao e Subtrac¸ao em n Bits . . . . . . . . . . . . . . . . . . . 2.2.1 Adi¸ao e subtrac¸ao bin´ria de inteiros n˜o negativos . . c˜ c˜ a a c˜ 2.2.2 Adi¸ao de inteiros em complemento para 2 . . . . . . . . 2.2.3 Subtrac¸ao de inteiros em complemento para 2 . . . . . . c˜ 2.3 Representa¸ao em V´ c˜ ırgula Fixa . . . . . . . . . . . . . . . . . . . 2.4 Representa¸ao em V´ c˜ ırgula Flutuante . . . . . . . . . . . . . . . . 1 2 7 8 11 12 15 16 19 19 20 20 21 21 23 23 25 26 27 28 28 29 31 32

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

. . . . . . . . . . .

3 Algumas No¸oes de Divisibilidade c˜ 3.1 Bases de Numera¸ao e Crit´rios de Divisibilidade . . . . . . . . . . . c˜ e 3.2 No¸ao de Divisor e de M´ ltiplo . . . . . . . . . . . . . . . . . . . . . c˜ u 3.3 Factoriza¸ao em Primos . . . . . . . . . . . . . . . . . . . . . . . . . c˜ 3.3.1 Determina¸ao de primos: crivo de Erast´tenes . . . . . . . . c˜ o 3.3.2 C´lculo de divisores por an´lise da factoriza¸ao em primos . . a a c˜ 3.4 M´ximo Divisor Comum . . . . . . . . . . . . . . . . . . . . . . . . . a 3.4.1 C´lculo do m´ximo divisor comum pelo algoritmo de Euclides a a 3.5 M´ ınimo M´ ltiplo Comum . . . . . . . . . . . . . . . . . . . . .