ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Turbo Prolog ― Einführung in die Anwendung 29

دانلود کتاب توربو پرولوگ - معرفی برنامه 29

Turbo Prolog ― Einführung in die Anwendung 29

مشخصات کتاب

Turbo Prolog ― Einführung in die Anwendung 29

ویرایش: 1988 
نویسندگان:   
سری: Programmieren von Mikrocomputern 
ISBN (شابک) : 3528045612, 9783528045616 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1988 
تعداد صفحات: 104 
زبان: German 
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 831 کیلوبایت

قیمت کتاب (تومان) : 41,000



کلمات کلیدی مربوط به کتاب توربو پرولوگ - معرفی برنامه 29: توسعه نرم افزار، طراحی نرم افزار، تست و مهندسی، برنامه نویسی، کامپیوتر و فناوری، کامپایلرها، زبان های برنامه نویسی، کامپیوتر و فناوری



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب Turbo Prolog ― Einführung in die Anwendung 29 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب توربو پرولوگ - معرفی برنامه 29 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب توربو پرولوگ - معرفی برنامه 29

هوش مصنوعی با تکرار رفتار هوشمند انسان توسط کامپیوترها سروکار دارد. یکی از زیر حوزه های آن اثبات خودکار است که در آن فعالیت اثبات گزاره های ریاضی، یعنی فعالیت ریاضیدانان، شبیه سازی می شود. در اینجا این سوال مطرح می شود که آیا یک فرمول (یک عبارت، یک جمله) منطق محمول را می توان به طور مکانیکی، توسط یک برنامه کامپیوتری، از فرمول های معین معین استخراج کرد؟ یک مفسر یا کامپایلر Prolog (یک سیستم Prolog) را می توان به عنوان یک برنامه اشتقاق یا اثبات، به عنوان یک مکانیسم استنتاج، برنامه Prolog خود به عنوان مجموعه ای از فرمول های داده شده، به عنوان یک پایگاه دانش در نظر گرفت. Prolog یک سیستم مکالمه است: کاربر یک مشکل، یک سوال (در مورد یک پایگاه دانش) مطرح می کند و پس از اینکه روش استنتاج قابلیت اشتقاق از پایگاه دانش و غیره را بررسی کرد، پاسخ می گیرد. Prolog یک زبان برنامه نویسی توصیفی (تعریفی) است. یک برنامه در Prolog فقط یک مشکل را توصیف می کند، فقط قوانین و شرایط اولیه آن را ارائه می دهد، فقط دانش مشکل را ارائه می دهد. همانطور که در زبان های برنامه نویسی مرسوم وجود دارد - گام به گام نحوه دستیابی به راه حلی برای مشکل با کمک دانش مشکل را تجویز نمی کند. یک سیستم مبتنی بر دانش یک برنامه حل مسئله است که حداقل شامل یک پایگاه دانش و یک مکانیسم استنتاج به عنوان اجزا است. بر این اساس، می‌توانیم هر برنامه Prolog را همراه با مفسر یا کامپایلر آن به عنوان یک سیستم مبتنی بر دانش در نظر بگیریم: برنامه پایگاه دانش را تشکیل می‌دهد و سیستم Prolog مکانیزم استنتاج را فراهم می‌کند. سیستم خبره یک سیستم مبتنی بر دانش است که توانایی حل مسئله یک متخصص را شبیه سازی می کند.


توضیحاتی درمورد کتاب به خارجی

Die Künstliche Intelligenz befaßt sich mit der Nachbildung von intelligentem mensch­ lichen Verhalten durch Computer. Eines ihrer Teilgebiete ist das Automatische Beweisen, wo die Tätigkeit des Beweisens mathematischer Aussagen, die Tätigkeit von Mathematikern also, simuliert werden soll. Hier stellt man sich die Frage, ob eine Formel (eine Aussage, ein Satz) der Prädikatenlogik aus gewissen vorgegebenen Formeln mechanisch, durch ein Computerprogramm, ableitbar ist. Ein Prolog-Interpreter oder -Compiler (ein Prolog-System) kann aufgefaßt werden als ein solches Ableitungs- oder Beweisprogramm, als ein Inferenzmechanismus, das Prolog­ Programm selbst als eine Reihe vorgegebener Formeln, als Wissensbasis. Prolog ist ein dialogorientes System: Der Benutzer stellt ein Problem, eine Frage (zu einer Wissensbasis) und erhält eine Antwort, nachdem das Inferenzverfahren die Ableit­ barkeit aus der Wissensbasis untersucht hat, usw. Prolog ist eine deskriptive (deklarative) Programmiersprache. Ein Programm in Prolog beschreibt ein Problem nur, nennt nur seine Grundregeln und -bedingungen, gibt nur das Problemwissen an. Es schreibt nicht - wie das in konventionellen Programmier­ sprachen der Fall ist - Schritt für Schritt vor, wie man mit Hilfe des Problemwissens zu einer Problemlösung gelangt. Ein Wissensbasiertes System ist ein Problemlösungsprogramm, das als Komponenten mindestens eine Wissensbasis und einen Inferenzmechanismus beinhaltet. Danach können wir jedes Prolog-Programm zusammen mit seinem Interpreter oder Compiler als Wissensbasiertes System auffassen: Das Programm bildet die Wissensbasis, und das Prolog-System liefert den Inferenzmechanismus. Ein Expertensystem ist ein Wissensbasiertes System, das die Problemlösefahigkeit eines Experten simuliert.





نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی