Perpustakaan Tatakrama Universitas Annuqayah

  • Beranda
  • Informasi
  • Berita
  • Bantuan
  • Pustakawan
  • Area Anggota
  • Pilih Bahasa :
    Bahasa Arab Bahasa Bengal Bahasa Brazil Portugis Bahasa Inggris Bahasa Spanyol Bahasa Jerman Bahasa Indonesia Bahasa Jepang Bahasa Melayu Bahasa Persia Bahasa Rusia Bahasa Thailand Bahasa Turki Bahasa Urdu

Pencarian berdasarkan :

SEMUA Pengarang Subjek ISBN/ISSN Pencarian Spesifik

Pencarian terakhir:

{{tmpObj[k].text}}
Image of Logika informatika

Text

Logika informatika

Suprapto - Nama Orang;

Logika Informatika adalah penerapan prinsip-prinsip logika matematis untuk memecahkan masalah komputasi, berfungsi sebagai fondasi untuk merancang algoritma, memformalkan bahasa pemrograman, mengontrol alur program, menguji perangkat lunak, dan menjadi dasar kecerdasan buatan (AI) serta sistem digital, mencakup logika proposisional hingga logika predikat untuk penalaran valid dan terstruktur dalam dunia komputasi dan data.


Ketersediaan
IST2300571A-23620 SUP L C-1My Library (Teknologi Informasi)Tersedia
Informasi Detail
Judul Seri
-
No. Panggil
620 SUP L C-1
Penerbit
Yogyakarta : Gava Media., 2003
Deskripsi Fisik
x + 202 hlm; 16 x 23 cm
Bahasa
Indonesia
ISBN/ISSN
979-97088-3-4
Klasifikasi
620
Tipe Isi
-
Tipe Media
-
Tipe Pembawa
-
Edisi
cetakan 1
Subjek
-
Info Detail Spesifik
Mengingat keterbasan buku logika khususnya logika informatika?�???� dan khususnya yang berbahasa Indonesia, maka buku ini disamping untuk memenuhi kebutuhan mahasiswa D-3 atau S-1 Program Studi Ilmu Komputer, juga untuk para penggemar logika khususnya dasar-dasar logika untuk pemrograman komputer dan perancangan komputer. Buku ini disusun dalam empat bab. Bab pertama berisi kalimat-kalimat abstrak dalam logika proporsional, interpretasi, sematic tree, kalimat-kalimat valid, satisfiable dan substitusi. Bab kedua berisi kalimat-kalimat dalam logika predikat, domain, interpretasi, kalimat-kalimat tertutup, valid tidak valid, quantifier. Bab ketiga berisi skema-skema kalimat valid, closure. Bab keempat berisi logika biner, aljabar, Boolean, fungsi-fungsi Boolean, manipulasi aljabar, manipulasi dengan Map
Pernyataan Tanggungjawab
Suprapto
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
Tidak Ada Data
Komentar

Anda harus masuk sebelum memberikan komentar

Perpustakaan Tatakrama Universitas Annuqayah
  • Informasi
  • Layanan
  • Pustakawan
  • Area Anggota

Tentang Kami

As a complete Library Management System, SLiMS (Senayan Library Management System) has many features that will help libraries and librarians to do their job easily and quickly. Follow this link to show some features provided by SLiMS.

Cari

masukkan satu atau lebih kata kunci dari judul, pengarang, atau subjek

Donasi untuk SLiMS Kontribusi untuk SLiMS?

© 2026 — Senayan Developer Community

Ditenagai oleh SLiMS
Pilih subjek yang menarik bagi Anda
  • Karya Umum
  • Filsafat
  • Agama
  • Ilmu-ilmu Sosial
  • Bahasa
  • Ilmu-ilmu Murni
  • Ilmu-ilmu Terapan
  • Kesenian, Hiburan, dan Olahraga
  • Kesusastraan
  • Geografi dan Sejarah
Icons made by Freepik from www.flaticon.com
Pencarian Spesifik