Text

E-book Intro to Logic

---

Penilaian

---

The ancient Greeks loved to hang around on the stoa, sip some wine, and debate. But at the end of the day, they wanted to sit back and decide who had won the argument. When Socrates claims that one statement follows from another, is it actually so? Shouldn't there be some set of rules to officially determine when an argument is correct? Thus began the formal study of logic. Many other areas of computer science routinely involve proofs, although we won't explore them here. Manufacturing robots first prove that they can twist and move to where they need to go before doing so, in order to avoid crashing into what they're building. When programming a collection of client and server computers, we usually want to prove that the manner in which they communicate guarantees that no clients are always ignored.

---

Ketersediaan

Informasi Detail

Judul Seri

-

No. Panggil

005.11 FEL i

Penerbit

Hongkong : Open Textbooks.,

Deskripsi Fisik

189 hlm

Bahasa

English

ISBN/ISSN

-

Klasifikasi

005.11

Tipe Isi

text

Tipe Media

computer

Tipe Pembawa

online resource

Edisi

-

Subjek

Special Programming

Info Detail Spesifik

-

Pernyataan Tanggungjawab

-

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar