Text

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 kuantifayer terbatas
3.3 Contoh contoh pemakayan minimasi terbatas
3.4 Perluasan dari rekursi primitif
3.5 Fungsi fungsi dari satu variabel
3.6 Beberapa fungsi yang tidak rekursif primitif
3.7 Pembenaran( justifikasi) definisi dengan rekursi primitif

4. FUNGSI FUNGSI REKURSIF PARSIAL
4.1 Fungsi rekursif dan rekursif parsial
4.2 Himpunan rekursif dan enumerable secara rekkursif

5. MESIN ABAKUS
5.1 Mesin abakus
5.2 Menghitung dengan mesin abakus
5.3 Fungsi fungsi rekursif
5.4 Program program register

6. MESIN MESIN TURING
6.1 Mesin mesin turing
6.2 Perhitungan dengan mesin turing

7. MESIN MESIN MODULAR
7.1 Mesin mesin turing
7.2 Mesin ,esin modular
7.3 Fungsi fungsi rekursif parsial dan mesin mesin modular
7.4 Teorema bentuk normal kleene

8. TESIS CHURCH DAN PENOMORAN GODEL
8.1 Tesis church
8.2 Penomoran godel

9. PERSOALAN KE SEPULUH HILPERIT
9.1 Himpunan dan fungsi diophantine
9.2 Komputasi (perhitungan ) pengkodean
9.3 Penghapusan relasi
9.4 Eksponensiasi
9.5 Fungsi pembarisan godel dan fungsi minkomputabel
9.6 Predikat diophantive universl dan teorema bentuk normal kleene
9.7 Teorema empat buat kuadrat

10. TEOREMA PENGINDEKSAN DAN REKURSI
10.1 Pemasangan (paringes)
10.2 Pengindeksan
10.3 Teorema rekursi dan pemakaianya
10.4 Pengindeksan himpunan enumerabele rekursif
10.5 Pengindeksan diophantine

---

Availability

Detail Information

Series Title

--

Call Number

004.0151 HER k

Publisher

Jakarta : Elex Media Komputindo., 1993

Collation

x, 156 hlm.; ilus.; 21 cm

Language

Indonesia

ISBN/ISSN

9795373250

Classification

004.0151

Content Type

-

Media Type

-

Carrier Type

-

Edition

--

Subject(s)

Computer Science
Computational Complexity
Komputer, Matematika

Specific Detail Info

--

Statement of Responsibility

Heru Suhartanto

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment