Bilgisayar Biliminin Temelleri: hızlı tekrar paketi

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.

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.

Boole cebiri: ifadeleri sadeleştiren kurallar X + X′ = 1 ve X·X′ = 0, X + X = X, soğurma X + X·Y = X, birleştirme kuralı X·Y + X·Y′ = X, X + X′Y = X + Y ve uzlaşma teoremi XY + X′Z + YZ = XY + X′Z’dir. De Morgan yasaları (X·Y)′ ifadesini X′ + Y′’ye ve (X + Y)′ ifadesini X′·Y′’ye çevirir. Bir Karnaugh haritası bu kuralları grafik olarak uygular: iki komşu hücrelik her grup, XY + XY′ = X kuralının bir kullanımıdır.

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

Rota özetleme: a.b.c.0/p özet rotası, ilk p biti eşleşen tüm ağları kapsar. İlk ve son ağın farklı olan oktetini ikili olarak yazın; ortak baştaki bitlerin sayısı artı ondan önceki oktetlerin bitleri, en uzun özet önekidir.