Matematika untuk ilmu fisika & teknik

Daftar isi: BAB I BARISAN DAN DERET 1.1 Barisan geometrik 1.2 Definisi dan notasi 1.3 Penggunaan deret 1.4 Deret konfegren dan divergen 1.5 Uji kekonvergenan deret 1.6 Beberapa uji konvegrenan deret 1.7 Deret selang-seling 1.8 Deret konvergen bersyarat 1.9 Lnterval kekonvergenaan 1.10 Teorema tentang deret 1.11 Ekspansi fungsi kebentuk deret 1.12 Teknik transformasi fungsi kebent…

Komputabilitas

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…

Kamus matematika

--

Dasar-dasar metode elemen hingga

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…

Logika matematika: soal dan penyelesaian logika, himpunan, relasi, dan fungsi

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 …

Pengantar metode komputasi: untuk sains dan teknik

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 …

Elemen-elemen hingga: suatu pengantar jilid 1 = finite elements

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…

Teori bilangan

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

Kalkulus untuk Perguruan Tinggi

Edition

-

ISBN/ISSN

9789793784762

Collation

xii, 572 hlm.; ilus.

Series Title

-

Call Number

510 MHD k

Introduction to the theory of computation

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.