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.

Multiplexador: um multiplexador 2ⁿ-para-1 leva uma de suas entradas de dados à saída; as linhas de seleção, lidas como um número binário, escolhem qual. Para um MUX 4-para-1 com seleções S₁S₀ = AB, F = A′B′·I₀ + A′B·I₁ + AB′·I₂ + AB·I₃. Ligar as entradas de dados a 0, 1, C ou C′ faz o MUX produzir qualquer função de A, B e C, o que é uma maneira comum de construir lógica com um único chip.

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.

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).

Potências modulares e RSA: calcule aᵏ mod n por elevação ao quadrado repetida: escreva k em binário, eleve ao quadrado, reduza a cada passo e multiplique as potências cujo bit é 1. Fermat: aᵖ⁻¹ ≡ 1 (mod p) para um primo p que não divide a, então o expoente pode ser reduzido módulo p − 1. RSA: escolha primos p e q, n = p·q e φ(n) = (p − 1)(q − 1); o expoente público e é coprimo com φ(n), e o expoente privado é d = e⁻¹ mod φ(n). Cifre com c = mᵉ mod n e decifre com m = cᵈ mod n.

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.

Graus: o grau de um vértice é o número de arestas que o tocam. Cada aresta tem duas pontas, então os graus somam o dobro do número de arestas: Σ deg(v) = 2|E| (o lema do aperto de mãos). Portanto o número de vértices de grau ímpar é par. K_n tem n(n − 1)/2 arestas, um grafo k-regular com n vértices tem nk/2, e uma árvore com n vértices tem n − 1 arestas.

IPv4 subnetting: an address has 32 bits. The prefix /p says how many leading bits identify the network; the remaining 32 − p bits number the hosts. A subnet has 2³²⁻ᵖ addresses, but the first (network address) and last (broadcast address) cannot be given to hosts, so 2³²⁻ᵖ − 2 hosts fit. Exceptions: a /31 (point-to-point link, RFC 3021) uses both of its 2 addresses for hosts, and a /32 is one single address (a single host or a loopback).

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).