کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661642 1344852 2016 11 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Symbioses between mathematical logic and computer science
ترجمه فارسی عنوان
همزیستی بین منطق ریاضی و علوم کامپیوتر
کلمات کلیدی
محاسبات چندجمله ای؛ نقطه ثابت؛ گرفتن کلاس های پیچیدگی؛ منطق نقطه ثابت وجودی ؛ زمان چند جمله ای Choiceless؛ تصمیم ناپذیری
primary, 03B70; secondary, 03D70, 03C80, 68Q19Polynomial-time computation; Fixed points; Capturing complexity classes; Existential fixed-point logic; Choiceless polynomial time; Undecidability
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

This is a survey of some of the many interactions between mathematical logic and computer science. The general theme is that mathematical logic provides tools for understanding and unifying topics in computer science, while computer science provides new ways of looking at logical issues and underlines the importance of areas of logic that might otherwise have been neglected.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 10, October 2016, Pages 868–878
نویسندگان
,