نرم افزار: سیستم ها: محاسبات علمی

مدلسازی کامپیوتری استدلال ریاضی

The computer modelling of mathematical reasoning

دانلود کتاب The computer modelling of mathematical reasoning (به فارسی: مدلسازی کامپیوتری استدلال ریاضی) نوشته شده توسط «Alan Bundy»


اطلاعات کتاب مدلسازی کامپیوتری استدلال ریاضی

موضوع اصلی: ریاضیات

نوع: کتاب الکترونیکی

ناشر: Academic Press

نویسنده: Alan Bundy

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1983

تعداد صفحه: 413

حجم کتاب: 3 مگابایت

کد کتاب: 0121412504 , 9780121412500 , 0121412520

توضیحات کتاب مدلسازی کامپیوتری استدلال ریاضی

این بررسی از کار انجام شده تا به امروز بر روی مدل‌سازی رایانه‌ای فرآیندهای استدلال ریاضی، انواع رویکردها و رشته‌ها را در چارچوبی منسجم گرد هم می‌آورد. دانش محدودی از ریاضیات در مقدمه اصول منطق ریاضی فرض شده است. طرح کتاب به گونه ای است که دانش آموزان با سوابق متنوع می توانند در سریع ترین زمان ممکن اطلاعات لازم را پیدا کنند. تمرینات در سراسر کتاب گنجانده شده است.<br


This review of the work done to date on the computer modelling of mathematical reasoning processes brings together a variety of approaches and disciplines within a coherent frame. A limited knowledge of mathematics is assumed in the introduction to the principles of mathematical logic. The plan of the book is such that students with varied backgrounds can find necessary information as quickly as possible. Exercises are included throughout the book.<br

دانلود کتاب «مدلسازی کامپیوتری استدلال ریاضی»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.