منطق در علوم کامپیوتر

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

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.