Image of Automata and Computability : a programmer's perspective

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.

Ketersediaan
20073312005.1092 GOP a c.1Perpustakaan Pusat ITERA (Rak Kelas 000)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
005.1092 GOP a
Penerbit
United Kingdom : CRC Press.,
Deskripsi Fisik
xx + 327 hlm .; ilus
Bahasa
Inggris
ISBN/ISSN
978-1-138-55242-5
Klasifikasi
005.1092
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
First Edition
Subjek
Teknik Informatika
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Komentar
Anda harus login sebelum memberikan komentar