Electronic Resource

e-Book - Introduction to Theoretical Computer Science

Buku referensi ini digunakan sebagai diktat utama untuk mata kuliah ilmu komputer teoretis tingkat lanjut di Harvard University dan MIT. Penulis mengambil pendekatan modern dengan mendefinisikan komputer sebagai fungsi matematika, bukan perangkat fisik. Cakupan materi meliputi Mesin Turing, pembuktian teori P vs NP, sirkuit Boolean, batasan komputasi tidak terputuskan (uncomputability), dasar-dasar kompleksitas ruang dan waktu, hingga pengenalan komputasi kuantum. Seluruh bab dan kode pelengkap disediakan secara legal dan gratis melalui Situs Resmi Boaz Barak / Harvard SEAS.

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

004.0151 BOA i

Penerbit

Harvard University : Self-published., 2023

Deskripsi Fisik

656 halaman; ilustrasi diagram ; 28 cm

Bahasa

English

ISBN/ISSN

-

Klasifikasi

004.0151

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

Buku teks akademik technology-agnostic yang fokus pada fondasi matematika dari ilmu komputer. Materi di dalamnya mengupas tuntas teori komputasi, model matematika komputer, batasan komputasi (limits of computation), kriptografi dasar, serta hubungan antara efisiensi algoritma dan fisika kuantum.

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar