Philosophical and Mathematical Logic
Harrie de Swart
Informasi Umum
Kode
20.21.614
Klasifikasi
511.3 - Mathematical logic, symbolic logic; combinatory logic; formal languages
Jenis
Buku - Elektronik (E-Book)
Subjek
Mathematic-logic
No. Rak
Tel-U Gedung Manterawu Lantai 5 : Rak 10a
Tel-U Purwokerto : Rak 5
Dilihat
136 kali
Informasi Lainnya
Abstraksi
AbstractInthisintroductorychapterthetopicofthebookisexplained:distinguishing valid patterns of reasoning from invalid ones. The validity may depend on the meaningofconnectiveslike‘if...,then...’,‘and’,‘or’and‘not’,inwhichcase one speaks of propositional logic. But the validity may also depend on the meaning of the quanti?ers ‘for all’ and ‘for some’, in which case one speaks of predicate logic.Ifweextendthelogicallanguagewithsymbolsforadditionandmultiplication of natural numbers, G¨odel’s famous incompleteness theorems show up. In order to have meaning, logical formulae presuppose a universe of discourse, or a set, which may be ?nite or in?nite.
Koleksi & Sirkulasi
Tersedia 1 dari total 1 Koleksi
Anda harus log in untuk mengakses flippingbook
Pengarang
| Nama | Harrie de Swart |
| Jenis | Perorangan |
| Penyunting | |
| Penerjemah |
Penerbit
| Nama | Springer Nature |
| Kota | Switzerland |
| Tahun | 2018 |
Sirkulasi
| Harga sewa | IDR 0,00 |
| Denda harian | IDR 1.000,00 |
| Jenis | Non-Sirkulasi |
