Boole cebiri
Semboller > Elektronik mantık kapıları > g) Değil kapısı

Değil Kapısı bir giriş ve bir de çıkış ucuna sahiptir. Girişine gelen Binary kodu tersleyerek çıkışına iletir. Yani giriş 1 iken çıkış 0, giriş 0 iken çıkış 1 'dir. Hesaplamalardaki formülü Q = A' şeklindedir. Aşağıda Değil kapısının sembolü ve iç yapısı görülmektedir.
Boolean matematiği tamamen 1 ve 0 üzerine kurulu bir matematiktir. Bu 1 ve 0, düşük - yüksek, var - yok, olumlu - olumsuz, gibi terimlere benzetilebilir. Boolean matematiğinde, (') işareti tersi, (.) işareti Ve, (+) işareti Veya, (Å) işareti de özel veya manasına gelmektedir.
| g t Dijital elektronik |
| --- | --- |
Bileşenler:  Mantıksal kapı  Dijital elektronik  Mikroçip 
Teori:  Boole cebiri  Sayısal işaret işleme  Bilgisayar mimarisi 
Uygulamalar:  Bilgisayar donanımı  Sayısal ses  Dijital fotoğrafçılık  Sayısal video 
| g t Bilgisayar biliminin alt dalları |
| --- | --- | --- |
| Matematiksel temeller | Matematiksel mantık ·  Kümeler kuramı ·  Sayı teorisi ·  Çizge teorisi ·  Tip teorisi ·  Kategori teorisi ·  Sayısal çözümleme ·  Bilgi teorisi ·  Kombinatorik ·  Boole cebiri |  |
| Hesaplama teorisi | Otomat teorisi ·  Hesaplanabilirlik teorisi ·  Hesaplamalı karmaşıklık teorisi ·  Kuantum hesaplama teorisi |  |
| Algoritmalar ve veri yapıları | Algoritma çözümlemesi ·  Algoritma tasarımı ·  Hesaplamalı geometri |  |
| Programlama dilleri ve derleyiciler | Ayrıştırıcılar ·  Yorumlayıcılar ·  Yordamsal programlama ·  Nesne yönelimli programlama ·  Fonksiyonel programlama ·  Mantık programlama ·  Programlama paradigmaları |  |
| Eşzamanlı, paralel ve dağıtık sistemler | Çoklu işleme ·  Dağıtımlı hesaplama ·  Eşzamanlılık denetimi |  |
| Yazılım mühendisliği | Gereksinim çözümleme ·  Yazılım tasarımı ·  Bilgisayar programlama ·  Biçimsel yöntemler ·  Yazılım testi ·  Yazılım geliştirme süreci |  |
| Sistem mimarisi | Bilgisayar mimarisi ·  Bilgisayar organizasyonu ·  İşletim sistemi |  |
| Telekomünikasyon ve ağ oluşturma | Bilgisayar müziği ·  Yönlendirme ·  Örgü topolojisi ·  Kriptografi |  |
| Veritabanları | Veritabanı yönetim sistemleri ·  İlişkisel veritabanı ·  SQL ·  İşlem yürütme ·  Veritabanı indeksleme ·  Veri madenciliği ·  Metadata (Üst veri) ·  Ana veri (Master data) |  |
| Yapay zekâ | Otomatikleştirilmiş muhakeme ·  Bilgisayarlı dilbilim ·  Bilgisayarlı görü ·  Evrimsel hesaplama ·  Uzman sistemler ·  Makine öğrenimi ·  Doğal dil işleme ·  Robotik |  |
| Bilgisayar grafikleri | Görselleştirme ·  Bilgisayar animasyonu ·  Görüntü işleme |  |
| İnsan-bilgisayar etkileşimi | Bilgisayar erişilebilirliği ·  Kullanıcı arayüzleri ·  Giyilebilir hesaplama ·  Yaygın bilişim ·  Sanal gerçeklik |  |
| Bilimsel hesaplama | Yapay yaşam ·  Biyoenformatik ·  Bilişsel bilim ·  Bilgisayarlı kimya ·  Hesaplamalı nörobilim ·  Hesaplamalı fizik ·  Sayısal algoritmalar ·  Sembolik matematik |  |
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir.
| g t Cebir |
| --- | --- |
Alanlar:  Soyut cebir  Kategori teorisi  Temel cebir  K-teori  Değişmeli cebir  Geçişli olmayan cebir  Sıra teorisi  Evrensel cebir  Homolojik cebir  Bilgisayar cebri (Boole cebri  • İletişim sistemleri cebiri  • İlişkisel cebir)  Mantıksal Cebir  Temsil teorisi 
Cebirsel yapılar:  Grup teorisi (Grup)  Halka teorisi (Halka)  Modül teorisi (Modül)  Cisim  Alan  Polinom Halkaları (Polinom)  Birleşmeli cebir  Lie cebiri 
Lineer cebir:  Matris teorisi  Vektör uzayı (Vektör  • Vektör hesabı)  Modül  İç çarpım uzayı (Nokta çarpım)  Hilbert uzayı 
Çokludoğrusal cebir:  Tensör cebri (Tensör)  Dış cebir  Simetrik cebir  Geometrik cebir (Çoklu vektör) 
Listeler:  Soyut cebir  Cebirsel yapılar  Grup teorisi  Doğrusal cebir  Sophus Lie 
Tablolar:  Lie gruplarının tablosu 
Sözlükler:  Doğrusal cebir  Cisim teorisi  Halka teorisi  Sıra teorisi 
İlgili konular:  Matematik  Cebir tarihi  Cebirsel geometri  Cebirsel kombinatorik  Cebirsel topoloji  Cebirsel sayı teorisi  Cebirin temel teoremi  Üreteç Heyting cebri  Süper açıkorur cebir  Kac-Moody cebiri  Hopf cebiri  Poisson cebri  Heisenberg cebri 
  Kategori   Wikibooks Temel  Lineer  Soyut   Wikiversity Lineer  Soyut 
| --- | --- |
Otorite kontrolü :  BNE: XX4576349  BNF: cb119793249 (data)  GND: 4146280-4  LCCN: sh85003429  NDL: 00560863  NLI: 987007293933005171