Iskusstvo dokazatel'stva v matematike. Programmirovaniye

• Yumshoq muqova

• Qog'oz rangi: oq

• Xatcho‘p Hadya

• Sahifalar 440

• Kitobni yo'qotmaslik uchun savatga qoshib qoying📚

• Batafzil o'qing

Oliy matematika va nazariy informatika fanlarida dalillar asosiy rol o‘ynaydi, ammo ko‘plab talabalar asosan dalillarga asoslangan fanlarni o‘rganishda qiyinchiliklarga duch kelishadi. Ushbu bestsellerning uchinchi nashri talabalarga masalalarni mexanik yechishdan teoremalarni mazmunli isbotlashga o‘tishga yordam beradi, ularga isbotlarni o‘qish va yozish uchun zarur bo‘lgan usullarni o‘rgatadi.

Kitob mantiq va to‘plamlar nazariyasining asosiy tushunchalari bilan boshlanadi, ular misolida o‘quvchilar matematika tili va uning talqini bilan tanishadilar. Ushbu tushunchalar keyinchalik murakkab xulosalar uchun qo‘llaniladigan usullarning asosiga qo‘yilgan, jumladan, sonlar, to‘plamlar, munosabatlar va funksiyalarning xususiyatlari haqidagi nazariyalarning dalillarini qurish strategiyalarining batafsil bosqichma-bosqich tavsiflari.

Ushbu kitob mantiq va dalillarga qiziqqan har bir kishi uchun foydali bo‘ladi. O‘quvchi o‘rta maktab matematika kursi doirasidan chetga chiqmaydigan bilimlarga ega emas deb taxmin qilinadi.