Dasturchilar uchun hisoblash nazariyasi
Hisoblash nazariyasi va dasturlash tillarini loyihalashni o'rganishning qiziqarli va amaliy usuli nihoyat keldi! Ushbu kitobda nazariy informatika sizga yaxshi tanish bo'lgan kontekstda bayon etilgan bo'lib, uning g'oyalari nima uchun muhimligini va ular dasturchi kundan-kunga ishda nima qilayotganiga qanday ta'sir qilishini baholashga yordam beradi. Ushbu kitobda matematik yozuv yoki Haskell yoki Lisp kabi notanish akademik dasturlash tili o'rniga rasmiy semantikani, avtomatika nazariyasini va funktsional dasturlashni lambda hisobi bilan birgalikda tushuntirish uchun Ruby minimallashtirilgan til qo'llaniladi. Nashr zamonaviy tillardan kamida bittasi bilan tanish bo'lgan, ammo kompyuter fanida rasmiy tayyorgarlikka ega bo'lmagan har qanday malakali dasturchilar uchun mo'ljallangan.
Sharhlar topilmadi
