دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Turbo Prolog ― Einführung in die Anwendung 29
دانلود کتاب توربو پرولوگ - معرفی برنامه 29
مشخصات کتاب
Turbo Prolog ― Einführung in die Anwendung 29
ویرایش: 1988
نویسندگان: Konrad Justen
سری: Programmieren von Mikrocomputern
ISBN (شابک) : 3528045612, 9783528045616
ناشر: Vieweg+Teubner Verlag
سال نشر: 1988
تعداد صفحات: 104
زبان: German
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 831 کیلوبایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب توربو پرولوگ - معرفی برنامه 29: توسعه نرم افزار، طراحی نرم افزار، تست و مهندسی، برنامه نویسی، کامپیوتر و فناوری، کامپایلرها، زبان های برنامه نویسی، کامپیوتر و فناوری
در صورت تبدیل فایل کتاب 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Microbiology Of Well Biofouling (Sustainable Water Well)
دانلود کتاب Ecografia de Tiroides
دانلود کتاب The Shimmering Blond Sister: A Berger and Mitry Mystery
دانلود کتاب Mastering Autodesk Navisworks 2013
