: Mathematical Logic

1.0 for Android

2.6 | 5,000+ Pemasangan

J.-M. Kuczynski PhD

Muat Turun APK（1.6MB）

Penerangan tentang Mathematical Logic

Eksposisi yang jelas, teliti dan teliti:
* Kalkulus Proposional
* Kalkulus Predikat
* Teori Tetapan * * Pelbagai jenis kesinambungan dan sifat masing-masing
* Pelbagai jenisbilangan: kardinal, ordinal, rasional, nyata, kompleks, hiper-kompleks, dan transfinitKetidaklengkapan
* Sifat logik dan kebenaran formal, dan
* Bukti ketidaklengkapan sistem pemotongan yang diberikan.