Daftar isi: 1. EPIMENIDES,GODEL,RUSSEL,DAN CANTOR 1.1 Epimenides 1.2 Godel 1.3 Russel 1.4 Cantor 2. TEORI INFORMAL PADA PUNGSI KOMPUTABEL 2.1 Fungsi fungsi 2.2 String 2.3 Fungsi komputabel,himpunan listabel dan himpunan decidabel 2.4 Fungsi universal dan himpinan tak decidabel 2.5 Teorema rice 3. FUNGSI FUNGSI REKURSIF PRIMITIF 3.1 Rekursi primitif 3.2 Minimasi dan kuantifay…
--
DAFTAR ISI BAB I PENDAHULUAN 1.1 Metode Elemen Hingga 1.2 Tahapan Yang Dilakukan 1.3 Contoh-Contoh Diskritisasi 1.4 Kelebihan dan Kekurangan dalam Penggunaan Elemen Hingga BAB II MATRIK KEKAKUAN 2.1 Matriks Kekauan Lokal BAB III INTERPOLASIPOLINOMIAL DAN SISTEM KOORDINAT 3.1 Elemen Simpleks Satu Dimensi 3.2 Elemen Simpleks Dua Dimensi 3.3 Elemen Simpleks Tiga Dimensi 3.4 Sist…
I. LOGIKA DAN ALJABAR BOOLE 1.1 Logika Proposisi 1.2 Inferensi Logika 1.3 Kalimat Berkuantor 1.4 Aljabar Boole 1.5 Rangkaian Logika II. HIMPUNAN 2.1 Himpunan dan Anggota Himpunan 2.2 Himpunan Bagian dan Himpunan Kuasa 2.3 Operasi pada Himpunan III. RELASI 3.1 Relasi Pada Himpunan 3.2 Jenis-Jenis Relasi 3.3 Operasi-operasi pada Relasi 3.4 Relasi Partial Order IV FUNGSI 4.1 …
Daftar isi: BAB I Persamaan non-linear dan akar polynomial 1.1 Metode substitusi gauss 1.2 Metode bisection 1.3 Metode secant 1.4 Metode newton-raphson 1.5 Metode titik tetap (fixed point) 1.6 Metode horner 1.7 Metode bairstow BAB II Persamaan linear 2.1 Metode substitusi gauss 2.2 Metode substitusi titik tetap 2.3 Metode substitusi jacobi 2.4 Metode substitusi gauss-seidel …
Daftar isi: 1. Personal Model 1.1 Pengarahan 1.2 Pernyataan persoalan Model 1.3 Pernyataan Variasional persoalan 1.4 Pendekatan Galerkin 1.5 Fungsi-fungsi Basis Elemen Hingga 1.6 Perhitungan Element Hingga 1.7 Menafsirkan Jawab Pendekatan 1.8 Ketelitian Pendekatan Elemen Hingga 2. Persoalan Satu-Dimensi 2.1 Pendahuluan 2.2 Pernyataan Klasik Persoalan Harga-Batas Bertiti…
Daftar isi: BAB 1 Pengantar logika BAB 2 Proposal BAB 3 Operator logika BAB 4 Tabel kebenaran BAB 5 Implikasi dan aplikasi BAB 6 Proposisi majemuk BAB 7 Tautologi BAB 8 Ekuivalensi logis BAB 9 Validitas argumen BAB 10 Aljabar boolean BAB 11 Gerbang logika BAB 12 Bank soal
Daftar isi: BAB I Induksi matematik dan teorema binomial BAB II Keterbagian BAB III Basis bilangan bulat BAB IV Faktorisasi bilangan bulat BAB V Kekongruenan BAB VI Teorema fermat dan wilson BAB VII Fungsi aritmetik BAB VIII Fungsi PHI dan teorema euler BAB IX Akar primif dan indeks BAB X Residu kuadratik
PART 1: AUTOMATA AND LANGUAGES. 1. Regular Languages. 2. Context-Free Languages. PART 2: COMPUTABILITY THEORY. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory. PART 3: COMPLEXITY THEORY. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced Topics in Complexity Theory.