![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Logic_Gates.svg/langfa-640px-Logic_Gates.svg.png&w=640&q=50)
منطق در علوم کامپیوتر
رشته دانشگاهی / From Wikipedia, the free encyclopedia
منطق در علوم کامپیوتر مباحث مشترک میان منطق و علوم کامپیوتر را پوشش می دهد. این موضوع را می توان به سه قسمت اصلی تقسیم کرد:
- مبانی نظری و آنالیز
- استفاده از فناوری کامپیوتر برای کمک به منطق دانان
- استفاده از مفاهیم منطق برای برنامه های کامپیوتری
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Logic_Gates.svg/640px-Logic_Gates.svg.png)