دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logik fur Informatiker
دانلود کتاب منطق دانشمندان کامپیوتر
مشخصات کتاب
Logik fur Informatiker
ویرایش: 5. Aufl
نویسندگان: Uwe Schoning
سری: Hochschultaschenbuch
ISBN (شابک) : 3827410053, 9783827410054
ناشر: Spektrum Akad. Verl
سال نشر: 2000
تعداد صفحات: 198
زبان: German
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب Logik fur Informatiker به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق دانشمندان کامپیوتر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق دانشمندان کامپیوتر
این کتاب خواننده را با زیر حوزه های اساسی منطق رسمی که بخشی از آموزش علوم کامپیوتر نظری است آشنا می کند. این ارائه بر اساس نیازهای دانشجویان علوم کامپیوتر است. به طور خاص، بسیاری از نتایج اصول محور منطق رسمی از دیدگاه الگوریتمی بررسی می شوند. این رویکرد به طور قابل توجهی دسترسی به حوزه موضوعی انتزاعی را تسهیل می کند. پروفسور شونینگ موفق به ارائه فشرده و قابل فهم منطق گزاره ای و محمولی می شود که در آن اصطلاحات مورد نیاز به طور دقیق معرفی شده و با مثال هایی نشان داده شده است. بر این اساس کاربردهای منطق در علوم کامپیوتر مانند ب. وضوح، اثبات خودکار و برنامه نویسی منطقی. تمرین های متعدد با دستورالعمل های دقیق راه حل، عمیق تر کردن موضوع را آسان تر می کند.
توضیحاتی درمورد کتاب به خارجی
Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet. Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.
فهرست مطالب
Inhaltsverzeichnis......Page 4
1.1 Grundbegriffe......Page 6
1.2 Äquivalenz und Normalformen......Page 11
1.3 Hornformeln......Page 15
1.4 Endlichkeitssatz......Page 17
1.5 Resolution......Page 18
2.1 Grundbegriffe......Page 24
2.2 Normalformen......Page 29
2.3 Unentscheidbarkeit......Page 34
2.4 Herbrand-Theorie......Page 38
2.5 Resolution......Page 42
2.6 Verfeinerung der Resolution......Page 50
3.1 Erzeugen von Antworten......Page 56
3.2 Hornklauselprogramme und deren Semantik......Page 60
3.3 Auswertungsstrategien......Page 67
3.4 Prolog......Page 71
Lösungshinweise......Page 77
Literaturverzeichnis......Page 95
Index......Page 98
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Gordon R. Willey and American Archeology: Contemporary Perspectives
دانلود کتاب Augenheilkunde
دانلود کتاب Il caffè sospeso. Saggezza quotidiana in piccoli sorsi
دانلود کتاب English for Business Studies Student's book: A Course for Business Studies and Economics Students
