لایب سان

Designed for a one-semester course for undergraduate majors in math, computer science, and computer engineering, this text helps students take the crucial step from consuming mathematics to producing mathematics. Author Vadim Ponomarenko employs the general concept of discrete mathematics to introduce the basic knowledge of proof techniques and their uses.
Like other beginning texts on methods of proof, this treatment offers definitions, theorems, and techniques. Unlike other books, it explains how to read, interpret, and use definitions, demonstrating not only general proof strategies — like proof of induction — but also the specific methods of thought for implementing these strategies. All techniques are built from scratch to provide an intellectually consistent whole. Each chapter contains several exercises, for which the author provides hints rather than solutions to encourage creative thinking.

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