ALGORITMA PEMROGRAMAN 1C Pendahuluan Bahasa Pemrograman Sintaks Semantik Pragmatik Abstraksi dan Generalisasi Domain dan Tipe Pemrograman Logis Pemrograman Fungsional Pemrograman Imperatif Pemrograman Konkuren Pemrograman Beorientasi Obyek Kompilasi INTRODUKSI MODEL KOMPUTASI

Introduksi Konsep Dasar Pemrograman Data Model Komputasi Definisi Sintaks, Semantik, dan Pragmatik Prinsip-prinsip Desain Bahasa Pemrograman

SINTAKS Alfabet, string dan Bahasa Bahasa dan Tata Bahasa BNFdan CFG Parsing: Top Down dan Bottom Up SEMANTIK Konsep semantik bahasa pemrograman Teknik pendeskripsian semantik bahasa pemrograman Pendekatan sintaks directed translation

PRAGMATIK Kemudahan implementasi Efisiensi aplikasi Metodologi pemrograman

ABSTRAKSI DAN GENERALISASI Konsep dasar abstraksi dan generalisasi Jenis-jenis binding Enkapsulasi Prinsip generalisasi Prinsip Analogi Prinsip Parameterisasi Substitusi Prinsip Korespondensi Struktur blok Aturan cakupan Statik Dinamik Lingkungan

DOMAIN DAN TIPE Konsep nilai, domain, dan tipe Kategori Domain Teori Elemen-Elemen Domain Domain Produk, Domain Sum, Domain Fungsi, Domain Power, Domain Terdefinisi Rekursif Sistem Tipe Tipe Checking, - Tipe Ekuivalensi Nama Ekuivalensi Struktural Ekuivalensi Tipe Inferensi, - Tipe Deklarasi Polimorfisme Kelengkapan Tipe

PEMROGRAMAN LOGIKA Konsep dasar Pemrograman Logika dan contoh aplikasinya Sintaks Fakta, Predikat dan Atom Semantik Semantik Operasional Contoh Intepreter sederhana Semantik Deklaratif Pragmatik Logic Programming dan Software Engineering Variabel Logika Arithmetik Pemrograman Logika vs Pemrograman Funsional Prolog and Logic The Logic of Prolog The Illogic of Prolog Latihan

PEMROGRAMAN FUNGSIONAL Konsep Dasar Pemrograman Fungsional Konsep Dasar Lambda Kalkulus Semantik Operasional Semantik Denotasi Semantik Translasi Aplikasi Lambda Kalkulus dalam Scheme dan Haskell Latihan

PEMROGRAMAN IMPERATIF Variabel dan Penugasan Perintah Tidak Terstruktur Pemrograman Terstruktur Struktur Kontrol Komposisi Sekuensial Seleksi Iterasi Subprogram, Prosedur, dan Fungsi Penanganan Eksepsi

PEMROGRAMAN KONKUREN Konsep dasar Concurrent Programming Sifat-sifat Sistem Concurrent Concurrency dalam Bahasa Pemrograman Rekayasa Concurrent Programming Latihan

PEMROGRAMAN BERORIENTASI OBYEK Karakteristik OOP (objek, pesan, dan hirarki objek) Beberapa definisi seputar OOP Subtipe Objek Kelas Pewarisan

KOMPILASI Konsep Kompiler Fase-fase kompilasi dan komponen lain (Scanning, Parsing, Symbol Table, Error Handler,Type Cheching, Intermediate Representation, Peephole Optimization, Code Generation)