Fundamentos de Ciência da Computação: pacote de revisão

Definir bits: cada bit vale uma potência de dois (128, 64, …, 1). Um dígito hexadecimal são exatamente quatro bits, e em complemento de dois de 8 bits o bit mais à esquerda vale −128. As operações bit a bit atuam em cada posição de bit separadamente.

Definir bits: cada bit vale uma potência de dois (128, 64, …, 1). Um dígito hexadecimal são exatamente quatro bits, e em complemento de dois de 8 bits o bit mais à esquerda vale −128. As operações bit a bit atuam em cada posição de bit separadamente.

Tabelas-verdade: uma fórmula com n variáveis diferentes tem 2ⁿ linhas, uma para cada combinação de valores lógicos (1 = verdadeiro, 0 = falso). Trabalhe de dentro para fora e dê a cada subfórmula a sua própria coluna. ¬a inverte o valor; a ∧ b vale 1 somente quando ambos valem 1; a ∨ b vale 0 somente quando ambos valem 0; a → b vale 0 somente quando a = 1 e b = 0; a ↔ b vale 1 quando os dois lados são iguais.

Quantificadores e argumentos: ¬∀x P(x) ≡ ∃x ¬P(x) e ¬∃x P(x) ≡ ∀x ¬P(x). Mova a negação para dentro, troque todo quantificador que ela atravessa e negue a fórmula interna com as leis proposicionais, como ¬(a → b) ≡ a ∧ ¬b. Um argumento é válido quando a conclusão vale 1 em toda linha em que todas as premissas valem 1. Uma única linha com premissas verdadeiras e conclusão falsa é um contraexemplo e mostra que o argumento é inválido.

Mapas de Karnaugh: as células são ordenadas em código Gray (00, 01, 11, 10), de modo que células vizinhas, inclusive as que ficam nas bordas opostas, diferem em exatamente uma variável. Agrupe os 1s em retângulos de 1, 2, 4, 8 ou 16 células, o maior possível e o menor número possível, até que todo 1 esteja coberto. Cada grupo é um termo produto: as variáveis que permanecem constantes dentro dele. Um grupo de 2ᵏ células perde k variáveis. As condições irrelevantes (X) podem ser usadas para aumentar grupos, mas nunca precisam ser cobertas. Agrupar os 0s dá a forma POS mínima.

Flip-flops e contadores: um flip-flop muda apenas na borda ativa do clock. D copia a sua entrada (Q⁺ = D); T inverte quando T = 1; JK mantém para 00, zera para 01, seta para 10 e inverte para 11. Um contador binário de n bits tem 2ⁿ estados e conta módulo 2ⁿ; um contador módulo N conta 0, 1, …, N − 1 e volta a 0, e precisa de flip-flops em número igual ao menor n com 2ⁿ ≥ N. Cada estágio de um contador assíncrono (ripple) divide a frequência por dois, de modo que a última saída de um contador módulo N funciona a f_clk/N. Um contador Johnson de n flip-flops tem 2n estados, um contador em anel n.

Inversos e congruências: a tem inverso módulo n exatamente quando mdc(a, n) = 1. O algoritmo de Euclides estendido escreve 1 = s·n + t·a, e então a⁻¹ ≡ t (mod n). Uma congruência a·x ≡ b (mod n) com mdc(a, n) = 1 tem a solução x ≡ a⁻¹·b. Duas congruências x ≡ r₁ (mod m₁) e x ≡ r₂ (mod m₂) com módulos coprimos têm uma solução módulo m₁·m₂ (teorema chinês do resto). O φ(n) de Euler conta os números de 1 a n que são coprimos com n: φ(n) = n·∏(1 − 1/p).

Inversos e congruências: a tem inverso módulo n exatamente quando mdc(a, n) = 1. O algoritmo de Euclides estendido escreve 1 = s·n + t·a, e então a⁻¹ ≡ t (mod n). Uma congruência a·x ≡ b (mod n) com mdc(a, n) = 1 tem a solução x ≡ a⁻¹·b. Duas congruências x ≡ r₁ (mod m₁) e x ≡ r₂ (mod m₂) com módulos coprimos têm uma solução módulo m₁·m₂ (teorema chinês do resto). O φ(n) de Euler conta os números de 1 a n que são coprimos com n: φ(n) = n·∏(1 − 1/p).

Euler, Hamilton e árvores: um grafo conexo tem um circuito euleriano (cada aresta uma vez, de volta ao início) quando todo vértice tem grau par, e um caminho euleriano que não é circuito quando exatamente dois vértices têm grau ímpar; o caminho vai então de um vértice ímpar ao outro. Um circuito hamiltoniano visita cada vértice uma vez; K_n tem (n − 1)!/2 deles. Uma árvore com n vértices tem n − 1 arestas, e um grafo conexo com m arestas mantém uma árvore geradora depois de remover m − n + 1 arestas.

Caminhos mínimos e árvores geradoras: o algoritmo de Dijkstra fixa um vértice por rodada: o vértice não fixado com a menor distância provisória. Sua distância torna-se definitiva, e cada vizinho v recebe d(v) = min(d(v), d(u) + w(u, v)). O algoritmo de Kruskal constrói uma árvore geradora mínima tomando as arestas da mais leve para a mais pesada e descartando qualquer aresta que feche um ciclo; o algoritmo de Prim faz crescer uma árvore a partir de um vértice inicial acrescentando sempre a aresta mais leve que sai dela. Uma árvore geradora de n vértices tem n − 1 arestas.

Sub-redes IPv4: um endereço tem 32 bits. O prefixo /p indica quantos bits iniciais identificam a rede; os restantes 32 − p bits numeram os hosts. Uma sub-rede tem 2³²⁻ᵖ endereços, mas o primeiro (endereço de rede) e o último (broadcast) não podem ser atribuídos a hosts, por isso cabem 2³²⁻ᵖ − 2 hosts. Exceções: um /31 (enlace ponto a ponto, RFC 3021) usa os seus 2 endereços para hosts, e um /32 é um único endereço (um único host ou um loopback).

Sumarização de rotas: uma rota sumarizada a.b.c.0/p cobre todas as redes cujos primeiros p bits coincidem. Escreva em binário o octeto que difere entre a primeira e a última rede; o número de bits iniciais em comum, mais os bits dos octetos anteriores, é o maior prefixo de sumarização.