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.

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.

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

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