پیش‌نویس:منطق در علوم کامپیوتر

نمایش دیاگرام گیت های منطقی رایانه

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

  • مبانی نظری و آنالیز
  • استفاده از فناوری کامپیوتر برای کمک به منطق دانان
  • استفاده از مفاهیم منطقی برای برنامه های کامپیوتری