Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Logic in computer science
open-in-new
<p>Logic in computer science covers the overlap between the field of <a href="/facts/Logic/8JnpJLtt">logic</a> and that of <a href="/facts/Computer_science/lN3pEyPz">computer science</a>. The topic can essentially be divided into three main areas: </p> <ul><li>Theoretical foundations and analysis</li> <li>Use of computer technology to aid logicians</li> <li>Use of concepts from logic for computer applications</li></ul>