Manusia dan Harapan

-




Komentar

Posting Komentar

Postingan populer dari blog ini

Logika Orde Pertama (First-Order Logic)

-
Gambar
Pertemuan 5 Logika Orde Pertama (First-Order Logic) Nama : Bella Alysha Vira NPM : 11115319 Kelas : 3KA10 Dosen : Essy Malays Sari Sakti 1.1. PENGENALAN LOGIKA ORDE PERTAMA (FIRST ORDER LOGIC) First order logic adalah 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. Logika predikat dapat memberikan representasi fakat-fakta sebagai suatu pernyataan yang mapan (well form). Kalkulus predikat bisa menganalisakan kalimat-kalimat ke dalam subjek dan argumen dalam berbagai cara yang berbeda-beda, yang pada akhirnya kalkulus predikat bisa digunakan untuk memecahkan problem of multiple generality (masalah dalam berbagai keadaan umum) yang telah membingungkan sebagian besar ahli-ahli logika abad pertengahan. Dengan menggunakan logika predikat ini, untuk p
Baca selengkapnya

C++ (Program Kalkulator Sederhana)

-
Gambar
Program Kalkulator Sederhana pada C++ ~Struktur Navigasi,    Flowchart,  Listing Program, Output Program~ 1. Struktur Navigasi 2. Flowchart 3. Listing Program #include <iostream> #include <conio.h> #include <cstdlib> #include <math.h> #include <cmath> /* run this program using the console pauser or add your own getch, system("pause") or input loop */ using namespace std; int main(int argc, char** argv) {  float x,y,hasil,pilih;     system("cls");    cout<<"\t\t\t  ============================\n"<<endl;    cout<<"\t\t\t  --- KALKULATOR SEDERHANA ---"<<endl<<endl;    cout<<"\t\t\t  ============================"<<endl;    kalkulator :    //operator perhitungan    cout<<"Operator Perhitungan:"<<endl;    string jumlah ="(1) penjumlahan (+)";    cout<<jumlah<<e
Baca selengkapnya

Software Komputer dan Fungsinya

-
Gambar
Contoh Software Komputer dan Fungsinya Adobe Photoshop = untuk editing gambar/foto atau untuk mendisain website CorelDraw = untuk mendisain gambar Picasa = untuk editing foto Macromedia Flash = untuk membuat gambar animasi Dreamweaver = untuk membuat website/ blog Adobe Reader = untuk membaca ebook digital berformat Pdf Photoscape = untuk pengeditan foto Noiseware Professional = untuk membersihkan noise pada foto Mozilla Firefox = untuk browser internet Google Crome = untuk browser internet Cool Edit Pro = untuk ngedit lagu atau untuk memotong dan menggabungkan lagu Eset Nod32 = software anti virus terbaik Microsof Office Word = untuk pengetikan data Microsof Office Excel = untuk pengetikan dan membuat tabel Microsoft Power Point = untuk membuat karya tulis Quicktime = software untuk memutar file quicktime dbpowerAMP Music Conventer = untuk mengkompres lagu CCleaner = untuk membersihkan file-file yang tidak terpakai yang sudah lama dihapus Nero = untuk bu
Baca selengkapnya