دانلود کتاب Logics for Computer and Data Sciences, and Artificial Intelligence (به فارسی: منطق برای کامپیوتر و علوم داده، و هوش مصنوعی) نوشته شده توسط «Lech T. Polkowski»
اطلاعات کتاب منطق برای کامپیوتر و علوم داده، و هوش مصنوعی
نوع: کتاب الکترونیکی
ناشر: Springer Nature
نویسنده: Lech T. Polkowski
زبان: english
فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2022
تعداد صفحه: 608
حجم فایل: 4.38 مگابایت
کد کتاب: 3030916804 , 9783030916800
توضیحات کتاب منطق برای کامپیوتر و علوم داده، و هوش مصنوعی
این جلد به خواننده گزارشی سیستماتیک و سراسری از شاخه‌های منطق ابزاری برای علوم رایانه، علوم داده و هوش مصنوعی ارائه می‌دهد. در آن منطق‌های گزاره‌ای، محمولی، وجهی، معرفتی، پویایی، زمانی و همچنین منطق‌های چند ارزشی و منطق مفاهیم (منطق‌های خشن) در علم داده قابل استفاده است. نگاهی به منطق‌های مرتبه دوم و منطق‌های تقریبی قطعات ارائه می‌کند.
این کتاب با ضمیمه‌هایی درباره نظریه مجموعه‌ها، ساختارهای جبری، محاسبه‌پذیری، پیچیدگی، جبرهای MV و سیستم‌های انتقال، خودکارها و دستور زبان‌های رسمی به پایان می‌رسد.
با این ترکیب متن، خواننده یک توضیح مستقل به دست می‌آورد که می‌تواند به‌عنوان کتاب درسی درباره منطق و رشته‌های مرتبط و همچنین متن مرجع باشد.
This volume offers the reader a systematic and throughout account of branches of logic instrumental for computer science, data science and artificial intelligence. Addressed in it are propositional, predicate, modal, epistemic, dynamic, temporal logics as well as applicable in data science many-valued logics and logics of concepts (rough logics). It offers a look into second-order logics and approximate logics of parts.
The book concludes with appendices on set theory, algebraic structures, computability, complexity, MV-algebras and transition systems, automata and formal grammars.
By this composition of the text, the reader obtains a self-contained exposition that can serve as the textbook on logics and relevant disciplines as well as a reference text.
دانلود کتاب «منطق برای کامپیوتر و علوم داده، و هوش مصنوعی»
