TEORIA DA COMPUTAO Conjunto coleao de objetos ex.: conj de letras, conj num inteiros, conj num naturais.

Elemento um dos componentes do conj. Pertinecia caracterstica associada a 1 dos elementos q faz parte do conj. So especificados por extensao - qd possivel listar todos elementos do conj. {a, e, i, o, u} por compreenso o elemento satisfaz a propriedade p ex: aluno uni9 {a/a um aluno da uni9}. Conj Finito qd especificamos por extenso (a,e,i,o,u), caso contrario infinito (x: xEN, x primo). Conj Incluso dados 2 conj. P {m,n} Q {m,n,t} dizemos que P esta contido em Q. Conj Vazio { }. Conj Iguais A=B. Elementos Repetidos (a,b,c,a,d,b,c) Conj Universal total dos membros ex (A= meu computador, B= computador do papai U= todos computadores) Conj Complemento ex. dados S= {a,b,c} conj compl de {a}={b,c}, e de {a,b}={c}. Conj Potencia o conj de todos elementos de A ex. A={2,3,7} P(A)= A{{0}{2}{3}{7}{2,3}{2,7}{3,7}}, usamos a formula 2 elevado a qtia de elementos existente em A. Uniao ex. A={i,u} B={1,2} AUB={i,u,1,2}. Interseco elementos iguais entre conj ex: A={1,2} B{2,3} A B={2} Diferena ex. A{2,4,3} B{2,3,7} A-B= {4,7}. Diferena Simetrica ex: A{1,2,3,4} B{3,4,5,6} A B= {1,2,5,6} Definio Recursiva o item q esta sendo definido aparece como parte da definio. formada por a) 1 base q determina alguns casos simples do item q esta sendo definido; b) 1 passo indutivo onde outro caso q esta sendo definido determinado em termos do caso anterior. Sequencia Recursiva lista de objetos enumerados, seguindo uma ordem. S(K) corresponde ao K-esimo elemento da sequencia. Seq Recur explicita seu primeiro valor e define os outros valores da sequencia em termos do valor inicial. Ex. 1) S(1)=2... 2) S(n+1)=2+Sn= 2xSn para n>=2; ento: S2= 2xS1= 2x2=4...S3= 2xS2= 2x4=8...S4= 2xS3= 2x8=16 Funes: dados 2 conj A e B no vazios, diz-se funao de A em B representado por f: A->B ou y=f(x), a qualquer relao binria q associa cada elemento de A em um nico elemento de B. Tipos de Funoes: Sobrejetora o conj imagem tem que ser identico ao contra dominio. Injetora elementos distintos com imagens distintas, no pode sobrar elementos no conj B sem receber flechas, Bijetora injetora e sobrejetora ao mesmo tempo, Parcial qd nem todo elemento de A tem todo respectivo elemento em B. O conj A conj de partida e conj B conj chegada. Relaes relao binria R, um conj de pares ordenadors, onde cada primeiro elemento pertence ao conj A e cada segundo elemento pertence a B. R={(a,b) / aEA, bEB}. Formas de visualizar uma relao. 1) tabela com 1 na inscrio: R= (1,Y) (1,Z) (3,Y)
X 1 2 3 0 0 0 Y 1 0 1 Z 1 0 0

2) Digrama de Venn: R= (1,X) (1,Z) (3,Y) (3,Z)

3) Grafo Direcionado: R= (1,2) (2,2) (2,4) (4,1) (4,3) (3,4)

1 3 2 4

4) Conj de pares ordenados: R= (a1,b1) (a2,b2) (a3,b3) 5) Tabela: R=(a,3) (b,7) (c,5)
A a b c B 3 7 5

6) Grafico cartesiano Produto Cartesiano o conj de todos os pares ordenados ex: A(1,3) B(a,b,c) AxB (1,a) (1,b) (1,c) (3,a) (3,b) (3,c) Tipos de Relaes: Reflexiva todo elemento de A est relacionado consigo mesmo ex. A(1,2,3) R{(1,1) (2,2) (3,3) (1,2)} Simetrica - Uma relao R simtrica se o fato que x est relacionado com y. Tem que seguir ordem crescente ex. A={a,b} R{(a,a) (b,b) (a,b) (b,a)} AntiSimetrica - x no tem relao com y. No tem ordem.

