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 $d{x}_i$ dari variabel Boole $x_i$ menggambarkan relasi berikut:

$d{x}_i=\{\begin{array}{cc}0,& \text{tidak ada perubahan }{x}_i\\ 1,& \text{perubahan }{x}_i\end{array}$

dengan diferensial $d{x}_i$ 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

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) [1] (NB. Per this hardcover edition has been rereleased as softcover edition in 2010.)
• (49 pages)
• (24 of 153 pages)

Pranala luar

• with

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28369835 (2025-11-07T06:51:50Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.