„Boole-algebra (informatika)” változatai közötti eltérés
| [nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
→A logikai változók értéke: pt ki |
a Robot dolgozik: Helyesírási javítások |
||
1. sor:
:''Ez a szócikk a [[Boole-algebra]] informatikai, illetve digitális technikai alkalmazásait tartalmazza – ily módon a bináris értékekkel történő számítást. A Boole-algebra mint [[matematikai struktúra]] a [[Boole-algebra]] szócikkben, mint [[matematikai logika]]i interpretáció a [[logikai függvények]] szócikkben keresendő.''
A '''Boole-algebra''' ([[George Boole]]-ról kapta a nevét) a programvezérelt digitális számítógép kidolgozásának matematikai alapja. A Boole-algebra informatikai értelmeben olyan mennyiségek közötti összefüggések törvényszerűségeit vizsgálja, amelyek csak két értéket vehetnek fel. A ''kijelentéslogika'' pl., amely a logika algebrájának egy interpretációjaként fogható fel, olyan kijelentésekkel dolgozik, amelyek vagy "igazak", vagy "hamisak", és keressük az olyan kijelentések valóságtartalmát, amelyek helyes vagy hamis elemi kijelentésekből tevődnek össze.''
| |||