sebuah bahasa formal yang digunakan di ilmu matematika, philosophy, bahasa dan ilmu computer. Disebut juga kalkulus predikat, merupakan logika yang digunakan untuk merepresentasikan masalah yang tidak dapat direpresentasikan dengan menggunakan proposisi. Sintaks: simbol atomik dari bahasa logika, dan aturan konstruksi bahasa yang baku, atau merupakan ekspresi non‐atomik (struktur simbol) dari sebuah logika. Sintaks akan menspesifikasikan simbol‐simbol dalam sebuah bahasa, dan bagaimana simbol dikombinasikan untuk membentuk kalimat. Dari sini terlihat bahwa fakta dalam dunia akan direpresentasikan melalui kalimat di dalam logika. Semantik: arti dari simbol atomik dalam logika, dan aturan untuk mendeterminasikan arti dari ekspresi non‐atomik di dalam logika. Semantik menspesifikasikan fakta‐fakta dalam dunia yang direferensikan melalui sebuah kalimat. Dengan demikian, juga memberikan cara tentang bagaimana sebuah kebenaran didasari dengan artinya di dunia nyata. Sebuah fakta ada...
Audit berdasarkan luas pemeriksaan. Pada segi ini, audit bisa dibedakan menjadi: General audit (pemeriksaan umum) Suatu pemeriksaan umum atas laporan keuangan yang dilakukan oleh KAP independen dengan tujuan untuk bisa memberikan pendapat mengenai kewajaran laporan keuangan secara keseluruhan. Pemeriksa tersebut harus dilakukan sesuai dengan standar propesional akuntan publik dan memperhatikan kode etik akuntan indonesia, aturan etika KAP yang telah diisahkan oleh ikatan akuntan indonesia serta standar pengendalian mutu. Special audit (pemeriksaan khusus) Suatu pemeriksaan terbatas yang dilakukan oleh KAP yang independen, dan pada akhir pemeriksaan auditor tidak perlu memberikan pendapat terhadapa kewajaran laporan keuangan secara keseluruhan. Pendapat yang diberikan terbatas pada pos masalah atau masalah tertentu yang diperiksa. Karena prosedur audit yang dilakukan juga terbatas. [1] 2. Audit berdasarkan luas pemeriksaan a. Audit Internal Audit i...
Strategi pencarian berbentuk/heuristic search stragegy Heuristic Search merupakan metode pencarian yang memperhatikan nilai heuristik (nilai perkiraan).Teknik pencarian heuristik (heuristic searching) merupakan suatu strategi untuk melakukan proses pencarian ruang keadaan (state space) suatu problema secara selektif, yang memandu proses pencarian yang kita lakukan di sepanjang jalur yang memiliki kemungkinan sukses paling besar, dan mengesampingkan usaha yang bodoh dan memboroskan waktu. Heuristik adalah sebuah teknik yang mengembangkan efisiensi dalam proses pencarian, namun dengan kemungkinan mengorbankan kelengkapan (completeness). Heuristic Search memperkirakan jarak menuju Goal (yang disebut dengan fungsi heuristik). Fungsi heuristik ini digunakan untuk mengevaluasi keadaan-keadaan problema individual dan menentukan seberapa jauh hal tersebut dapat digunakan untuk mendapatkan solusi yang diinginkan. Jenis-jenis Heuristic Searching : 1. G...
Komentar
Posting Komentar