Jabarkan Logic and computation dari Logika dalam bahasa sunda

Logic is extensively used in the fields of artificial intelligence, and computer science.

In the 1950s and 1960s, reséarchers predicted that when human knowledge could be expressed using logic with mathematical notation, it would be possible to créate a machine that réasons, or artificial intelligence. This turned out to be more difficult than expected because of the complexity of human réasoning. Logic programming is an attempt to maké computers do logical réasoning and Prolog programming language is commonly used for it.

In symbolic logic and mathematical logic, proofs by humans can be computer-assisted. Using automated theorem proving the machines can find and check proofs, as well as work with proofs too lengthy to be written out by hand.

In computer science, Boolean algebra is the basis of hardware design, as well as much software design.

There are also various systems for réasoning about computer programs. Hoare logic is one the éarliest of such systems. Other systems are CSP, CCS, pi-calculus for réasoning about concurrent processes or mobile proceses. See also computability logic; this is a formal théory of computability in the same sense as classical logic is a formal théory