Text
Automata and Computability : a programmer's perspective
Automata and Computability adalah buku teks yang telah teruji di kelasnya yang memberikan pengantar yang komprehensif dan dapat diakses untuk teori automata dan komputasi. Penulis menggunakan ilustrasi, contoh yang menarik, dan catatan sejarah untuk membuat materi menarik dan relevan bagi siswa. Ini menggabungkan ide-ide modern / praktis, seperti penguraian berbasis turunan dan peredam Lambda yang menunjukkan universalitas kalkulus Lambda. Buku ini juga menunjukkan cara memahat automata dengan membuat pipeline konversi bahasa reguler tersedia melalui antarmuka perintah sederhana. Notebook Jupyter akan menemani buku untuk menampilkan kode, video YouTube, dan suplemen lain untuk membantu instruktur dan siswa
fitur
Menggunakan ilustrasi, contoh yang menarik, dan catatan sejarah untuk membuat materi dapat diakses
Menggabungkan ide-ide modern / praktis, seperti penguraian berbasis turunan dan peredam Lambda yang menunjukkan universalitas kalkulus Lambda
Menunjukkan cara "memahat" automata dengan membuat saluran konversi bahasa reguler tersedia melalui antarmuka perintah sederhana
Menggunakan notasi pemrograman fungsional mini (FP) yang terdiri dari lambda, peta, filter, dan pemahaman himpunan (didukung dengan Python) untuk menyampaikan matematika melalui konstruksi PL yang ringkas dan menyerupai matematika
Menyediakan semua konsep yang dikodekan dalam kode Pemrograman Fungsional kompak yang akan berhubungan dengan markup Latex dan widget Jupyter dalam dokumen yang akan menyertai buku. Siswa dapat menjalankan kode dengan mudah href = "https://github.com/ganeshutah/Jove.git/" di sini.
20073312 | 005.1092 GOP a c.1 | Perpustakaan Pusat ITERA (Rak Kelas 000) | Tersedia |
Tidak tersedia versi lain