Logika matematika adalah cabang logika dan matematika yang mengandung kajian logika matematis dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, ...

Buku ini adalah solusi bagi Anda yang ingin belajar cepat dengan hasil yang tepat. Metode belajar BACA - COBA BISA merupakan suatu metode yang sangat cocok bagi Anda yang ingin belajar cepat dalam 7 hari. Untuk hasil optimal, Anda minimal hanya membutuhkan waktu 1 jam dalam 1 hari untuk mempelajari setiap pokok bahasannya. Pokok bahasan yang akan mengantar Anda mahir dalam menguasai program Microsoft Excel 2003 ini meliputi: - Hari ke-1 : Bagaimana bekerja dengan workbook dan worksheet, ...

SPSS banyak digunakan untuk mengolah data statistika, baik statistika parametrik maupun statistika nonparametrik. Dengan sistem operasional yang mudah dipelajari dan output yang mudah dipahami, SPSS masih menjadi software populer yang banyak digunakan di Indonesia. Buku ini akan mengupas tuntas aplikasi SPSS dalam contoh studi kasus penelitian. Diharapkan pengguna SPSS dapat memahami data penelitian dan juga dapat menginterpretasikan hasil dari analisis SPSS yang dibuat. Pembahasan ...

Buku ini menjelaskan tentang fungsi-fungsi pada Microsoft Excel, diantaranya adalah Fungsi Terbilang, Fungsi SUM, AVERAGE, MAX, MIN, COUNT, COUNTIF, Vlookup, Hlookup, Matematik, Trigonometri, Fungsi perhitungan tanggal dan waktu, serta berbagai trik penggunaan rumus fungsi tersebut. Buku ini dikemas dengan baik sehingga pembaca mampu memahami isi materi, karena di dalamnya termuat cara penggunaan, gambaran ilustrasi, dan di setiap akhir bab terdapat latihan yang dapat membantu Anda dalam ...

Kemajuan yang pesat dari teknologi informasi dalam banyak bidang, khususnya SPSS sebagai software statistik terpopuler di Indonesia, telah membuat pengolahan data statistik menjadi mudah untuk dikerjakan. Banyak persoalan statistik yang kompleks dan dahulu tidak mungkin dikerjakan secara manual, sekarang bisa diselesaikan secara cepat dengan program statistik. Metode statistik parametrik, dengan ciri data yang diolah cukup banyak, bertipe interval/rasio dan berdistribusi normal, sangat luas ...

Mengelola Proyek Secara Sistematis Menggunakan Microsoft Project Lingkup Pembahasan: * Teori dan Konsep Manajemen Proyek, * Bagaimana Menjadi Manajer Proyek/Pimpinan Proyek, * Template (Contoh Bentuk Form) Manajemen Proyek, * Implementasi Manajemen Proyek Menggunakan Template, * Microsoft Project, * Implementasi Microsoft Project Untuk Mengelola Proyek. Salah satu penyebab utama kegagalan sebuah proyek adalah tidak adanya manajemen proyek yang baik. Sebagai ...

Manajemen Sistem Persiapan Menuju Ke Automatic Computing ...

Metode numerik merupakan salah satu metode untuk menyelesaikan permasalahan model matematis, baik dalam bidang teknik maupun sains. Buku ini disusun dengan beberapa kelebihan, antara lain: Menjelaskan masalah metode numerik secara bertahap dan disertai dengan contoh nyata, diawali dengan perhitungan secara manual sebagai tahapan untuk menyusun algoritme pemrograman komputer. Menggunakan program Scilab yang merupakan program dengan dasar matriks seperti program Matlab, dengan kelebihan, ...

Fungsi-fungsi Lookup dan Reference mungkin adalah sebagian dari hal yang paling ingin diketahui pemakai Excel.Untuk apa dan bagaimana caranya Mengingat begitu banyak orang memakai Excel untuk mengelola data yang tersimpan dalam tabel-tabel berbagai bentuk dan keperluan, suatu saat ketika ingin mencari informasi dari kumpulan data tersebut, maka di situlah saatnya diperlukan fungsi-fungsi Lookup dan Reference. Sebagai contoh, jika Anda memiliki sebuah tabel yang berisi daftar barang yang di ...

Tiba-tiba komputer melambat. File yang kemarin bisa dibuka, sekarang tidak bisa dibuka lagi. Hati-hati, bisa jadi itu ulah si virus. Jangan didiamkan, karena virus akan terus berkembang biak dan memperparah kerusakan komputer. Buku ini mengajak kita berkenalan dengan beragam kriteria virus, belajar mengenali tanda-tanda kerusakan yang disebabkan oleh mereka, dan mendeteksi bagaimana cara kerja mereka di dalam komputer. Lalu, jangan ragu lagi, basmi saja sekarang! Membasminya, bisa tanpa ...

Apllikasi Web merupakan aplikasi yang dibuat dengan berbasis pada web dengan menggunakan teknologi internet. Sampai dengan saat ini web aplikasi telah menjadi trend dan tuntutan bagi perusahaan yang ingin go public. sebuah web aplikasi juga memanfaatkan database untuk menyimpan data. Degan menggunakan web aplikasi maka segala kejadian perusahaan dapat dikelola secara online dimanapun dan kapanpun. Buku ini membahas secara lengkap pembuatan web aplikasi interaktif secara praktis mulai dari: ...

Microsoft Excel 2019 memiliki banyak fitur baru, fungsi baru, grafik baru, penyempurnaan visual, penyempurnaan tinta, fitur aksesibilitas yang lebih baik, fitur berbagi buku kerja yang lebih mudah, penyempurnaan umum, dan penyempurnaan Tabel Pivot. Selain membahas semua hal di atas, dalam buku ini juga dikupas penggunaan Office Remote. Dengan Office Remote, kita dapat menyajikan presentasi buku kerja secara profesional dari jarak jauh menggunakan HP android. Pembahasan selengkapnya mencakup: ...

Ritual terakhir yang akan dijalani setiap calon sarjana adalah menulis skripsi. Sejak dulu hingga sekarang, penulisan skripsi selalu dijadikan langkah akhir untuk memperoleh gelar kesarjanaan yang masih diidam-idamkan oleh siapa pun. Meskipun ritualnya sama, namun teknik pengerjaannya jauh berbeda dibanding dekade-dekade yang lalu. Dulu, saat komputer belum ada, mesin tik merupakan mesin yang sangat diandalkan untuk menulis skripsi. Sejak komputer mulai dikenal, banyak orang menggunakan peranti ...

Berbagai macam cara dan upaya sering dilakukan oleh pengguna agar komputernya dapat bekerja secara maksimal atau bahkan over maksimal. Biasanya, keinginan memiliki komputer yang bekerja secara optimal didasari oleh beberapa motif berikut - Tidak puas dengan komputer yang ada, padahal telah mengeluarkan biaya yang tidak sedikit untuk mendapatkannya. - Tidak sesuai dengan Iklan yang ditawarkan ("Katanya kenceng, tapi kok... nyatanya lambat banget"). - Cemburu dengan komputer milik teman atau ...