Escolar Documentos
Profissional Documentos
Cultura Documentos
Tentando Resumir
2
ISTO É UM CABEÇALHO
- - - - X
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui Digite seu texto aqui
Digite seu texto aqui Digite seu texto aqui.
O
3
GRAFO
Euleriano:
- - - - X
Aresta não se repete. Não pode ter nº de
arestas ímpares superior a 0 ou 2.
O
4
______________________________________________________________________
Coloração de Grafos:
Grafo dual: representação de mapa.
O
5
ALGORITMO GULOSO: ele sempre vai ligar-se ao mais próximo após ele.
“vizinho mais próximo”.
Otimização:
Modelo matemático: max/min f(x). função objetivo
O
6
Lógica Matemática:
Proposição: é uma sentença declarativa, a qual somente poderá ser
verdadeira ou falsa(princípio da do terceiro excluído), mas não ambas
ao mesmo tempo (princípio da não contradição).
Principais:
O
7
NEGATIVA:
Representação: ~p.
CONJUNÇÃO:
Operador: ∧ .
Representação: p∧q.
DISJUNÇÃO:
Obs: aqui basta que uma seja verdadeira para o resultado ser
verdadeiro.
Operador: ∨ .
Representação: p∨q.
Operador: ⊕ .
Representação: p⊕q.
O
8
CONDICIONAL:
Operador: → .
Representação: p→q.
p é chamado de antecedente.
q é chamado de consequente.
O
9
Recíproca: (inverte)
Inversa: (nega)
É a proposição ¬q→¬p.
Operador lógico: ↔ .
Representação: p↔q.
ex: 1001100101110010
O
10
APLICAÇÃO DE CRIPTOGRAFIA:
Cifra de Vernam: uma forma de cifrar/tornar ilegível a mensagem sem
que a pessoa tenha senha.
O
11
O
12
EQUIVALÊNCIAS LÓGICAS:
O
13
Leis da distributividade:
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ Leis da implicação:
r) (p → q) equivale a (¬p ∨ q)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ ¬(p → q) equivale a (p ∧ ¬q)
r) Leis da equivalência
p ∧ (q ⊕ r) ≡ (p ∧ q) ⊕ (p ∧ (p ↔ q) equivale a (p → q) ∧ (q
r) → p)
Leis de De Morgan: (p ↔ q) equivale a ¬(p ⊕ q)
¬(p ∧ q) ≡ ¬p ∨ ¬q Lei da contrapositiva:
¬(p ∨ q) ≡ ¬p ∧ ¬q (p → q) equivale a (¬q) → (¬p)
Lei da redução ao absurdo:
p → q equivale a (p ∧ ¬q) → F
O
14
LEIS DE MORGAN:
Escrevemos P(x): “x tem a propriedade p” para indicar que o objeto “x” tem uma certa
propriedade P.
PRÉ-CONDIÇÕES:
PÓS-CONDIÇÕES:
Predicado que descreve as condições que a saída desse programa deve satisfazer, depois que
for executar.
O
15
P(x,y)= “x+y=5”
P(3,2)= “3+2=5” (verdadeiro)
P(0,0)= “0+0=5” (falso)
QUANTIFICADOR UNIVERSAL
Quantificador universal: ∀.
Notação: ∀xP(x).
Leitura: para todo x, P(x) ou Para cada x P(x).
Contraexemplo: Valor de x para o qual P(x) é falsa.
O
16
Notação: ∃xP(x).
Leitura: existe x tal qual que P(x) ou Para algum x, P(x).
QUANTIFICADOR UNIDADE:
PRIORIDADES:
1. Parênteses;
2. Quantificadores;
3. Operadores lógicos: ~,∧,V,->,<->
O
17
TIPOS DE VARIÁVEIS:
Ex: ∀x(P(x)->Q(x))V∃xR(x)∧∀yS(y)
Primeiro: ∀x(P(x)->Q(x))
Segundo: ∃xR(x)
Terceiro: ∀yS(y)
Notação:
Expressão 1: S. 1. Supor que S é verdade e provar que T é verdade.
Expressão 2: T. 2. Supor que T é verdade e provar que T é verdade.
Equivalência: T≡S.
LEIS DE MORGAN:
Negação:
~(∀yS(y)) ≡ ∃y(~S(y)) a negação de Quant. Universal é o Quant. Existencial
~(∃yS(y)) ≡ ∀y(~S(y)) a negação de Quant. Existencial é o Quant. Universal
~(∃!yS(y)) ≡ ∃y(~S(y)) a negação de Quant. Unidade é o Quant. Existencial ou
O
18
inexistência.
CONJUNTOS:
É uma coleção de objetos distintos com uma descrição precisa que permite decidir se um
objeto está no conjunto.
DEFINIÇÕES:
Se não pertencer, X ∉ A.
OBS: {∅} - isto representa um conjunto que possui um único elemento, o qual é o conjunto
vazio.
CARDINALIDADE:
Número de elementos de um conjunto, o qual é denotado |A|.
O
19
CONJUNTOS DA PARTE:
O conjunto das partes de um conjunto A (ou conjunto potência A) é o conjunto cujos elementos
são subconjuntos de A. É denotado P(A).
Ex: P({1,2,3,4})={∅,{1},{2},{3},{1,2},{1,2},{2,3},{1,2,3}}
OPERAÇÃO:
c
O COMPLEMENTAR de A, ou A . ={x∈U|x∉A}.
Será tudo que não for A.