ex. A=(a,b) R{(a,b) (b,a) (b,b)} Transitiva - x est relacionado com y e y est relacionado com z ex.A={a,b,c}, R = {(a,a),(a,c),(c,b),(a,b)}. Grafos um conj no vazio de ns e arcos, de modo q cada arco conecta 2 ns. Grafos Direcionados As arestas so ordenadas E(G) onde X o ponto inicial e Y o ponto final, tem q ser (X,Y) e no poder ser (Y,X). Matriz Adjacenncia forma de representar um grafo. O Valor M representa a informao sobre como os vertices Ve Va estao relacionados, e 0(zero) o contrario. A Matriz adjacencia no orientada pode apresentar a forma triangular, no h distino entre os sentidos possiveis de cada aresta. J a matriz de adjacencia orientada deve ser completa. Grafos Rotulados contem informaes identificadoras nos ns. Caminho sequencia alternada de vertices e arestas. Grafo Conexo existe pelo menso um caminho entre qualquer um de seus verices. Ciclo caminho simples e fechado que sai e volta para o mesmo n. Grafo Atraversavel existe um caminho que inclui todos os ns, e utiliza cada arestas exatamente uma vez. Grafo euteriano s existe uma trilha atravessavel fechado. Grafo Mamiltoniano admite um caminho fechado q visita cada vertice exatamente uma vez. Arvore grafo conexo aciclico com vertice especial denominado raiz. Uma arvore um estrutura, onde N o conj de nos, A o conj das aresyas e R a raiz. Definio Recursiva - um nico n uma arvore, ex r, r1, r2...rn r a raiz e r1, r2...rn so chamados de filhos de r ou subarvores. Propriedades da Definio existe apenas um caminho da raiz para qualquer n. A profundidade de um n a distncia deste n at a raiz Um

conjunto de ns com a mesma profundidade denominado nvel da rvore. A maior profundidade de um n, a altura da rvore. Ns sem filhos so folhas, folhas so vertices de grau1. Todos ns que no so folhas, so

chamados de ns internos. Relaes Um elemento de uma relao (a,b) E R pode ser denotado (aRb). Fecho de uma relao Seja R A->A e P um conj de propriedades de R, entao o fecho da endorelao R em relao a P a menor endorelao que satisfaz P e denotado fecho P(R). Ex A={1,2,3,4} R={(1,1)(2,3)(3,4)(3,3)} Fecho da propriedade reflexiva em relaao a R ex: P={(1,1)(2,3)(3,4)(2,2)(2,2)(4,4)(3,3)} Fecho das propriedades reflexivas e transitiva em relaao a R P(R){(1,1) (2,3)(3,4)(3,3)(2,2)(4,4)(2,4)} Prova Indutiva metodo matematico usado para demonstrar a verdade de um numero infinito de proposies. 3 etapas: 1)provar q a proposio vale para cada elemento d conj base. 2) estabelecer a hipotese indutiva: supor q a proposio vale p os N primeiros elementos do conj. 3)passo indutivo: usando a hipotese, provar q a proposio vale p o elemento Xn+1. Elementos basicos da Teoria da Computao: Programas: coleo finita de instruoes em uma linguagem genrica de programa, ou seja, linguagem q permita escrever as instrues em cdigo fonte. Conj estruturado de instruoes q permite q uma maquina aplique sucessivos conj de operaes e testes sobre os dados iniciais fornecidos com objetivos de transformar esses dados numa forma desejada. Definio de Instruo uma sentena (conj de caracteres) q especifica uma operao a ser executada por uma maquina computacional. Sentena: conj de palavras construidas com um alfabeto q envolve uma ideia especifica claramente, utilizando uma sintaxe adequada. Operao: Atividade ou processo que dever ser realizada, independentemente da implementao. Pode ser Simples uma unica operao Composta especificam mais de uma operao a ser executada. Executada condio para atingir os objetivos Maquina Computacional supre significados aos identificadores das operaes. Mquina composta por hw e sftw. Estruturada todas as instruoes tem formatos definidos, incluindo as estruturas de controle (laos). Conj de instruoes: cada maquina executa um conj finito e definido de instruoes. Deterministica: quem escreve o programa conhece antecipadamente o que dever acontecer c a execuo, de acordo com os dados iniciais. Dados iniciais: entradas a serem transformadas em saidas (resultado). Tipos de Programas: 1)Fluxograma Rotulo: cadeia de caracteres finita constituida de letras ou digitos. Instrucao rotulada: suponha q F e T so identificadores de operaoes e testes respectivamente e r1, r2 e r3 so rotulos. Operacao r1 faa F e entao va para r2... exemplo 10: faa x= x+1 e entao va para 15. Teste r1: se T entao va para r2, seno va para r3 Exemplo teste_a: se (x>0) va para certe_a, senao va para errado_a. Um prog fluxograma um conj finito de instruoes rotuladas no qual no podem haver rotulos. Exemplo. 10: inicio; 20: faa F entao va para 30; 30: se T1 entao va para 20, senao 40; 40: faa G entao va para 50; 50: se T2 va para 60 senao para 20; 60: fim. Programa While so programas baseados em 3 sequencias: composicao: execuo de uma instruo P e em seguida da instruo Q Ex. A= 2*y+1.... B= 3*A Sentenas Condicionais: sua forma geral se T entao P se no Q. Ex. If (x>0) then X= X+1 else y= y+1. Setena While sua forma geral while T do P q testa repetidamente T e enquanto verdadeira executa P e s cessa qdo for falso. Programas Procedimentos enncontrado com diversas variaes, na maioria das linguagens de alto nvel q admitem a definio de subrotina recursiva. Subrotinas permitem a estruturao hierarquica de programas, permitindo diferentes nveis de abstrao.