دانلود کتاب Aussagenlogik: Deduktion und Algorithmen
کتاب منطق گزاره ای: استنتاج و الگوریتم ها نسخه زبان اصلی
دانلود کتاب منطق گزاره ای: استنتاج و الگوریتم ها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Aussagenlogik: Deduktion und Algorithmen
نام کتاب : Aussagenlogik: Deduktion und Algorithmen
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق گزاره ای: استنتاج و الگوریتم ها
سری : Leitfäden und Monographien der Informatik
نویسندگان : Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.)
ناشر : Vieweg+Teubner Verlag
سال نشر : 1994
تعداد صفحات : 448
ISBN (شابک) : 9783519021339 , 9783322848093
زبان کتاب : German
فرمت کتاب : pdf
حجم کتاب : 19 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
"...این کتاب درسی... مبانی این حوزه را به تفصیل و جامع ارائه می کند." پی. اشمیت. اخبار بین المللی ریاضی، وین
فهرست مطالب :
Front Matter....Pages I-X
Einführung in die Aussagenlogik....Pages 1-14
Datenstrukturen und Normalformen....Pages 15-48
Erfüllbarkeit....Pages 49-135
Resolution....Pages 136-216
Horn-Logik....Pages 217-313
Kalküle....Pages 314-360
Quantifizierte Formeln....Pages 361-408
Back Matter....Pages 409-438
توضیحاتی در مورد کتاب به زبان اصلی :
"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien
پست ها تصادفی