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.

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.

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.

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