ورود به حساب کاربری

خرید کتاب Isabelle/Hol

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
Isabelle/Hol

Isabelle/Hol

Isabelle/Hol
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

A Proof Assistant for Higher-Order Logic

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Isabelle/Hol
A Proof Assistant for Higher-Order Logic
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel's proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the ?y, but hardly anybody does that. Wenzel's dedicated syntax is elegant, replacing for example eight simpli?cation tactics with a single method, namely simp, with associated - tions. The book has three parts. - The ?rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. - The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL's treatment of sets, functions, and relations and explains how to de?ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2002

نویسنده

Lawrence C. Paulson

ناشر

Springer

شابک

9783540433767
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Quantum Field Theory

Quantum Field Theory

D. Maison
20
هزار تومان
Advances in Knowledge Discovery and Data Mining.

Advances in Knowledge Discovery and Data Mining.

بدون نویسنده
20
هزار تومان
Mathematical Theory of Nonequilibrium Steady States.

Mathematical Theory of Nonequilibrium Steady States.

بدون نویسنده
20
هزار تومان
Geometric Methods in the Algebraic Theory of Quadratic Forms

Geometric Methods in the Algebraic Theory of Quadratic Forms

Alexander V...
20
هزار تومان
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Bernhard St...
20
هزار تومان
Wireless Sensor Networks.

Wireless Sensor Networks.

بدون نویسنده
20
هزار تومان
Information Security Applications.

Information Security Applications.

Kijoon Chae...
20
هزار تومان
Databases, Information Systems, and Peer-To-Peer Computing

Databases, Information Systems, and Peer-To-Peer Computing

Karl Aberer
20
هزار تومان
Coordination Models and Languages.

Coordination Models and Languages.

Rocco De Ni...
20
هزار تومان
Engineering Self-Organising Systems

Engineering Self-Organising Systems

Omer F. Rana
20
هزار تومان
Advances in Information Retrieval.

Advances in Information Retrieval.

Sharon McDo...
20
هزار تومان
Programming Languages and Systems

Programming Languages and Systems

David Sands
20
هزار تومان
Quantum Future From Volta and Como to the Present and Beyond.

Quantum Future From Volta and Como to the Present and Beyond.

بدون نویسنده
20
هزار تومان
Francis Bacon

Francis Bacon

Sarah Covin...
20
هزار تومان
Advances in Knowledge Discovery and Data Mining

Advances in Knowledge Discovery and Data Mining

Kyuseok Shim
20
هزار تومان
Mathematical Aspects of Evolving Interfaces

Mathematical Aspects of Evolving Interfaces

Luigi Ambrosio
20
هزار تومان
Text, Speech and Dialogue

Text, Speech and Dialogue

Pavel Mautner
20
هزار تومان
Advances in Databases and Information Systems

Advances in Databases and Information Systems

Leonid Kali...
20
هزار تومان
Technologies for E-Services

Technologies for E-Services

Boualem Ben...
20
هزار تومان
Algorithms in Bioinformatics

Algorithms in Bioinformatics

Roderic Page
20
هزار تومان
Databases in Networked Information Systems.

Databases in Networked Information Systems.

بدون نویسنده
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن