دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Aussagenlogik: Deduktion und Algorithmen
دانلود کتاب منطق پیشنهادی: کسر و الگوریتم
مشخصات کتاب
Aussagenlogik: Deduktion und Algorithmen
ویرایش: 1 نویسندگان: Prof. Dr. rer. nat. Hans Kleine Büning, Dr. rer. pol. Theodor Lettmann (auth.) سری: Leitfäden und Monographien der Informatik ISBN (شابک) : 9783519021339, 9783322848093 ناشر: Vieweg+Teubner Verlag سال نشر: 1994 تعداد صفحات: 448 زبان: German فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 19 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب منطق پیشنهادی: کسر و الگوریتم: مهندسی، عمومی
در صورت تبدیل فایل کتاب Aussagenlogik: Deduktion und Algorithmen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق پیشنهادی: کسر و الگوریتم نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق پیشنهادی: کسر و الگوریتم
\"... این کتاب درسی ... مبانی این حوزه را به تفصیل و جامع ارائه می کند.\" P. Schmitt. اخبار بین المللی ریاضی، وین
توضیحاتی درمورد کتاب به خارجی
"... Dieses Lehrbuch ... stellt die Grundlagen dieses Gebiets ausführlich und umfassend ... dar." P. Schmitt. Internationale Mathematische Nachrichten, Wien
فهرست مطالب
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
