Bilgisayar Biliminin Temelleri: hızlı tekrar paketi

Konumsal sayı sistemleri: her basamak, değeri çarpı tabanın bir kuvveti kadar değerlidir. İkilik sistemde basamaklar 1, 2, 4, 8, 16, …; onaltılık sistemde 1, 16, 256, … değerindedir ve A–F, 10–15'i gösterir. 8 bitlik ikiye tümleyende en soldaki bit +128 yerine −128 değerindedir; negatif sayılar böyle saklanır.

Bitleri ayarlamak: her bit ikinin bir kuvveti değerindedir (128, 64, …, 1). Bir onaltılık basamak tam olarak dört bittir ve 8 bitlik ikiye tümleyende en soldaki bit −128 değerindedir. Bit işlemleri her bit konumunda ayrı ayrı çalışır.

Mantıksal denklik: doğruluk tablosunun her satırında aynı değere sahip iki formül denktir (≡). Totoloji her satırda 1, çelişki her satırda 0’dır; olumsallık ikisi de değildir. Yararlı kurallar: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b ve ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (karşıt değil); ¬(a → b) ≡ a ∧ ¬b; ve dağılma kuralları, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

Niceleyiciler ve argümanlar: ¬∀x P(x) ≡ ∃x ¬P(x) ve ¬∃x P(x) ≡ ∀x ¬P(x). Değili içeri taşıyın, geçtiği her niceleyiciyi değiştirin ve iç formülün değilini ¬(a → b) ≡ a ∧ ¬b gibi önermeler mantığı kurallarıyla alın. Tüm öncüllerin 1 olduğu her satırda sonuç da 1 ise bir argüman geçerlidir. Öncüllerin doğru, sonucun yanlış olduğu tek bir satır bir karşı örnektir ve argümanın geçersiz olduğunu gösterir.

Karnaugh haritaları: hücreler Gray koduyla (00, 01, 11, 10) sıralanır; bu yüzden komşu hücreler, kenarların karşısındakiler dahil, tam olarak tek değişkende farklılaşır. 1’leri 1, 2, 4, 8 ya da 16 hücrelik dikdörtgenler içinde, olabildiğince büyük ve olabildiğince az sayıda gruplayın; her 1 kapsanana kadar. Her grup bir çarpım terimidir: grubun içinde sabit kalan değişkenler. 2ᵏ hücrelik bir grup k değişken kaybeder. Fark etmez durumları (X) grupları büyütmek için kullanılabilir ama kapsanmaları gerekmez. 0’ları gruplamak en küçük POS biçimini verir.

Flip-floplar ve sayıcılar: bir flip-flop yalnızca saatin etkin kenarında değişir. D girişini kopyalar (Q⁺ = D); T, T = 1 iken tersler; JK, 00 için tutar, 01 için sıfırlar, 10 için kurar, 11 için tersler. n bitlik bir ikilik sayıcının 2ⁿ durumu vardır ve 2ⁿ modunda sayar; mod-N sayıcı 0, 1, …, N − 1 sayıp 0’a döner ve 2ⁿ ≥ N olan en küçük n kadar flip-flop gerektirir. Bir dalgacık (ripple) sayıcının her aşaması frekansı yarıya indirir; bu yüzden mod-N sayıcının son çıkışı f_clk/N ile çalışır. n flip-flopluk bir Johnson sayıcının 2n durumu, bir halka sayıcının n durumu vardır.

Tersler ve denklikler: a’nın n modunda tersi, tam olarak ebob(a, n) = 1 olduğunda vardır. Genişletilmiş Öklid algoritması 1 = s·n + t·a yazar ve sonra a⁻¹ ≡ t (mod n) olur. ebob(a, n) = 1 olan a·x ≡ b (mod n) denkliğinin çözümü x ≡ a⁻¹·b’dir. Modülleri aralarında asal olan x ≡ r₁ (mod m₁) ve x ≡ r₂ (mod m₂) denkliklerinin m₁·m₂ modunda bir çözümü vardır (Çin kalan teoremi). Euler’in φ(n) fonksiyonu 1’den n’ye kadar n ile aralarında asal olan sayıları sayar: φ(n) = n·∏(1 − 1/p).

Tersler ve denklikler: a’nın n modunda tersi, tam olarak ebob(a, n) = 1 olduğunda vardır. Genişletilmiş Öklid algoritması 1 = s·n + t·a yazar ve sonra a⁻¹ ≡ t (mod n) olur. ebob(a, n) = 1 olan a·x ≡ b (mod n) denkliğinin çözümü x ≡ a⁻¹·b’dir. Modülleri aralarında asal olan x ≡ r₁ (mod m₁) ve x ≡ r₂ (mod m₂) denkliklerinin m₁·m₂ modunda bir çözümü vardır (Çin kalan teoremi). Euler’in φ(n) fonksiyonu 1’den n’ye kadar n ile aralarında asal olan sayıları sayar: φ(n) = n·∏(1 − 1/p).

Euler, Hamilton ve ağaçlar: bağlantılı bir grafın tüm köşelerinin derecesi çiftse bir Euler devresi (her kenar bir kez, başlangıca dönüş), tam olarak iki köşenin derecesi tekse devre olmayan bir Euler yolu vardır; yol bir tek dereceli köşeden ötekine gider. Bir Hamilton devresi her köşeyi bir kez ziyaret eder; K_n grafında bunlardan (n − 1)!/2 tane vardır. n köşeli bir ağacın n − 1 kenarı vardır ve m kenarlı bağlantılı bir graf m − n + 1 kenar kaldırıldıktan sonra bir kapsayan ağaç bırakır.

En kısa yollar ve kapsayan ağaçlar: Dijkstra algoritması her turda bir köşeyi kesinleştirir: geçici uzaklığı en küçük olan, henüz kesinleşmemiş köşeyi. Uzaklığı artık kesindir ve her komşu v için d(v) = min(d(v), d(u) + w(u, v)) alınır. Kruskal algoritması en küçük kapsayan ağacı, kenarları hafiften ağıra alıp bir döngü kapatacak kenarları atlayarak kurar; Prim algoritması bir başlangıç köşesinden tek bir ağaç büyütür ve her seferinde ağaçtan çıkan en hafif kenarı ekler. n köşeli bir kapsayan ağacın n − 1 kenarı vardır.

IPv4 alt ağları: bir adres 32 bittir. /p öneki, baştaki kaç bitin ağı belirttiğini söyler; kalan 32 − p bit cihazları numaralandırır. Bir alt ağda 2³²⁻ᵖ adres vardır, ancak ilki (ağ adresi) ve sonuncusu (yayın adresi) cihazlara verilemez; bu yüzden 2³²⁻ᵖ − 2 cihaz sığar. İstisnalar: /31 (noktadan noktaya bağlantı, RFC 3021) 2 adresinin ikisini de ana bilgisayarlar için kullanır, /32 ise tek bir adrestir (tek bir ana bilgisayar ya da loopback).

VLSM: her LAN, 2ʰ − 2 ≥ cihaz sayısı olan en küçük alt ağı, yani 32 − h önekini alır. Önce en büyük alt ağları atamak her bloğun kendi boyutunun bir katına hizalanmasını sağlar, bu yüzden ağ adresleri blok boyutlarını toplayarak bulunur.