MATA77 - Pemrograman Fungsional

Deskripsi

Ekspresi, nilai, fungsi, dan tipe. Pemrograman dengan daftar. Polimorfisme dan fungsi tingkat tinggi. Evaluasi ekspresi, reduksi, dan konversi (ketat dan malas). Pemrograman dengan tipe aljabar. Modul dan tipe data abstrak. Induksi, invarian, dan pembuktian properti. Model biaya sederhana untuk program fungsional; kompleksitas waktu dan ruang.

Program

Tujuan: Tidak ada tujuan yang terdaftar.

Konten: Tidak ada konten yang terdaftar.

Bibliografi: Tidak ada bibliografi yang terdaftar.

Daftar Kelas

Tidak ada penawaran kelas untuk semester ini.