数理逻辑
汪芳庭Jak bardzo podobała Ci się ta książka?
Jaka jest jakość pobranego pliku?
Pobierz książkę, aby ocenić jej jakość
Jaka jest jakość pobranych plików?
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍,对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。 《普通高等学校十一五规划教材•数理逻辑(第2版)》可用作计算机专业研究生或高年级本科生教材,并可供数学、哲学、逻辑等专业研究及教学人员参考。
Kategorie:
Rok:
2010
Wydawnictwo:
中国科学技术大学出版社
Język:
chinese
ISBN 10:
7312027083
ISBN 13:
9787312027086
Plik:
PDF, 6.58 MB
Twoje tagi:
IPFS:
CID , CID Blake2b
chinese, 2010
Plik zostanie dostarczony na Twój e-mail w ciągu 1-5 minut.
W ciągu 1-5 minut plik zostanie dostarczony na Twoje konto Telegram.
Uwaga: Upewnij się, że połączyłeś swoje konto z botem Z-Library Telegram.
W ciągu 1-5 minut plik zostanie dostarczony na Twoje urządzenie Kindle.
Uwaga: musisz zweryfikować każdą książkę, którą chcesz wysłać na swój Kindle. Sprawdź swoją skrzynkę pocztową pod kątem e-maila weryfikacyjnego z Amazon Kindle Support.
Trwa konwersja do
Konwersja do nie powiodła się
Korzyści ze statusu premium
- Wyślij do e-czytników
- Zwiększony limit pobierania
- Konwertuj pliki
- Więcej wyników wyszukiwania
- Inne korzyści