پیش‌نویس:منطق در علوم کامپیوتر
منطق در علوم کامپیوتر مباحث میان منطق و از علوم کامپیوتر را پوشش می دهد.این موضوع را می توان به سه قسمت اصلی تقسیم کرد:
- مبانی نظری و آنالیز
- استفاده از فناوری کامپیوتر برای کمک به منطق دانان
- استفاده از مفاهیم منطقی برای برنامه های کامپیوتری