From Wikipedia, the free encyclopedia
La lògica computacional és la mateixa lògica matemàtica aplicada al context de les ciències de la computació. El seu ús és fonamental a diversos nivells: en els circuits computacionals, a la programació lògica i a l'anàlisi i optimització (de recursos temporals i espacials) d'algorismes.
El nivell menys abstracte dins d'un ordinador està constituït per circuits electrònics que responen a diferents senyals elèctrics, seguint els patrons de la lògica booleana, és a dir, comportes lògiques que tornen un valor depenent de les entrades que se li donen al sistema. Hi ha vuit comportes lògiques bàsiques amb les quals es poden formar sistemes molt complexos: AND, OR, Inverter, Buffer, NAND, NOR, XOR i XNOR. Totes elles es representen mitjançant un símbol i una taula de valors de veritat, que és simplement un quadre on s'ubiquen totes les possibles entrades i els valors que tornaria la comporta donats aquests valors.
Tot sistema computacional, per molt complex que sigui, no està compost per més que circuits electrònics que únicament entenen un llenguatge binari. La lògica computacional s'encarrega de modelar i optimitzar aquests sistemes a aquest nivell.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.