Logic in Computer Science
Modelling and Reasoning about Systems
Michael Huth, Mark Ryan
کد: 1113 قیمت: 8000 تومان فرمت: pdf صفحه: 427
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
.کتاب مقدمه ای روشن از استدلال صوری در رابطه با نیازهای علم کامپیوتر امروزی و کاربردهای عملی فراهم می آورد
Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included...
Ordinary Differential Equations
2nd Edition
Philip Hartman
کد: 1123 قیمت: 6000 تومان فرمت: djvu صفحه: 612
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
اصل کتاب به سال 1964 برمیگرد و اگرچه مدتی از انتشار آن گذشته اما بخوبی مبانی های نظری معادلات دیفرانسیل معمولی را پوشش میدهد.
This SIAM reissue of the 1982 second edition covers invariant manifolds, perturbations, and dichotomies, making the text relevant to current studies of geometrical theory of differential equations and dynamical systems.
Basic Set Theory
A. Shen, N.K. Vereshchagin
کد: 1112 قیمت: 8000 تومان فرمت: pdf صفحه: 116
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
کتاب منشر شده توسط AMS برای رنج وسیعی از خواننده گان، از دانشجویان کارشناسی گرفته تا ریاضیدانان مجرب قابل استفاده است. تمام مفاهیم اصلی نظریه غیر اصل موضوعی مجموعه ها معرفی شده است. همراه با 150 مساله کتاب مقدمه ای کامل و در دسترس را برای موضوع فراهم کرده است.
A Mathematical Introduction to Logic
2nd Edition
Herbert B. Enderton
کد: 1111 قیمت: 8000 تومان فرمت: djvu صفحه: 317
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات
ویرایش دوم کتاب مقدمه ای بر منطق ریاضی هربرت بی اندرتون با کاستن از سختی ریاضی ویرایش اول کتاب را برای دانشجویان دوره کارشناسی قابل دسترس تر کرده است. برای مطالعه کتاب پیشنیاز خاصی جز چند تجربه استدلال ریاضی لازم نیست.
Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
Modern Calculus and Analytic Geometry
Richard A. Silverman
کد: 1121 قیمت: 8000 تومان فرمت: djvu صفحه: 1034
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
کتاب حساس دیفرانسل و انتگرال و هندسه تحلیلی جدید ریچارد ا. سیلور من در عین حال که ریاضی وار به معرفی موضع میپردازد اما از کاربردهای آن غافل نمانده است. در این کتاب تقریبا تمامی قضایا به روشی های ساده اثبات شده اند لذا میتوان کتاب را به صورت خود آموز مطالعه کرد.
The highly readable text approaches calculus from the student's viewpoint and points out potential stumbling blocks before they develop. A collection of more than 1,600 problems ranges from exercise material to exploration of new points of theory.
Linear Algebra in Action
Harry Dym
کد: 1143 قیمت: 8000 تومان فرمت: djvu صفحه: 544
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
کتاب به صورت روان مفاهیم پایه و تکنیک های پیشرفته موضوع را به به زبان ریاضی بیان می کند و مناسب برای دانشجویان کارشناسی سالهای آخر و دانشجویان کارشناسی ارشد است. کتاب خود خوان self-study است و AMS آنرا به عنوان یک کتاب درسی منتشر کرده است.
The techniques are illustrated by a wide sample of applications and examples that are chosen to highlight the tools of the trade. In short, this is material that the author wishes he had been taught as a graduate student. Roughly the first third of the book covers the basic material of a first course in linear algebra. The remaining chapters are devoted to applications drawn from vector calculus, numerical analysis, control theory, complex analysis, convexity and functional analysis. In particular, fixed point theorems, extremal problems, matrix equations, zero location and eigenvalue location problems, and matrices with nonnegative entries are discussed. Appendices on useful facts from analysis and supplementary information from complex function theory are also provided for the convenience of the reader.
Linear Algebra and Its Applications
2nd Edition
Peter D.Lax
کد: 1142 قیمت: 7000 تومان فرمت: djvu صفحه: 376
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
:American Mathematical Monthly
"این کتاب علاوه بر دانشجویان کارشناسی ارشد به اساتید و پژوهشگران توصیه میشود و از آن دسته کتابهایست که در قفسه کتابخانه هر ریاضی دان جای دارد"
Linear Algebra and Its Applications, Second Edition presents linear algebra as the theory and practice of linear spaces and linear maps with a unique focus on the analytical aspects as well as the numerous applications of the subject. In addition to thorough coverage of linear equations, matrices, vector spaces, game theory, and numerical analysis, the Second Edition features student-friendly additions that enhance the book's accessibility, including expanded topical coverage in the early chapters, additional exercises, and solutions to selected problems.
An Introduction to Abstract Algebra
Derek J.S Robinson
کد: 1141 قیمت: 7000 تومان فرمت: pdf صفحه: 282
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
در این کتاب دِرِک روبینسِن علاوه بر معرفی مفاهیم اساسی جبر جدید کاربردهای زیادی از موضوع را مطرح می کند؛ بر اهمیت اثبات تاکید شده و تقریبا اثبات تمام نتایج داده شده است. حدود 400 مساله با درجات سختی متفاوت برای سنجش خواننده و پیشرفت او در نظر گرفته شده است.
In particular applications to Polya coloring theory, latin squares, Steiner systems and error correcting codes are described. Another feature of the book is that group theory and ring theory are carried further than is often done at this level.
Real Mathematical Analysis
2nd Edition
Charles C. Pugh
کد: 1151 قیمت : 1000 تومان فرمت: pdf صفحه: 478
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
آنالیر حقیقی ریاضی چارلز چپمن پِیو فارغ از هرگونه محاسبه و کاربرد به ریاضیات محض میپردازد و هدفش پرورش ریاضیدانان به شیوه ای مناسب است. تاکید کتاب روی موضوع های مهم آنالیز و مسائل سخت است. کتاب، حاصل 35 سال تجربه تدریس مولف در دانشگاه برکلی است. رستاخیز ریاضی شما را به خواندن این کتاب ارزشمند دعوت می کند.
The exposition is informal and relaxed, with many helpful asides, examples and occasional comments from mathematicians like Dieudonne, Littlewood and Osserman.
