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.

Equivalência lógica: duas fórmulas são equivalentes (≡) quando têm o mesmo valor em todas as linhas da tabela-verdade. Uma tautologia vale 1 em todas as linhas, uma contradição vale 0 em todas as linhas, e uma contingência não é nenhuma das duas. Leis úteis: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b e ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (contrapositiva); ¬(a → b) ≡ a ∧ ¬b; e as leis distributivas, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

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

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.

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

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.