منطق در علوم کامپیوتر
از EverybodyWiki Bios & Wiki
![](https://upload.wikimedia.org/wikipedia/commons/thumb/a/ad/Logic_Gates.svg/langfa-300px-Logic_Gates.svg.png)
منطق در علوم کامپیوتر مباحث میان منطق و از علوم کامپیوتر را پوشش می دهد.این موضوع را می توان به سه قسمت اصلی تقسیم کرد:
- مبانی نظری و آنالیز
- استفاده از فناوری کامپیوتر برای کمک به منطق دانان
- استفاده از مفاهیم منطقی برای برنامه های کامپیوتری
This article "منطق در علوم کامپیوتر" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:منطق در علوم کامپیوتر. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.