Kalkulus diferensial Boolean

Kalkulus diferensial Boole () merupakan sebuah bidang subjek aljabar Boolean yang membahas tentang perubahan variabel Boole dan fungsi Boole. Konsep ini mirip dengan konsep kalkulus diferensial klasik, khususnya dalam mempelajari perubahan fungsi dan variabel terhadap yang lain.

Ada berbagai aspek teori sistem dinamik yang dipelajari dengan menggunakan kalkulus ini, seperti teori automata pada automata berhingga, teori jaring Petri, dan teori kontrol pengawasan.

Sejarah dan penerapan 

Kalkulus ini pada awalnya terinspirasi oleh sebuah desain dan uji tentang switching circuit dan pemanfaatan sandi pengoreksian galat dalam teknik listrik. Hal tersebut merupakan akar pengembangan dari apa yang akan berkembang menjadi kalkulus diferensial Boolean. Pengembangan ini diprakarsai sekitar tahun 1954 dan 1959 oleh karya Irving S. Reed, David E. Muller, David A. Huffman, Sheldon B. Akers Jr. dan  , lalu dikembangkan pada tahun 1968 oleh Frederick F. Sellers Jr., Mu-Yue Hsiao and Leroy W. Bearnson.

Pada tahun 1970-an, karya-karya seperti , Marc Davio dan  membentuk dasar-dasar tentang kalkulus diferensial Boole. Kalkulus tersebut dikembangkan lebih lanjut oleh ,  dan  agar menjadi teori matematika yang mempunyai prinsip-prinsipnya tersendiri di kemudian hari.

Sebuah teori pelengkap kalkulus integral Boolean (bahasa Jerman: ) telah dikembangkan juga.

KDB juga telah menemukan kegunaan dalam sistem dinamis kejadian diskrit (SDKD) dalam jaringan digital protokol komunikasi.

Sementara itu, KDB telah melihat ekstensi ke multi-nilai variabel dan fungsi serta kekisi dari fungsi Boolean.

Ikhtisar 
Operator diferensial Boole memainkan peran penting dalam kalkulus diferensial Boole. Operator tersebut dapat memperluas kegunaan diferensial dari analisis klasik ke fungsi logis.

Diferensial  dari variabel Boole  menggambarkan relasi berikut:

 

dengan diferensial  adalah biner, yang dapat dipakai seperti variabel biner biasa. Relasi tersebut tidak mempunyai batasan mengenai sifat, penyebab dan akibat dari suatu perubahan.

Lihat pula 
 Aljabar Boole
 Teorema ekspansi Boole
 Kerangka kerja Ramadge–Wonham

Referensi

Bacaan lebih lanjut 
  (14 pages)
  (462 pages)
  (9 pages) Translation of:  (9 pages)
  (18 pages)
  (NB. Also: Chemnitz, Technische Universität, Dissertation.) (147 pages)
  (15 pages)
  (392 pages)
  (xxii+232 pages)  (NB. Per  this hardcover edition has been rereleased as softcover edition in 2010.)
  (49 pages)
  (24 of 153 pages)

Pranala luar
 
  with 

Aljabar
Automata (perhitungan)
Logika matematika
Teori order
Teori himpunan